TD Compilation
Les automates finis
Eric Ramat
8 mai 2014
Durée : 4 heures
1 Travail
Exercice 1.
Construire un Automate Fini Non déterministe (AFN) pour chacun des langages suivants :
L1 = ab(ab)
L2=(ab)c
L3=(a+b)(b+c)
Dans cette première série, nous ne cherchons pas l’automate déterministe.
Exercice 2.
Trouver une expression régulière et construire un AFN caractérisant les langages suivants.
L1 = {(ab)nabm/n, m >= 0}
L2 = {w∈ {a, b}/la longueur de w est paire }
L3 = {w∈ {a, b}/le nombre d’occurrences de a dans w = le nombre d’occurrences de b dans
w}
Est-ce toujours possible ?
Exercice 3.
Construire un Automate Fini Déterministe (AFD) pour chacun des langages suivants :
L1 = ab(ab)
L2=(ab)ab
L3=(a+b)(b+c)
On ne cherchera pas pour l’instant à réduire l’automate.
Exercice 4.
Pour chacun des langages suivants :
L1=(a+b)a
L2=(a+b)a(a+b)
L3=(a+b)a(a+b)(a+b)
1
Répondre aux questions suivantes :
1. construire un AFN reconnaissant le langage
2. simuler l’algorithme qui détermine si le mot x=abab est reconnu par cet automate (construction
de l’ensemble des états accessibles)
3. construire l’AFD correspondant (par l’algorithme de construction des sous-ensembles)
4. Simuler l’algorithme qui détermine si le mot x=abab est reconnu par cet automate
Que peut-on dire du nombre d’états d’un AFN et d’un AFD reconnaissant Ln= (a+b)a(a+b)n1?
Exercice 5.
Construire les AFD minimaux reconnaissant :
L1 = ((+b)b)
L2 = abc
L3=(a3+a5)
Exercice 6.
Considérons l’automate suivant :
q0
start q1
q2q3
q4
a
b
a
b
a
b
a
b
b
a
1. minimiser cet automate
2. donner une expression régulière caractérisant le langage reconnu par cet automate
3. minimiser l’automate initial en considérant que q0est le seul état d’acceptation
4. même question en considérant q3est le seul état d’acceptation
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !