diff --git a/info/exercises/ex-02-sol.pdf b/info/exercises/ex-02-sol.pdf index 194230c544105acb2b47a1564aae820b2d7fe003..47bb3a8cece402275ad716d843f80b826cb19d13 100644 Binary files a/info/exercises/ex-02-sol.pdf and b/info/exercises/ex-02-sol.pdf differ diff --git a/info/exercises/ex-02.pdf b/info/exercises/ex-02.pdf index 74f714d9d8068d60c2f437aa132fd96c3aa77ff4..4af57628d82238c937075f44b6b6cfac0eb42b4b 100644 Binary files a/info/exercises/ex-02.pdf and b/info/exercises/ex-02.pdf differ diff --git a/info/exercises/src/ex-02/ex/cfg.tex b/info/exercises/src/ex-02/ex/cfg.tex index d4b33a341fde72140a8346a95df5e1b08db6a521..f200e3f7e51439c9567ca6204de544ee50ddc22b 100644 --- a/info/exercises/src/ex-02/ex/cfg.tex +++ b/info/exercises/src/ex-02/ex/cfg.tex @@ -5,7 +5,7 @@ generates it: \begin{enumerate} - \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n > 0 \land m > n\}\) + \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n \geq 0 \land m \geq n\}\) \item \(L_2 = \{a^nb^mc^{n+m} \mid n, m \in \naturals\}\) \item \(L_3 = \{w \in \{a, b\}^* \mid \exists m \in \naturals.\; |w| = 2m + 1 \land w_{(m+1)} = a \}\) (\(w\) is of odd length, has \(a\) in the middle) @@ -13,7 +13,7 @@ \begin{solution} \begin{enumerate} - \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n > 0 \land m > n\}\) + \item \(L_1 = \{a^nb^m \mid n, m \in \naturals \land n \geq 0 \land m \geq n\}\) \begin{align*} S &::= aSb \mid B\\ B &::= bB \mid \epsilon