From 781376fe4e0064fd754db8cf3150099ae9c9cd2a Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 7 Jun 2021 18:46:42 +0200
Subject: Mismatch between CFG and its description (thanks, Adrien Pointreau).

---
 errata-notes-inf105.tex | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'errata-notes-inf105.tex')

diff --git a/errata-notes-inf105.tex b/errata-notes-inf105.tex
index 8bf020f..a827a62 100644
--- a/errata-notes-inf105.tex
+++ b/errata-notes-inf105.tex
@@ -182,6 +182,15 @@ $(b|c){*}a(a|c){*}b(a|b|c){*}$.
 
 \medskip
 
+Paragraphe 4.3.2, la grammaire ne devrait pas avoir de
+production $\varepsilon$ compte tenu de ce qui en est dit
+)n-dessous  : page 56, ligne 18, remplacer $S \rightarrow U \;|\; V
+\;|\; \varepsilon$ par $S \rightarrow U \;|\; V$.
+
+\hbox to\hsize{\hfill\hbox to4cm{\hrulefill}\hfill}
+
+\medskip
+
 Paragraphe 4.3.5, il manque à la grammaire $G'$ des productions $U
 \rightarrow \varepsilon$ et $V \rightarrow \varepsilon$ : page 58,
 lignes 4–5, remplacer
-- 
cgit v1.2.3