• Aucun résultat trouvé

Fiche 06 : Clˆoture et lemme de l’´etoile

N/A
N/A
Protected

Academic year: 2022

Partager "Fiche 06 : Clˆoture et lemme de l’´etoile"

Copied!
2
0
0

Texte intégral

(1)

Fiche 06 :

Clˆ oture et lemme de l’´etoile

Master 1 I2L 2013 / 2014

Exercice 1 : Grammaire r´ eguli` ere ou non (S. Julia)

Soit la grammaireG suivante : – N ={S, X}

– Σ ={0,1}

– P ={ S→0X X→S1 | }

– Axiome :S

Questions :

a) La grammaireGest-elle r´eguli`ere ? Pourquoi ? b) D´efinir le langage le langage engendr´e par G.

c) Le langageL(G) est-il rationnel ?

Exercice 2 : Propri´ et´ e de clˆ oture

Montrer, en utilisant les propri´et´es de clˆoture et les langages connus non rationnel, montrer que les langages suivants ne sont pas rationnels :

a) La={0n+21n, n∈IN}

b) Lb ={w∈ {0,1},|w|0 =|w|1} c) Lc ={w∈ {0,1},|w|0 6=|w|1}

d) Le langages des mots de Dyck sur l’alphabet{(,)} des expressions bien parenth`es´ees.

Exercice 3 : Utilisation du lemme de l’´ etoile

Montrer, en utilisant le lemme de l’´etoile, que le langage suivant n’est pas rationnel : L={ww, w ∈ {0,1}}

1

(2)

Exercice 4 : Construction de l’union

a) D´efinir les automates reconnaissant les langages sur{a, b}correspondants aux expressions r´eguli`eres ba(a+b) et (a+b)ba

b) En imitant la construction de l’automate ”intersection” du cours, d´efinir l’automate qui connaissant l’union des langages pr´ec´edents.

2

Références

Documents relatifs

Pour chacun des langages suivants, donner un automate à pile (AP) le reconnaissant.. En déduire que la classe des langages algébriques n’est close ni par intersection, ni

— soit vxy est un facteur du bloc central b p a p , ce qui impliquerait que le mot uxz dans le langage est soit de longueur impaire, soit vérifie que la première moitié du mot

On peut construire l’automate fini le reconnaissant On peut d´ efinir l’expression r´ eguli` ere ´ equivalente On peut d´ ecomposer le langage comme une union, intersection, etc.

[r]

En suivant la d´ emarche de la construction de l’intersection, il suffit de d´ efinir les ´ etats produits acceptants comme ´ etant ceux qui sont soient acceptant pour le premier ou

Repr´ esenter sous forme de table la machine de Turing

Les ´ etats q 1 et q 2 sont utilis´ es de la mˆ eme mani` ere pour d´ eplacer la tˆ ete de lecture jusqu’` a la fin du mot sans modifier les symboles du ruban.. C’est une

[r]