Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

test_latex [2019/02/08 11:06]
wikiadmin
test_latex [2019/02/08 11:07] (current)
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 \\
 
test_latex.txt · Last modified: 2019/02/08 11:07 by wikiadmin
 
© EPFL 2018 - Legal notice