Académique Documents
Professionnel Documents
Culture Documents
, y
) x x
y y
(x, y)R
2
(x
, y
) x < x
(x = x
y y
)
1. Montrer que R
1
est une relation dordre.
2. Montrer que R
1
nest pas une relation dordre totale.
3. Montrer que R
2
est une relation dordre.
4. Montrer que R
2
est une relation dordre totale.
5. Comparer R
1
et R
2
au sens de linclusion. Justier la rponse. (est-ce que R
1
est
un rafnement de R
2
? est-ce que R
2
est un rafnement de R
1
? ...)
3. Correction dautomate
Soit {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} un alphabet et A
492
= (Q, , , q
0
, F) lautomate
trouv lors de la srie prcdente et donn ci-dessous.
9
?>=< 89:; 7654 0123
q
2
4
2
0,1,3,5,6,7,8,9
GFED @ABC q
p
0,1,2,3,4,5,6,7,8,9
Montrer que A
492
accepte exactement le langage L
492
constitu de lensemble des
chanes qui ne contiennent pas le sous-mot 492. Pour cela :
1. Dcrire formellement le langage L
492
en dnissant un ensemble de chanes
sur par comprhension.
2. Donner le tableau de lautomate A
492
. Dterminer les conditions ncessaires
pour que (q, a) = q
1
, (q, a) = q
2
et (q, a) = q
p
.
3. En utilisant les conditions du point prcdent, dmontrer par induction sur la
structure des mots (dcomposer droite) la proposition suivante :
w
:
(q
0
, w) = q
p
x, y
: w = x492y
4. Dduire de la proposition prcdente que L(A
492
) = L
492
.
Srie 3 2
4. limination des transitions instantanes
Soit {a, b, c}. Dterminiser lAFN
e
M sur donn ci-dessous, cest dire calculer
D
e
(M) et donner le graphe de lautomate obtenu.
?>=< 89:;
q
0
a
?>=< 89:;
q
1
b
e
.
?>=< 89:; 7654 0123
q
2
c
e
.
a
.
5. Concatnation de langages
Soit un alphabet et deux AFD M = (Q, , , s, F) et M
= (Q
, ,
, s
, F
) tels que
Q Q
tel que :
L(M
) = L(M) L(M
)
Pourquoi avons nous suppos que Q Q
= ?