Fix typos ex 1.3.2

info/exercises/src/ex-01/ex/dfa.tex

@@ -211,8 +211,9 @@
   
       \item 
         As generalized regular expression (with complement): \((\Sigma^* aa
-        \Sigma^*)^c\). Without complement: \((b^*(ab^*)^*)^*\). This is the language
-        of words that contain no consecutive pair of \(a\)'s. In set-notation:
+        \Sigma^*)^c\). Without complement: \(b^*(ab^+)^*(a \mid \epsilon)\).
+        This is the language of words that contain no consecutive pair of
+        \(a\)'s. In set-notation:
         \begin{equation*}
           \{w \mid \forall i.\; 0 \leq i < |w| \land w_{(i)} = a \implies (i + 1 \geq |w| \lor w_{(i + 1)} \neq a)\}
         \end{equation*}

info/exercises/src/ex-01/ex/lexer.tex

@@ -125,8 +125,8 @@ lexer drops any \texttt{skip} tokens.
 
   \begin{solution}
     \begin{enumerate}
-      \item \texttt{[keyword("let"), id("x"), equal, number("5"), keyword("in"), id("x"), op("+"), number("3")]}
-      \item \texttt{[id("let"), number("5"), id("x2")]}
+      \item \texttt{[keyword("let"), id("x"), equal("="), number("5"), keyword("in"), id("x"), op("+"), number("3")]}
+      \item \texttt{[keyword("let"), number("5"), id("x2")]}
       \item \texttt{[id("xin")]}
       \item \texttt{[comp("=="), op(">")]}
       \item \texttt{[comp("<="), comp("=="), op(">"), comp("<="), equal("=")]}