TD feuille 2

Feuille de TD 2
SM402. Automates finis et expressions rationnelles.
Exercice 1
Soit E = ab*(ba + ab)*b une expression rationnelle.
• Construire un automate correspondant à E suivant exactement les règles données au cours
• Déterminiser cet automate.
• Mininiser cet automate si le temps le permet.

Exercice 2
Pour chaque expression rationnelle donnée en dessous construire un automate correspondant,
puis déterminiser et minimiser l’automate.

1) [(0+1)(0+1)]* + [(0+1)(0+1)(0+1)]* (ici il faut absolument faire la minimisation!)

2) 10 + (0 + 11) 0* 1

Exercice 3
Construire des automates finis non déterministes pour les expressions rationnelles qui
suivent.
• (a+b)*
• (a*+b*)*
• a*(ba*)*

Déterminiser ces automates, puis les minimiser.

On peut prouver que deux expressions rationnelles sont équivalentes (égales) en montrant que
leur AFD minimaux sont les mêmes, à l’exception peut-être des noms des états. En utilisant
cette technique, répondez si parmi ces trois expressions rationnelles il y a des expressions
équivalentes.

Helen KASSEL, Boris VELIKSON 1 SM402 (2022/2023)

TD : automates finis et expressions rationnelles
 TD feuille 2

Exercice 4
Donner des expressions rationnelles correspondant aux automates suivants (le système
d’équations est unique pour chaque automate, tandis que les expressions rationnelles peuvent
être différentes (mais équivalentes) si on le résout dans un ordre différent) :

A1 : A2 :

1. S0 = eps + S0a +S1d

2. S1 = S0c +S1b by Lemme of Arden S1=S0cb*
1. S0 = eps + S0a + S0cb*d = esp + S0(a+cb*d) by lemme of Arden
1. S0=eps(a+cb*d)*= (a+cb*d)*

A2
A= eps + Ba + Bc + Cb
B= Ab
C=Ac

A = eps +Aba + Abc +Acb = esp + A(ba+bc+cb) by Arden’s lemme

A = esp(ba+bc+cb)* = (ba+bc+cb)*

A3
A=eps + Ab +Bb +Cb
B = Aa
C=Ba
A=eps + Ab +Aab + Aaa = eps + A(b + ab +aa) = (b+ab+aa)*
B= (b+ab+aa)*a
C = (b+ab+aa)*aa

Helen KASSEL, Boris VELIKSON 2 SM402 (2022/2023)

TD : automates finis et expressions rationnelles
 TD feuille 2

a
A3 : b A4 :
1 b 2
a
A a B a C
b a b

3
b

A5 : 1 b 2 A6 : a
a 1
0 b 1
a a b b b a
a b
0 a 3 2

A7 : 0 1

A 1 B

0
0 1

Helen KASSEL, Boris VELIKSON 3 SM402 (2022/2023)

TD : automates finis et expressions rationnelles