• Aucun résultat trouvé

Clˆ oture et lemme de l’´etoile

N/A
N/A
Protected

Academic year: 2022

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

Copied!
2
0
0

Texte intégral

(1)

Fiche 05 :

Clˆ oture et lemme de l’´etoile

Licence 3 informatique 2020 / 2021

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 grammaire Gest-elle r´eguli`ere ? Pourquoi ? b) D´efinir le langage le langage engendr´e parG.

c) Le langage L(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.

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

[r]

[r]

[r]

Démonstration du lemme