Correction du QCM Théorie des Langages

Qcm No 1 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

P→P inst 0 ;0
P→ε

Réponses possibles :
a. Régulière
b. Hors Contexte

c. Ambigüe
d. Engendre un langage reconnaissable par un automate fini déterministe
e. Produit un langage vide

Correction: Linéaire à gauche, donc régulière. Elle est non ambigüe, et engendre une suite de
zéro ou plusieurs inst terminés par des ;. Ce langage est infini, régulier (puisqu’engendré par
une grammaire régulière) : type 3. Il existe donc un automate, comme par exemple :

,----.
| |
‘----’
| ^
’;’ | | ‘inst’
v |
,----.
--->| |--->
‘----’

1
Qcm No 2 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

L→L l 0 .0
L→ε

Réponses possibles :
a. Régulière
b. Hors Contexte

c. Ambigüe
d. Engendre un langage reconnaissable par un automate fini déterministe
e. Engendre un langage vide

Qcm No 3 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

P→P1
P→ε
P1 →P1 0 ;0 inst
P1 →inst

Réponses possibles :

a. Régulière
b. Hors Contexte
c. Ambigüe
d. Engendre un langage reconnaissable par un automate fini déterministe

e. Produit un langage vide

2
Correction: Linéaire à gauche, donc régulière. Elle est non ambigüe. P1 engendre une liste
de une ou plusieurs inst séparés par des ;. Donc, cette grammaire engendre une liste de zéro
ou plusieurs inst séparés par des ;. Ce langage est infini, régulier (puisqu’engendré par une
grammaire régulière) : type 3. Il existe donc un automate, comme par exemple :

,----.
| |
‘----’
| ^
‘inst’ | | ‘;’
v |
,----. ‘inst’ ,----.
--->| |------->| |--->
‘----’ ‘----’
|
v

Qcm No 4 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

S→S 0 %0 S
S→num

Réponses possibles :
a. Régulière
b. Hors Contexte

c. Ambigüe
d. Engendre un langage reconnaissable par un automate fini déterministe
e. Produit un langage vide

3
Qcm No 5 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

P→P1
P→ε
P1 →P1 0 ;0 P1
P1 →inst

Réponses possibles :
a. Régulière
b. Hors Contexte

c. Ambigüe
d. Reconnaissable par un automate fini déterministe
e. Produit un langage non vide

Correction: Cette grammaire est très visiblement une version ambigüe de la grammaire précé-
dente. On pourrait dire que dans la grammaire l’opérateur ; est associatif à gauche, ici il est
associatif à droite et à gauche, i.e., une phrase comme inst ; inst ; inst peut se lire comme
(inst ; inst) ; inst ou inst ; (inst ; inst). Le langage, lui, reste évidemment de type
3, et reconnu par le même automate.

Qcm No 6 :

À quelle(s) classe(s) appartient la grammaire suivante ? (NB: si elle est de type A et A ⊂ B, cocher
A et B).

S→P
P→pPQR
P→pqR
RQ→QR
qQ→qq
qR→qr
rR→rr

Réponses possibles :
a. Régulière

b. Hors Contexte
c. Ambigüe
d. Reconnaissable par un automate fini déterministe
e. Produit un langage non vide

4
Correction: Cette grammaire est visiblement monotone, non hors contexte. Bien qu’il ne soit
pas simple de le montrer formellement, une “exécution” de cette grammaire à la main montre
qu’elle n’est pas ambigüe.
On reconnaît l’exemple de grammaire engendrant an bn cn , i.e., le langage des mots commençant
par un certain nombre (non nul) de a, puis d’autant de b, et enfin autant de c. Mais avec p, q et
r. Ce langage est bien connu comme l’exemple type des langages sensibles au contexte (et non
hors-contexte), comme vu en cours.
Bien entendu, il est impossible de trouver un automate fini (le langage n’est pas régulier), ni
même un d’automate à pile (le langage n’est pas hors-contexte).

Qcm No 7 :

Quelles sont les propriétés de toute grammaire ambigüe ?

Réponses possibles :
a. Elle produit un langage non vide
b. Il en existe une version hors-contexte

c. Elle produit un langage hors-contexte

