TD Licence Langage
TD Licence Langage
TD Licence Langage
1. Donnez une grammaire générant le langage décrit par l’expression régulière a*b, sur
l’alphabet {a,b}
2. Grammaire régulière :
a. Décrire le langage généré par la grammaire
B. On modélise un polynôme par la liste de ses coefficients. Par exemple P(X)= 3X7 -
13X5 + 9X -19 sera modélisé par la liste (3 0 –13 0 0 0 9 –19).
Pour générer un tel langage de listes, on utilise la grammaire G = (N, T, P, S) suivante
:
N = { S , L, R } , T = { Nbre, ( , ) } et
P = { S → ( L ) , L → Nbre R , R → L | }.
Une commande est composée d’un nom de commande, suivi d’une liste optionnelle
d’arguments, suivie d’une liste facultative d’options ;
Une liste d’arguments est une suite d’arguments ;
Une liste d’options est une suite non vide d’options encadrée par [ et ], à l’intérieur
de laquelle les options sont séparées par , ;
Une option est un caractère précédé d’un tiret ;
Un argument est un identificateur, de même qu’un nom de commande.
Par exemple, macom arg1 arg2 [-a,-b] est une commande, ainsi que macom [-f] et macom.
Considérer la grammaire G2 :
S→G=D|D ; G → * D | id ; D→ G
1. L’automate fini déterministe peut reconnaitre le mot 6. ((0+1)(0+1))∗ est l’ensemble de mots sur
vide l’alphabet de longueur pair.
a. Vrai a. Vrai
b. Faux b. Faux
2. La transition de lecture est la seule transition des 7. Les transitions de réduction peuvent être de
items qui ne soit pas une ϵ-transition la forme
a. Vrai S ⟶ α . Y β où Y⟶ c
b. Faux a. Vrai
b. Faux
3. Si G est la grammaire définie par : S ⟶ A │x b ; 8. Deux automates finis minimaux sont
A ⟶ a A b│B ; B ⟶ x Alors First (S) = First (A) identiques lorsqu’ils reconnaissent les mots
et Follow (S) 𝐶 Follow (B) d’un même langage.
a. Vrai a. Oui
b. Faux b. Non
∗ ∗ ∗
4. Soit ER = ((011 + 11) (00) ) , le mot 000111100 9. L’outil JFAP permet de construire les
appartient au langage décrit par ER. automates à états finis
a. Oui a. Vrai
b. Non b. Faux
5. ((0+1)(0+1)) est l’ensemble de mots sur l’alphabet 10. Une grammaire est dite LL(2) si sa table
∗