Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
test_latex [2016/07/14 15:07] wikiadmin |
test_latex [2021/01/21 15:35] wikiadmin |
||
---|---|---|---|
Line 3: | Line 3: | ||
<latex> | <latex> | ||
\begin{array}{l} | \begin{array}{l} | ||
- | a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\ | + | b > 2 \wedge res \geq 7 \wedge (n = n0 \lor res > 14) \rightarrow \\ |
2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0) | 2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0) | ||
\end{array} | \end{array} | ||
</latex> | </latex> | ||
+ | |||
+ | fabien | ||
+ | |||
+ | We define concatenation and iteration of languages by | ||
+ | \begin{eqnarray*} | ||
+ | K_1 \cdot L_2 &=& \{ s_1 \cdot s_7 \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 | End |