d. Elle produit un langage rationnel
e.

Qcm No 8 :

Est-il possible de tester si une grammaire régulière engendre un langage non vide ?

Réponses possibles :
a. Oui.
b. Non.

c.
d.
e.

5
Qcm No 9 :

Il existe un formalisme qui permette une description finie de tout langage.

Réponses possibles :
a. Oui.
b. Non.

c.
d.
e.

Qcm No 10 :

Une grammaire est ambiguë ssi il existe

Réponses possibles :
a. deux mots ayant le même arbre de dérivation.
b. un mot ayant deux arbres de dérivation.

c. un mot ayant une dérivation droite, et une dérivation gauche.

d. une dérivation gauche (ou droite) ayant deux arbres de dérivation.
e. un automate nondéterministe qui reconnaisse ses arbres de dérivation.

Qcm No 11 :

Le langage an est

Réponses possibles :

a. fini
b. rationnel
c. hors contexte

d. sensible au contexte
e. vide

6
Qcm No 12 :

Le langage an bn est

Réponses possibles :
a. fini
b. rationnel

c. hors contexte
d. sensible au contexte
e. vide

Qcm No 13 :

Le langage an an est

Réponses possibles :

a. fini
b. rationnel
c. hors contexte
d. sensible au contexte

e. vide

Qcm No 14 :

Le langage an bn cn est

Réponses possibles :
a. fini
b. rationnel

c. hors contexte
d. sensible au contexte
e. vide

7
Qcm No 15 :
22
Le langage des nombres binaires premiers compris entre 0 et 22 − 1 est

Réponses possibles :
a. rationnel
b. hors contexte

c. sensible au contexte
d. vide
e. non vide

Qcm No 16 :

Soit une expression rationnelle α et un automate A. Il possible de déterminer en un temps fini si :

Réponses possibles :

a. L(A) ⊂ L(α)
b. L(α) ⊂ L(A)
c. α ∈ L(A)
d. L(α) = L(A)

e. α ∈ A

Qcm No 17 :

Le langage des palindromes (mots égaux qu’on les lise de gauche à droite ou de droite à gauche)
sur {a, b} est
Réponses possibles :
a. vide

b. rationnel
c. infini
d. hors contexte

e.

8
Qcm No 18 :

L’équation P ⊂ NP signifie

Réponses possibles :
a. les fonctions polynômes sont des fonctions non particulières
b. un problème de résolution de polynômes est plus facile qu’un problème de résolution
d’équations exponentielles
c. on ne perd pas de performances en ayant plus de cpu
d. les problèmes solubles dans un polynôme précipitent dans une solution non polynomiale
e. un problème solvable par une machine de Turing à une bande P est solvable par une machine
de Turing ayant en plus une bande N.

Qcm No 19 :

Un transducteur est

Réponses possibles :
a. un élément de transitor
b. une machine ayant une entrée et une sortie

c. un automate fini n’ayant pas de transduction spontanée

d. un modèle de traducteur
e. un automate infini

Qcm No 20 :

Quelle est l’écriture la plus raisonnable

Réponses possibles :
a. machine à état fini

b. machine à état finis

c. machine à états finie
d. machine à états finis
e. machine à états finies

9
 Correction du QCM Théorie des Langages

a b c d e
Question
no 1
Question
no 2
Question
no 3
Question
no 4
Question
no 5
Question
no 6
Question
no 7
Question
no 8
Question
no 9
Question
no 10
Question
no 11
Question
no 12
Question
no 13
Question
no 14
Question
no 15
Question
no 16
Question
no 17
Question
no 18
Question
no 19
Question
no 20
 Correction du QCM Théorie des Langages

a b c d e
Question
X X X
no 1
Question
X X X
no 2
Question
X X X
no 3
Question
X X X
no 4
Question
X X X X
no 5
Question
X
no 6
Question
X
no 7
Question
X
no 8
Question
X
no 9
Question
X
no 10
Question
X X X
no 11
Question
X X
no 12
Question
X X X
no 13
Question
X
no 14
Question
X X X X
no 15
Question
X X X
no 16
Question
X X
no 17
Question
X
no 18
Question
X X
no 19
Question
X
no 20