Université de Nice – Sophia Antipolis 2017–2018

N
Licence 3 Informatique - Licence 3 Mathématiques MI

om
Pr

:
én
Automates & Langages

om
:
Partiel du 23 octobre

Durée : 1h30
Seulement une feuille manuscrite autorisée. Note :

Exercice 1 : (3 points) On se place sur l’alphabet {0, 1} et on considère le langage L décrit par l’ex-
pression régulière suivante :
L : (1 + 00 + 000)∗
1. Construisez les états de l’automate minimal M reconnaissant le langage L, en utilisant la méthode
des résiduels à gauche puis dessinez l’automate M obtenu (l’automate a seulement 4 états).

2. Décrivez en français ce qui caractérise les mots du langage L.

1
 a
ε q1 q2 a a, b

q0 q3
ε
q4 b q5

a, b

Exercice 2 : (4 points) On se place sur l’alphabet Σ = {a, b}. Soit l’automate fini minimal A =
(Σ, Q, δ, q0 , F ) où Q = {q0 , q1 , q2 , q3 , q4 , q5 } et F = {q3 , q5 } avec δ décrite dans le schéma ci-dessus.
1. Construisez la table de l’automate D obtenu par déterminisation de A puis dessinez-le ci-dessus.

2. Construisez l’automate minimal M obtenu par minimisation de l’automate D puis dessinez-le. On

prendra soin de renommer au préalable les états de D par A, B, C, ...

3. Quel est le langage L(A) ?

2
Exercice 3 : (4 points) Montrez à l’aide du théorème de l’étoile pour les langages rationnels que le
i
langage L = {12 , i ≥ 0} n’est pas rationnel.

Exercice 4 : (5 points) Voici quatre grammaires non-contextuelles :

G1 = ({S, A, B}, {0, 1}, P1 , S) G2 = ({S, A, B}, {0, 1}, P2 , S)
⎧ ⎫ ⎧ ⎫
⎨ S → 0A|1B|ε ⎬ ⎨ S → 0A|1S ⎬
P1 = A → S1|1 P2 = A → 0A|1|1B
B → S0|0 B → 0A|1S
⎩ ⎭ ⎩ ⎭

G3 = ({S}, {0, 1}, P3 , S) G4 = ({S, A, B}, {0, 1}, P4 , S)

⎧ ⎫
' ( ⎨ S → 0B|1A|ε ⎬
P3 = S → 0S1S|1S0S|ε P2 = A → 0|0S|1AA
B → 1|1S|0BB
⎩ ⎭

1. Quels sont les langages engendrés par chacune d’elles ? Précisez parmi eux ceux qui sont rationnels.

L(G1 ) =

L(G2 ) =

L(G3 ) =

L(G4 ) =

3
 2. Quelles sont les grammaires ambiguës ? (le cas échéant, donnez 2 arbres de dérivation distincts
pour un même mot)

Exercice 5 : (4 points) Répondez aux questions suivantes et argumentez brièvement :

1. L’ensemble des facteurs des mots de L est-il un langage rationnel lorsque L est rationnel ?

2. L’ensemble des langages non-contextuels sur un alphabet donné est-il dénombrable ?

3. La classe des langages rationnels est close par un certain nombre d’opérations, lesquelles ?

4. Que dire d’un langage rationnel dont l’expression régulière ne contient aucun symbole ∗ ?