diff options
| author | David A. Madore <david+git@madore.org> | 2021-05-07 11:40:44 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2021-05-07 11:40:44 +0200 |
| commit | ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6 (patch) | |
| tree | 03209620d5c34b6fb9c70dcd63ded407235e225e /notes-inf105.tex | |
| parent | aa0f04df8f3bf0941d8362640c17a2989b05b017 (diff) | |
| download | inf105-ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6.tar.gz inf105-ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6.tar.bz2 inf105-ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6.zip | |
Missing rules in a grammar.
Thanks to some student in the course, via Matthieu Rambaud.
Diffstat (limited to 'notes-inf105.tex')
| -rw-r--r-- | notes-inf105.tex | 4 |
1 files changed, 2 insertions, 2 deletions
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 |