Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.
0 évaluation0% ont trouvé ce document utile (0 vote)
334 vues2 pages
Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.
Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.
Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.
1. Décrire informellement (de manière rigoureuse et lisible) les langages associés aux expressions régulières suivantes : e1= (a|b)*b(a|b)*a(a|b)* e2= b*ab* | a*ba* e3= (ba | a)* b? 2. Parmi les mots suivants, lesquels respectent ces trois expressions régulières ? Justifiez votre réponse : aaabaaa aaaaaab bbabbb 3. Parmi les propositions suivantes, lesquelles sont valides ? Justifier votre réponse Le langage L(e2) ({a}* {b}*) est composé de deux mots Le mot le plus court de L(e1) est de taille 2 Tous les mots de L(e3) admettent b comme suffixe Il existe exactement 3 mots de taille 3 qui ne respectent pas e1 4. Combien existe-t-il de mots de taille 2020 qui respectent e2 ? 5. Proposer une expression régulière pour décrire le langage L(e1) L(e2) L(e3)
Partie B
Proposer des expressions régulières adéquates pour décrire les langages suivants :
1. Les mots sur {a, b} qui commencent par a et dont la taille est paire 2. Les mots sur {a, b} qui ne contiennent pas la sous-chaine aaa 3. Les mots sur {a, b} qui contiennent exactement deux voisins identiques
Exercice 2
Soit l’alphabet = {a, b}. L’automate fini non-déterministe A est représenté par le graphe suivant : Théorie des Langages – ESTC GI2 Enseignante : Mme Houda ANOUN
1. Pourquoi cet automate est non-déterministe ?
2. Présenter la table de transition de l’automate 3. Parmi les propositions suivantes, lesquelles sont valides ? 3.1. Les mots reconnus par A admettent a comme suffixe 3.2. L’état 5 appartient à -fermeture ({1}) 3.3. Il y’a exactement 2 mots de taille 2 reconnus par A 4. Le mot abababa est-il reconnu par A ? Justifier votre réponse. Même question pour le mot bababba 5. Déterminiser l’automate A 6. Minimiser l’AFD obtenu après déterminisation de A et dessiner le graphe de l’AFD minimal 7. Proposer une expression régulière pour décrire le langage L(A) reconnu par A ainsi qu’une description informelle de ce langage 8. Proposer un AFD minimal pour le langage complémentaire de L(A) (les mots non reconnus par A)
