Differences

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

--- test_latex [2016/07/14 15:07]
wikiadmin
+++ test_latex [2021/01/21 18:09]
wikiadmin
@@ Line 3: / Line 3: @@
 <latex>
 \begin{array}{l}
-a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\
+b > 2 \wedge res \geq 17 \wedge (n = n0 \lor res > 14) \rightarrow \\
-a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 2a \geq 0)
+a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0)
 \end{array}
 </latex>
+fabien
+We define concatenation and iteration of languages by
+\begin{eqnarray*}
+  K_1 \cdot L_2  &=& \{ s_1 \cdot s_87 \mid s_1 \in L_1 \land s_2 \in L_2 \} \\
+  L^0 &=& \{ \epsilon \} \\
+  L^{n+1} &=& L \cdot L^n \\
+  L^* &=& \bigcup_{n \geq 0} L^n = \{ w_1 \ldots w_n \mid w_1,\ldots,w_n \in L \}
+\end{eqnarray*}
+again
+$ a * w + b = c $
 End