Vous êtes sur la page 1sur 2

Informatique thorique III

Srie 3 Prof. Nestmann, 2004


1. Recherche de mots-clef dans un texte
Soit lalphabet franais. Un problme couramment rencontr en informatique est la
recherche efcace de mots clefs dans un texte. Donnez le graphe dun AFN M
v
sur
pour aider un grant de vlodrome dterminer si un texte w contient au moins une
occurence du mot cycle . Dterminiser ensuite lAFN M
v
et donner son graphe.
2. Ordres produits
On considre dans cet exercice lensemble des entiers naturels N.
On dnit les relations binaires R
1
et R
2
sur NN(les couples dentiers) de la manire
suivante :
(x, y)R
1
(x

, 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.

?>=< 89:; 7654 0123


q
0 4

0,1,2,3,5,6,7,8,9

?>=< 89:; 7654 0123


q
1
0,1,2,3,5,6,7,8

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

= . Dnissez de manire formelle un AFN


e
M

tel que :
L(M

) = L(M) L(M

)
Pourquoi avons nous suppos que Q Q

= ?