From 2e5a61a61adfa04c2b1bfa2051a20d1cce74ed3e Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Fri, 28 Feb 2025 16:15:10 +0100
Subject: [PATCH] Fix typos ex 1.3.2
---
info/exercises/src/ex-01/ex/dfa.tex | 5 +++--
info/exercises/src/ex-01/ex/lexer.tex | 4 ++--
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/info/exercises/src/ex-01/ex/dfa.tex b/info/exercises/src/ex-01/ex/dfa.tex
index 38b2ca6..42f5d96 100644
--- a/info/exercises/src/ex-01/ex/dfa.tex
+++ b/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*}
diff --git a/info/exercises/src/ex-01/ex/lexer.tex b/info/exercises/src/ex-01/ex/lexer.tex
index ccc7f30..935d80e 100644
--- a/info/exercises/src/ex-01/ex/lexer.tex
+++ b/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("=")]}
--
GitLab