LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
test_latex [2019/02/08 11:06]
wikiadmin
test_latex [2019/02/08 11:07]
wikiadmin
Line 12: Line 12:
 We define concatenation and iteration of languages by We define concatenation and iteration of languages by
 \begin{eqnarray*} \begin{eqnarray*}
-  ​L_1 \cdot L_2  &=& \{ s_1 \cdot s_2 \mid s_1 \in L_1 \land s_2 \in L_2 \} \\+  ​K_1 \cdot L_2  &=& \{ s_1 \cdot s_2 \mid s_1 \in L_1 \land s_2 \in L_2 \} \\
   L^0 &=& \{ \epsilon \} \\   L^0 &=& \{ \epsilon \} \\
   L^{n+1} &=& L \cdot L^n \\   L^{n+1} &=& L \cdot L^n \\