Вы находитесь на странице: 1из 2

Prparation lagrgation

Oprations lmentaires sur les automates nis


Exercice 1 (Dterminisation) 1. Construire un automate reconnaissant tous les mots qui nissent par aba. Dterminiser lautomate obtenu. 2. Dterminiser lautomate suivant : a, b a b

3 a, b

Exercice 2 (Elimination des -transitions) 1. Montrer que pour tout automate ni avec -transitions A, il existe un automate ni classique (non-dterministe) B qui reconnat le mme langage. Donner un algorithme qui construit B partir de A. 2. En appliquant ce qui prcde, construire un automate ni qui reconnat le mme langage que lautomate suivant : a 1 c e 2 b

Exercice 3 (Proprits de clture) Le but de cet exercice est de montrer des proprits de clture sur les langages rguliers en utilisant les automates nis. Oprations usuelles Montrer que les langages reconnaissables sont stables par union, intersection, complmentaire, concatnation, image miroir.

Oprations lmentaires sur les automates nis

Sous-mot Un mot u = a1 an A est un sous-mot dun mot v A sil existe des mots u0 un A tels que v = u0 a1 u1 an un . Pour un langage L A , on note SM(L) lensemble des sous-mots de L. Montrer que si L est un langage reconnaissable, alors SM(L) lest aussi. Shufe Soient u, v A . On dnit lensemble des shufes (mlanges) de u et v par : u v = {w A | u1 , v1 , un , vn A tels que u = u1 un , v = v1 vn et w = u1 v1 un vn }

Pour K, L A , on dnit K L = {w A | u K, v L, w u v }. Montrer que si K et L sont des langages reconnaissables, il en est de mme pour K

L.

Morphismes La classe des langages reconnaissables est close par morphisme et morphisme inverse. Soient A et B deux alphabets, et f : A B un morphisme. Si L Rec(A ) montrer que f (L) Rec(B ). Si L Rec(B ) montrer que f 1 (L) Rec(A ). Substitutions Une substitution est un morphisme de A dans P (B ). Elle est rationnelle si elle est dnie par une application de A dans Rec(B ). La classe des langages reconnaissables est close par substitution et substitution inverse. Soient A et B deux alphabets, et : A P (B une substitution rationnelle. Si L Rec(A ) montrer que (L) Rec(B ). Si L Rec(B ) montrer que 1 (L) = {u | (u) L = } Rec(A ). Application Montrer que le langage {an ban | n 1} nest pas reconnaissable en utilisant le fait que {0n 1n | n 1} nest pas reconnaissable, et des oprations qui prservent la reconnaissabilit.

Exercice 4 (Le barman aveugle) On dispose de 4 jetons, chacun ayant une face bleue et une face rouge. Un joueur (le barman) a les yeux bands. Son but est de retourner les 4 jetons sur la mme couleur (ds que les 4 jetons sont retourns la partie sarrte et le barman a gagn). Pour cela, il peut retourner chaque tour 1, 2 ou 3 jetons. Un autre joueur perturbe le jeu en tournant le plateau sur lequel reposent les jetons dun quart de tour, dun demi-tour ou de trois quarts de tour entre chaque opration du barman. En utilisant une modlisation par des automates montrer que le barman a une stratgie gagnante, cest--dire que quoi que fasse celui qui tourne le plateau, il a moyen de gagner.