summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-01-29 17:24:06 +0100
committerDavid A. Madore <david+git@madore.org>2018-01-29 17:24:06 +0100
commit2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846 (patch)
tree73fd9504707666245dc993c5d7df3a1a4ad401fa
parentefd973f2145651be934010b1acf070f1d3cc19cb (diff)
downloadinf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.tar.gz
inf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.tar.bz2
inf105-2e19c4c1509050cda3e7e8e2dc62e8e71d7a0846.zip
Remove now spurious clause.
-rw-r--r--controle-20180206.tex2
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$.