You are on page 1of 1

Langages formels

Exercices Laboratoire 1
Exercice 1
Donner une expression rgulire ainsi qu'un automate dterministe qui
reprsentent les langages suivants :
a) L = { m | m {a, b}* et m contient ba comme sous-mot }
b) L = { m | m {a, b, c}* et m commence par un a et se termine par bc }
c) L = { m | m {a, b}* et m ne contient PAS un nombre de b gal 2 }
d) L = { m | m {a, b}* et m contient un nombre de b gal 2 }
e) L = { m | m {a, b}* et m se termine par bab OU bb }
f) L = { m | m {a, b}* et m contient au plus 2 a et au moins 2 b }
Exercice 2
Dterminiser lautomate suivant :

Exercice 3
Construire lautomate fini correspondant aux expressions rgulires suivantes,
en utilisant la mthode formelle vue en classe.
a) (a + b)*c
b) a*( + bb)a +
Exercice 4
Minimiser l'automate suivant :

Cdric Bastien Automne 2005 (Modifi : Aut08)

You might also like