Vous êtes sur la page 1sur 2

Licence dInformatique

TD 2 : Determinisation

1 Determinisation
Determinisez lautomate (V, Q, , i, F ), defini comme suit :

V = {a, b}

Q = {1, 2, 3, 4, 5}

= {(1, a, 1), (1, b, 1), (1, b, 2), (2, a, 3), (3, a, 4), (4, b, 5), (5, a, 5), (5, b, 5)}

i=1

F = {5}

2 Annees bissextiles
Une annee ne commence jamais par le chiffre 0. Elle est bissextile si elle est divisible par 4, mais
pas par 100 sauf si elle est divisible par 400.
Montrer que le langage des annees bisextiles est reconnaissable.

3 Boum !
Soit Ln lensemble des mots sur {a, b} de longueur au moins n dont la nieme lettre avant la fin
est un b.
Donnez un petit automate non-deterministe reconnaissant L4 , puis lautomate determinise.
Combien y-a-t-il detats dans le plus petit automate non-deterministe reconnaissant Ln (on
ne cherchera pas a montrer que cest le plus petit) et dans lautomate determinise ?

4 Le barman aveugle avec des gants de boxe ...


Un barman, un client et un arbitre jouent au jeu suivant :
Le barman met un bandeau sur les yeux qui le rend aveugle, et il met des gants de boxe qui
lempechent de sentir si un verre est a lendroit ou a lenvers.
Devant le barman, se trouve un plateau tournant sur lequel sont places quatre verres en
carre. Ces verres peuvent etre a lenvers ou a lendroit. Le sens des verres est choisi par le client
et est inconnu du barman.
Le barman peut repeter 10 fois une etape elementaire du jeu qui se compose de la sequence
de trois operations suivante :
1. Le barman demande de retourner certains verres quil designe (par exemple le verre en
bas a gauche et celui en bas a droite).
2. Le client fait alors tourner le plateau dun nombre arbitraire de quarts de tour.
3. Larbitre retourne les verres comme demande.
Si les verres sont tous dans le meme sens avant la fin des 10 tours, alors larbitre arrete le
jeu et declare le barman vainqueur, sinon il declare le client vainqueur.

1
1. On se place du point de vue du client qui veut modeliser le jeu sous la forme dun automate
dont les etats sont les differentes configurations du plateau, les lettres les coups annonces
par le barman et ou les fleches decrivent les evolutions possibles des configurations.
Donnez le vocabulaire V et lensemble des etats Q dun tel automate de facon a minimiser
leur taille en tenant compte des symetries de lespace des configurations. Donner les
transitions decrivant les differents coups possibles.

2. Donnez un automate non deterministe (avec eventuellement plusieurs etats entree) qui
reconnaisse toutes les sequences dannonces du barman pour lesquelles le client peut gagner
(a condition de toujours faire les bons choix).

3. Donnez un automate qui reconnaisse toutes les sequences dannonces du barman pour
lesquelles il est sur de gagner quel que soit le comportement du client.

4. Jouez-vous de largent contre le barman ?

5. On suppose maintenant quil y a n 0 rounds. Pour quelles valeurs de n jouez-vous contre


le barman ?

Vous aimerez peut-être aussi