• Aucun résultat trouvé

Automates avanc´es – Master 1 Informatique TD 6 : Langages alg´ebriques (suite)

N/A
N/A
Protected

Academic year: 2022

Partager "Automates avanc´es – Master 1 Informatique TD 6 : Langages alg´ebriques (suite)"

Copied!
1
0
0

Texte intégral

(1)

Automates avanc´es – Master 1 Informatique TD 6 : Langages alg´ebriques (suite)

Exercice1 :

Donnez les grammaires lin´eaires `a droite correspondant aux langages r´eguliers suivants : 1. Les mots sur{a, b} contenant un nombre impair dea.

2. Les mots sur{a, b} o`u chaque paire de aest imm´ediatement suivie par une paire deb.

Exercice 2 :

Rendez les grammaires suivantes propres : 1.

S → AB + aS + a A → Ab + b

B → AS 2.

S → cB + cS B → aBb + ε 3.

S → T U + V W + X T → T T + W

U → aU + V + cW + ε V → U + W + XaV X → W + b

Exercice 3 :

Mettez les grammaires suivantes en forme normale de Greibach :

1. S → aAS + a

A → SbAa + SS + ba

2. S → BA

A → BB + a B → AA 3.

S → AB + a A → BS B → AA + b 4.

S → aSbSX + Z + ε X → ab + Xb +XT Z → M + ε

T → XY T

R → SX + a + ε

M → b

Références

Documents relatifs

Montrez que w est r´ecurrent si, et seulement si, tout sous-mot de w apparaˆıt au moins deux fois dans w.. Un mot infini w est dit invariant par miroir si pour tout sous-mot u de

Construire l’expression r´eguli`ere et l’automate de B¨ uchi pour les langages suivants sur l’alphabet Σ = {a, b, c}

Donnez l’automata sur l’alphabet sur l’alphabet A = {a, b, c} ayant un nombre pair de a et de b et un nombre impair de

Construire l’expression r´eguli`ere et l’automate de B¨ uchi pour les langages suivants sur l’alphabet Σ = {a, b, c}

Vous pouvez

Pour chacun des automates dessin´ es ci-dessous, donnez une expression rationnelle d´ ecrivant le langage reconnu par l’automate (pour cet exercice, nous vous demandons de

Pour montrer que K n’est pas r´ egulier, on pourra admettre l’existence de mots sans carr´ e arbitrairement longs sur l’alphabet {a, b, c}.. Exercice

Donner les grammaires lin´ eaires droite correspondant aux langages rationnels suivants : (a) Les mots sur {a, b} contenant un nombre impair de a.. (b) Les mots sur {a, b} o` u