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
Previous revision
test_latex [2019/02/08 11:06]
wikiadmin
test_latex [2021/01/21 18:09] (current)
wikiadmin
Line 3: Line 3:
 <​latex>​ <​latex>​
 \begin{array}{l} \begin{array}{l}
-b > 2 \wedge res \geq \wedge (n = n0 \lor res > 14) \rightarrow \\+b > 2 \wedge res \geq 17 \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}
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_87 \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 \\
Line 21: Line 21:
 again  again 
  
-$ a * w + b = $+$ a * w + b = cD $
  
  
  
 End End