Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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