From ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 7 May 2021 11:40:44 +0200
Subject: Missing rules in a grammar.

Thanks to some student in the course, via Matthieu Rambaud.
---
 notes-inf105.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'notes-inf105.tex')

diff --git a/notes-inf105.tex b/notes-inf105.tex
index 67a0a9b..2bf2697 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -5162,8 +5162,8 @@ Un raisonnement analogue montre que la grammaire $G'$ donnée par
 \[
 \begin{aligned}
 S &\rightarrow aUbS \;|\; bVaS \;|\; \varepsilon\\
-U &\rightarrow aUbU\\
-V &\rightarrow bVaV\\
+U &\rightarrow aUbU \;|\; \varepsilon\\
+V &\rightarrow bVaV \;|\; \varepsilon\\
 \end{aligned}
 \]
 engendre le même langage $L = \{w \in\Sigma^* : |w|_a = |w|_b\}$ que
-- 
cgit v1.2.3