diff options
| author | David A. Madore <david+git@madore.org> | 2018-01-29 17:24:06 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-01-29 17:24:06 +0100 |
| commit | 2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846 (patch) | |
| tree | 73fd9504707666245dc993c5d7df3a1a4ad401fa | |
| parent | efd973f2145651be934010b1acf070f1d3cc19cb (diff) | |
| download | inf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.tar.gz inf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.tar.bz2 inf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.zip | |
Remove now spurious clause.
| -rw-r--r-- | controle-20180206.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex index d90abdc..4503e0a 100644 --- a/controle-20180206.tex +++ b/controle-20180206.tex @@ -127,7 +127,7 @@ Cet énoncé comporte 4 pages (page de garde incluse) Dans cet exercice, on pose $\Sigma = \{a,b\}$. On s'intéresse au langage $L$ formé des mots (éléments de $\Sigma^*$) ayant $aa$ ou $bb$ comme facteur (c'est-à-dire contenant deux $a$ consécutifs, ou bien -deux $b$ consécutifs, ou bien deux $c$ consécutifs), ainsi qu'à son +deux $b$ consécutifs), ainsi qu'à son complémentaire $M := \Sigma^* \setminus L$. (1) Donner une expression rationnelle dénotant $L$. |