Langages formels

Paul Gastin
LSV (Cachan)
[email protected]

Magist`ere 2006

1/149

Plan
1

Introduction

Langages reconnaissables
Fonctions s
equentielles
Automates darbres
Grammaires
Langages alg
ebriques
Automates `
a pile
Analyse syntaxique
2/149

Motivations

Definition :
1. Description et analyse (lexicale et syntaxique) des langages (programmation,
naturels, . . . )
2. Mod`eles de calcul
3. Abstractions mathematiques simples de phenom`enes complexes dans le but de

Prouver des proprietes.

Concevoir des algorithmes permettant de tester des proprietes ou de resoudre
des probl`emes.

4. Types de donnees

3/149

Plan
Introduction
2

Langages reconnaissables
Mots
Langages
Automates deterministes
Automates non deterministes
Automates avec -transitions
Proprietes de fermeture
Langages rationnels
Crit`eres de reconnaissabilite
Minimisation
Morphismes et congruences

Fonctions s
equentielles
Automates darbres
4/149

Bibliographie
[1] Luc Albert, Paul Gastin, Bruno Petazzoni, Antoine Petit, Nicolas Puech et
Pascal Weil.
Cours et exercices dinformatique.
Vuibert, 1998.
[2] Jean-Michel Autebert.
Theorie des langages et des automates.
Masson, 1994.
[3] John E. Hopcroft et Jeffrey D. Ullman.
Introduction to automata theory, languages and computation.
Addison-Wesley, 1979.
[4] Jacques Sakarovitch.
ements de theorie des automates.
El
Vuibert informatique, 2003.
[5] Jacques Stern.
Fondements mathematiques de linformatique.
Mc Graw Hill, 1990.
5/149

Mots
A ou : alphabet (ensemble fini).
u : mot = suite finie de lettres.
: concatenation associative.
ou 1 : mot vide, neutre pour la concatenation.
( , ) : monode libre engendre par .
|u| : longueur du mot u.
| | : N est le morphisme defini par |a| = 1 pour a .
|u|a : nombre de a dans le mot u.
u
: miroir du mot u.

6/149

Mots
Ordres partiels :

u prefixe de v si u , v = uu
u suffixe de v si u , v = u u

u facteur de v si u , u , v = u uu
u sous-mot de v si v = v0 u1 v1 u1 un vn avec ui , vi et u = u1 u2 un

Theor`eme : Higman
Lordre sous-mot est un bon ordre, i.e.
(de toute suite infinie on peut extraire une sous-suite infinie croissante)
(ou tout ensemble de mots a un nombre fini delements minimaux)

7/149

Langages
Langage = sous-ensemble de .
Exemples.

Operations sur les langages : soient K, L

Ensemblistes : union, intersection, complement, difference, . . .
Concat
enation : K L = {u v | u K et v L}
La concatenation est associative et distributive par rapport `a lunion.
|K L| |K| |L|
notion de multiplicite, dambigute

8/149

Langages

n+1
n
n
Iteration : L0 = {},
S L n =+L SL = L n L ,

L = n0 L , L = n>0 L .
Exemples : n , , (2 ) .

Quotients : K 1 L = {v | u K, u v L}
L K 1 = {u | v K, u v L}

9/149

Automates d
eterministes
Definition : Automate deterministe
A = (Q, , i, F )
Q ensemble fini detats, i Q etat initial, F Q etats finaux,
: Q Q fonction de transition (totale ou partielle).
Exemples.
u

qn
Calcul de A sur un mot u = a1 an : q0
a

n
1

qn
q1 qn1
q0

avec qi = (qi1 , ai ) pour tout 0 < i n.

Generalisation de `a Q :
(q, ) = q,
(q, u a) = ((q, u), a) si u et a .
10/149

Automates d
eterministes

Langage accepte (reconnu) par A : L(A) = {u | (i, u) F }.

Exemples.

Definition : Reconnaissables
Un langage L est reconnaissable, sil existe un automate fini A tel que L =
L(A).
On note Rec( ) la famille des langages reconnaissables sur .

11/149

Automates non d
eterministes
Exemple : automate non deterministe pour {aba}

Definition : Automate non deterministe

A = (Q, T, I, F )
Q ensemble fini detats, I Q etats initiaux, F Q etats finaux,
T Q Q ensemble des transitions.
On utilise aussi : Q 2Q .
a

n
1

qn avec
q1 qn1
Calcul de A sur un mot u = a1 an : q0
(qi1 , ai , qi ) T pour tout 0 < i n.
Langage accepte (reconnu) par A :

L(A) = {u | i
f calcul de A avec i I et f F }.

12/149

Automates non d
eterministes
Theor`eme : Determinisation
Soit A un automate non deterministe. On peut construire un automate deterministe
B qui reconnat le meme langage (L(A) = L(B)).

Preuve
Automate des parties
Exemple : automate deterministe pour {aba}
On appelle determinise de A lautomate des parties emonde.

Exercices :
1. Donner un automate non deterministe avec n etats pour L = an2 .
2. Montrer que tout automate deterministe reconnaissant ce langage L a au
moins 2n1 etats.
3. Donner un automate non deterministe `a n etats tel que tout automate
deterministe reconnaissant le meme langage a au moins 2n 1 etats.
13/149

Automates non d
eterministes
Un automate (D ou ND) est complet si p Q, a , (p, a) 6= .
On peut toujours completer un automate.
Un automate (D ou ND) est emonde si tout etat q Q est

accessible dun etat initial : i I, u tels que i

q,
u

co-accessible dun etat final : f F , u tels que q

f

On peut calculer lensemble Acc(I) des etats accessibles `a partir de I et lensemble

coAcc(F ) des etats co-accessibles des etats finaux.

Corollaire :
Soit A un automate.

1. On peut construire B emonde qui reconnat le meme langage.

2. On peut decider si L(A) = .

14/149

Automates avec -transitions

Exemple.

Definition : Automate avec -transitions

A = (Q, T, I, F )
Q ensemble fini detats, I Q etats initiaux, F Q etats finaux,
T Q ( {}) Q ensemble des transitions.
a

n
1

qn avec (qi1 , ai , qi ) T pour

q1 qn1
Un calcul de A est une suite q0
tout 0 < i n.

Ce calcul reconnat le mot u = a1 an (les disparaissent).

Remarque : Soit A un automate. On peut construire un automate sans
-transition B qui reconnat le meme langage.
15/149

D
ecision
Presque tout est decidable sur les langages reconnaissables donnes par des
automates.

Definition :
Probl`eme du vide : etant donne un automate fini A, decider si L(A) = .

Probl`eme du mot : etant donnes un mot w et un automate A, decider si

w L(A).

Theor`eme : vide et mot

Le probl`eme du vide et le probl`eme du mot sont decidables en NLOGSPACE pour
les langages reconnaissables donnes par automates (deterministe ou non, avec ou
sans -transitions).

Preuve
Cest de laccessibilite.

16/149

Propri
et
es de fermeture
Op
erations ensemblistes

Proposition :
La famille Rec( ) est fermee par les operations ensemblistes (union, complement,
. . . ).

Preuve
Union : construction non deterministe.
Intersection : produit dautomates (preserve le determinisme).
Complement : utilise la determinisation.

Corollaire :
On peut decider de legalite ou de linclusion de langages reconnaissables.
Plus precisement, soient L1 , L2 Rec( ) donnes par deux automates A1 et A2 .
On peut decider si L1 L2 .

17/149

Propri
et
es de fermeture
Op
erations li
ees `
a la concat
enation

Proposition :
Rec( ) est fermee par concatenation et iteration.
Concat
enation :
Methode 1 : union disjointe des automates et ajout de transitions.
Methode 2 : fusion detats.
On suppose que les automates ont un seul etat initial sans transition entrante et
un seul etat final sans transition sortante.
It
eration :
Methode 1 : ajout de transitions. Ajouter un etat pour reconnatre le mot vide.
Methode 2 : ajout d-transitions.

18/149

Propri
et
es de fermeture
Si L , on note

Pref(L) = {u | v , uv L},

Suff(L) = {v | u , uv L},
Fact(L) = {v | u, w , uvw L}.

Proposition :
Rec( ) est fermee par prefixe, suffixe, facteur.

Preuve
Modification des etats initiaux et/ou finaux.

19/149

Propri
et
es de fermeture
Proposition :
La famille Rec( ) est fermee par quotients gauches et droits :
Soit L Rec( ) et K arbitraire.
Les langages K 1 L et L K 1 sont reconnaissables.

Preuve
Modification des etats initiaux et/ou finaux.

Exercice :
Montrer que si de plus K est reconnaissable, alors on peut effectivement calculer
les nouveaux etats initiaux/finaux.

20/149

Propri
et
es de fermeture
Morphismes
Soient A et B deux alphabets et f : A B un morphisme.
Pour L A , on note f (L) = {f (u) B | u L}.
Pour L B , on note f 1 (L) = {u A | f (u) L}.

Proposition :
La famille des langages reconnaissables est fermee par morphisme et morphisme
inverse.
1. Si L Rec(A ) et f : A B est un morphisme alors f (L) Rec(B ).
2. Si L Rec(B ) et f : A B est un morphisme alors f 1 (L) Rec(A ).

Preuve
Modification des transitions de lautomate.

21/149

Propri
et
es de fermeture

Definition : Substitutions
Une substitution est definie par une application : A P(B ).
Elle setend en un morphisme : A P(B ) defini par
() = {} et
(a1 an ) = (a1 ) (an ).
S
Pour L A , on note (L) = uL (u).
Pour L B , on note 1 (L) = {u A | (u) L 6= }.
Une substitution est rationnelle (ou reconnaissable) si elle est definie par une application : A Rec(B ).

22/149

Propri
et
es de fermeture
Proposition :
La famille des langages reconnaissables est fermee par substitution rationnelle et
substitution rationnelle inverse.
1. Si L Rec(A ) et : A Rec(B ) est une substitution rationnelle alors
(L) Rec(B ).
2. Si L Rec(B ) et : A Rec(B ) est une substitution rationnelle alors
1 (L) Rec(A ).

Preuve
1. On remplace des transitions par des automates.
2. Plus difficile.

23/149

Langages rationnels
Syntaxe pour representer des langages.
Soit un alphabet et une copie de .
Une ER est un mot sur lalphabet {(, ), +, , , }

Definition : Syntaxe
Lensemble des ER est defini par
B : et a pour a sont des ER,
I : Si E et F sont des ER alors (E + F ), (E F ) et (E ) aussi.

On note E lensemble des expressions rationnelles.

24/149

Langages rationnels

Definition : Semantique
On definit L : E P( ) par
B : L() = et L(a) = {a} pour a ,

I : L((E + F )) = L(E) L(F ), L((E F )) = L(E) L(F ) et

L((E )) = L(E) .
Un langage L est rationnel sil existe une ER E telle que L = L(E).
On note Rat( ) lensemble des langages rationnels sur lalphabet .
Remarque : Rat( ) est la plus petite famille de langages de contenant et
{a} pour a et fermee par union, concatenation, iteration.

25/149

Langages rationnels
Definition :
Deux ER E et F sont equivalentes (note E F ) si L(E) = L(F ).
Exemples : commutativite, associativite, distributivite, . . .
Peut-on trouver un syst`eme de r`egles de reecriture caracterisant lequivalence des
ER ?
Oui, mais il nexiste pas de syst`eme fini.
Comment decider de lequivalence de deux ER ?
On va utiliser le theor`eme de Kleene.
Abus de notation :
On ne souligne pas les lettres de : ((a + b) ).
On enl`eve les parenth`eses inutiles : (aa + bb) + (aab) .
On confond langage rationnel et expression rationnelle.
26/149

Langages rationnels
Theor`eme : Kleene, 1936
Rec( ) = Rat( )

Preuve
: les langages et {a} pour a sont reconnaissables et la famille
Rec( ) est fermee par union, concatenation, iteration.
: Algorithme de McNaughton-Yamada.

Corollaire :
Lequivalence des expressions rationnelles est decidable.

Preuve
Il suffit de linclusion Rat( ) Rec( ).

27/149

Crit`
eres de reconnaissabilit
e
Y a-t-il des langages non reconnaissables ?
Oui, par un argument de cardinalite.
Comment montrer quun langage nest pas reconnaissable ?
Exemples.
1. L1 = {an bn | n 0},

2. L2 = {u | |u|a = |u|b },
3. L3 = L2 \ ( (a3 + b3 ) )
Preuves : `a la main (par labsurde).

28/149

Crit`
eres de reconnaissabilit
e
Lemme : iteration
Soit L Rec( ). Il existe N 0 tel que pour tout w L,

1. si |w| N alors u1 , u2 , u3 tels que w = u1 u2 u3 , u2 6= et

u1 u2 u3 L.

2. si w = w1 w2 w3 avec |w2 | N alors u1 , u2 , u3 tels que w2 = u1 u2 u3 ,

u2 6= et w1 u1 u2 u3 w3 L.

3. Si 0 i0 < i1 < < iN |w| (positions marquees dans w) alors il existe

0 j < k N tels que si on ecrit w = u1 u2 u3 avec |u1 | = ij et |u1 u2 | = ik
alors u1 u2 u3 L.

Preuve
Sur lautomate qui reconnat L.
Application `a L1 , L2 , L3 et aux palindromes L4 = {u | u = u
}.

29/149

Crit`
eres de reconnaissabilit
e
Le crit`ere (2) est strictement plus fort que le crit`ere (1) :
K1 = {bp an | p > 0 et n est premier} {a}
satisfait (1) mais pas (2).
Le crit`ere (3) est strictement plus fort que le crit`ere (2) :
K2 = {(ab)n (cd)n | n 0} {aa, bb, cc, dd, ac}
satisfait (2) mais pas (3).
Le crit`ere (3) nest pas suffisant :
K3 = {udv | u, v {a, b, c} et soit u 6= v soit u ou v contient un carre}
satisfait (3) mais nest pas reconnaissable.

30/149

Crit`
eres de reconnaissabilit
e
Pour montrer quun langage nest pas reconnaissable, on peut aussi utiliser les
proprietes de cl
oture.
Exemples : Sachant que L1 nest pas reconnaissable.

L 2 a b = L 1 .
Donc L2 nest pas reconnaissable.
Soit f : defini par f (a) = aab et f (b) = abb.
On a f 1 (L3 ) = L2.
Donc L3 nest pas reconnaissable.
L5 = {u | |u|a 6= |u|b } = L2 .
Donc L5 nest pas reconnaissable.

31/149

Minimisation

Il y a une infinite dautomates pour un langage donne.

Exemple : automates D ou ND pour a .
Questions :

Y a-t-il un automate canonique ?

Y a-t-il unicite dun automate minimal en nombre detats ?
Y a-t-il un lien structurel entre deux automates qui reconnaissent le meme
langage ?

32/149

Minimisation
Definition : Morphismes dautomates DC
Soient A = (Q, , i, F ) et A = (Q , , i , F ) deux automates deterministes complets. Une application : Q Q est un morphisme si
a
Q
Q
q Q, a , ((q, a)) = ((q), a),

(i) = i ,

a
1 (F ) = F , i.e., q F (q) F .
Q
Q

A et A sont isomorphes sil existe un morphisme bijectif de A vers A .

Remarque 1 : Deux automates DC sont isomorphes sils ne diff`erent que par le
nom des etats.
Remarque 2 : Si : A A est un morphisme bijectif, alors 1 : A A est
aussi un morphisme.
Remarque 3 : Si : A A et : A A sont des morphismes, alors
: A A est un morphisme.
33/149

Minimisation
Definition : Congruence sur les automates
Soit A un automate DC. Une relation dequivalence sur Q est une congruence si

p, q Q, a , p q implique (p, a) (q, a),

F est sature par , i.e., p F , [p] = {q Q | p q} F .

Le quotient de A par est A = (Q/, , [i], F/) o`u est definie par
([p], a) = [(p, a)].
Remarque : [] : A A/ est un morphisme surjectif.

Proposition :
Soient A et A deux automates DC. Il existe un morphisme surjectif : A A si
et seulement si A est isomorphe `a un quotient de A. Dans ce cas, on note A  A
et on a L(A) = L(A ).
Remarque :  est un ordre partiel sur les automates DC.
But : Soit L Rec . Montrer quil existe un unique (`a isomorphisme pr`es)
automate minimal pour  parmi les automates DC reconnaissant L.

34/149

Minimisation

Definition : Equivalence
de Nerode
Soit A = (Q, , i, F ) un automate DC.
Pour p Q, on note L(A, p) = {u | (p, u) F }.
Lequivalence de Nerode sur Q est definie par
pq

ssi

L(A, p) = L(A, q).

Remarque : On sait decider si p q.

Proposition :
Lequivalence de Nerode est une congruence.
Lautomate quotient A est appele automate de Nerode.
On a L(A) = L(A ) (Proposition 3)
On va voir que lautomate de Nerode est minimal (si Q = Acc(i)).
Probl`eme : comment le calculer efficacement ?
35/149

Minimisation
Pour n 0, on note n = 0 1 n et on definit lequivalence n sur
Q par
p n q

ssi

L(A, p) n = L(A, q) n .

Remarque 1 : 0 a pour classes dequivalence F et Q \ F .

Remarque 2 : n+1 est plus fine que n , i.e., p n+1 q = p n q.
T
Remarque 3 : = n0 n , i.e., p q ssi n 0, p n q.

Proposition : 5

p n+1 q ssi p n q et a , (p, a) n (q, a).

Si n = n+1 alors = n .
= |Q|2 si 6= F 6= Q et = 1 sinon.

On utilise la Proposition 5 pour calculer lequivalence de Nerode par raffinements

successifs.
36/149

Minimisation
Definition : Residuels
Soient u et L . Le residuel de L par u est le quotient u1 L = {v |
uv L}.

Definition : Automate des residuels

Soit L . Lautomate des residuels de L est R(L) = (QL , L , iL , FL ) defini par

QL = {u1 L | u },

L (u1 L, a) = a1 (u1 L) = (ua)1 L,

iL = L = 1 L,
FL = {u1 L | u1 L} = {u1 L | u L}.

Theor`eme :
L est reconnaissable ssi L a un nombre fini de residuels.
37/149

Theor`eme :

Minimisation

Soit A = (Q, , i, F ) un automate DCA (deterministe, complet et accessible, i.e.,

Q = Acc(i)) reconnaissant L .
Lautomate R(L) est isomorphe `a lautomate de Nerode A de A.

Corollaire : Soit L Rec( ).

1. Lautomate des residuels de L est minimal pour lordre quotient () parmi les
automates DCA qui reconnaissent L.
2. Soit A un automate DC reconnaissant L avec un nombre minimal detats. A
est isomorphe `a R(L).
3. On calcule lautomate minimal de L avec lequivalence de Nerode `a partir de
nimporte quel automate DCA qui reconnat L.

4. On peut decider de legalite de langages reconnaissables (L(A) = L(B) avec

A et B automates DCA) en testant legalite des automates minimaux associes
(A = B ).

Exercice :
Calculer lautomate minimal par lalgorithme dHopcroft de raffinement de partitions
en O(n log(n)) (lalgo naf est en O(n2 ) avec n = |Q|).

38/149

Morphismes
Definition : Reconnaissance par morphisme

: M morphisme dans un monode fini M .

L est reconnu par si L = 1 ((L)).

L est reconnu par un monode fini M sil existe un morphisme

: M qui reconnat L.
L est reconnaissable par morphisme sil existe un monode fini qui
reconnat L.

Definition : Monode de transitions

Soit A = (Q, , , i, F ) un automate deterministe complet.
Le monode de transitions de A est le sous monode de (QQ , ) engendre par les
applications a : Q Q (a ) definies par a (q) = (q, a) et avec la loi de
composition interne f g = g f .

Proposition :
Le monode de transitions de A reconnat L(A).
39/149

Morphismes
Theor`eme :
Soit L . L est reconnaissable par morphisme ssi L est reconnaissable par
automate.

Corollaire :
Rec( ) est fermee par morphisme inverse.

Exemple :
Si L est reconnaissable alors

L = {v | v 2 L} est aussi reconnaissable.

Exercices :
1. Montrer que Rec( ) est fermee par union, intersection, complementaire.
2. Montrer que Rec( ) est fermee par quotients.
Si L Rec( ) et K alors K 1 L et LK 1 sont reconnaissables.
3. Montrer que Rec( ) est fermee par concatenation (plus difficile).

40/149

Congruences
Definition :
Soit L et une congruence sur .
Le langage L est sature par si u , v L, u v implique u L.

Theor`eme :
Soit L . L est reconnaissable ssi L est sature par une congruence dindex fini.

Definition : Congruence syntaxique

Soit L .
u L v

si

x, y , xuy L xvy L.

Theor`eme :
Soit L .

L sature L.
L est la plus grossi`ere congruence qui sature L.
L est reconnaissable ssi L est dindex fini.

41/149

Monoide syntaxique
Definition : Monoide syntaxique
Soit L . ML = / L .

Theor`eme :
Soit L .
M
de) tout monode qui reconnat L.
L divise (est quotient dun sous-mono

ML est le monode de transitions de lautomate minimal de L.

Corollaire :
On peut effectivement calculer le monode syntaxique dun langage reconnaissable.

Exercice : Congruence `a droite

1. Montrer que L est reconnaissable ssi il est sature par une congruence `a
droite dindex fini
2. Soit u rL v si y , uy L vy L.
Montrer que rL est la congruence `a droite la plus grossi`ere qui sature L.
3. Faire le lien entre rL et lautomate minimal de L

42/149

Ap
eriodiques et sans
etoile
Definition : Sans etoile
La famille des langages sans etoile est la plus petite famille qui contient les langages
finis et qui est fermee par union, concatenation et complementaire.
Exemple : Le langage (ab) est sans etoile.

Definition : Aperiodique

Un monode fini M est aperiodique si il existe n 0 tel que pour tout x M

on a xn = xn+1 .
Un langage est aperiodique sil peut etre reconnu par un monode aperiodique.

Theor`eme : Schutzenberger
Un langage est sans etoile si et seulement si son monode syntaxique est aperiodique.
Exemple : Le langage (aa) nest pas sans etoile.

Exercice :
Montrer que le langage ((a + cb a)c b) est sans etoile.
43/149

Plan
Introduction
Langages reconnaissables
3

Fonctions sequentielles
Definitions et exemples
Composition
Normalisation
Residuels et minimisation

Automates darbres
Grammaires
Langages alg
ebriques
Automates `
a pile
44/149

Bibliographie

[6] Jean Berstel.

Transduction and context free languages.
Teubner, 1979.
Pin.
[7] Jean-Eric
Automates finis et applications.

Polycopie du cours `a lEcole

Polytechnique, 2004.
[8] Jacques Sakarovitch.
ements de theorie des automates.
El
Vuibert informatique, 2003.

45/149

Automates s
equentiels purs
Definition : Automates sequentiels purs (Mealy machine)
A = (Q, A, B, q0 , , ) o`u

Q ensemble fini detats et q0 Q etat initial,

A et B alphabets dentree et de sortie,
: Q A Q fonction partielle de transition,
: Q A B fonction partielle de sortie avec dom() = dom().

Definition : Semantique : [[A]] : A B

On etend et `a Q A par
(q, ) = q et (q, ) =

(q, ua) = ((q, u), a) et (q, ua) = (q, u)((q, u), a)

et la semantique de A est la fonction partielle [[A]] : A B definie par

[[A]](u) = (q0 , u).

Noter que [[A]]() =

46/149

fonctions s
equentielles pures
Definition : fonctions sequentielles pures
Une fonction f : A B est sequentielle pure sil existe un automate sequentiel
pur A qui la realise : f = [[A]].

Exemples :
1. Transformation dun texte en majuscules.
2. Remplacement dune sequence despaces ou tabulations par un seul espace.
3. Codage et decodage avec le code prefixe definie par
a 7 0000
b 7 0001

c 7 001
d 7 010

e 7 011
f 7 10

g 7 11

4. Division par 3 dun entier ecrit en binaire en commencant par le bit de poids
fort. Quen est-il si on commence avec le bit de poids faible ?

47/149

Automates s
equentiels
Definition : Automates sequentiels
A = (Q, A, B, q0 , , , m, ) o`
u
A = (Q, A, B, q , , ) est un automate s
equentiel pur,
0

m B est le prefixe initial,

: Q Q est la fonction partielle finale.

La semantique de A est la fonction partielle [[A]] : A B definie par

[[A]](u) = m(q , u)((q , u)).
0
0
On appelle etat final un etat dans dom().

Exemples :
1. La fonction f : A A definie par f (u) = u(ab)1 .

2. Addition de deux entiers ecrits en binaire en commencant par le bit de poids

faible.
3. La multiplication par 3 dun entier ecrit en binaire en commencant par le bit
de poids faible.
4. Le decodage par un code `a delai de dechiffrage borne.
Ces fonctions sont-elles sequentielles pures ?

48/149

fonctions s
equentielles

Definition : fonctions sequentielles

Une fonction f : A B est sequentielle sil existe un automate sequentiel A qui
la realise : f = [[A]].

Lemme :
Une fonction sequentielle peut etre realisee par un automate sequentiel ayant un
prefixe initial vide (m = ).

49/149

Produit en couronne
Definition : Produit en couronne
Soient A = (Q, A, B, q0 , , , m, ) et A = (Q , B, C, q0 , , , m , ) deux automates sequentiels.
Le produit en couronne A A = (Q , A, C, q0 , , , m , ) est defini par

Q = Q Q , q0 = (q0 , (q0 , m)) et m = m (q0 , m),

((p, p ), a) = ((p, a), (p , (p, a))),
((p, p ), a) = (p , (p, a)),

((p, p )) = (p , (p)) ( (p , (p))).

Exemple : Multiplication par 5

Dans cet exemple, A = C = {0, 1}, B = {0, 1}2 et les mots representent des entiers
codes en binaire en commencant par le bit de poids faible.
On consid`ere les fonctions sequentielles f : A B et g : B C definies par
f (n) = (n, 4n), i.e., f (u) = (u, 00u) et g(n, m) = n + m.
La fonction g f code la multiplication par 5.
Construire les automates sequentiels realisant f et g et leur produit en couronne.
50/149

Composition
Lemme : Extension `a A
Pour tout u A , on a
((p, p ), u) = ((p, u), (p , (p, u))),

((p, p ), u) = (p , (p, u)),

Theor`eme : Composition
Soient f : A B et g : B C deux fonctions partielles.
1. Si f et g sont sequentielles alors g f : A C est aussi sequentielle.
2. Si f et g sont sequentielles pures alors g f est aussi sequentielle pure.

Preuve
1. Si f et g sont realisees par A et A alors g f est realisee par A A.
2. Si A et A sont purs alors A A est pur.

51/149

Fonct. s
equentielles et lang. rationnels
Definition : Fonction caracteristique
Soit L A un langage. La fonction caracteristique de L est la fonction totale
1L : A {0, 1} definie par 1L (u) = 1 si et seulement si u L.

Theor`eme :
Un langage L A est rationnel si et seulement si sa fonction caracteristique 1L
est sequentielle.

Corollaire : Image inverse

Soient f : A B une fonction sequentielle.
Si L B est rationnel alors f 1 (L) est rationnel.

Theor`eme : Image directe

Soient f : A B une fonction sequentielle.
Si L A est rationnel alors f (L) est rationnel.
52/149

B {0}
Definition : 0 : element maximal et absorbant.

Soit 0
/ B un nouvel element.
On etend la concatenation de B en faisant de 0 un element absorbant :
w 0 = 0 w = 0 pour tout w B {0}.
On etend lordre prefixe de B en faisant de 0 un element maximal :
w 0 pour tout w B {0}.
Tout sous ensemble X B {0} admet un plus grand prefixe commun,
i.e., une borne inferieure pour lordre
V prefixe.
Cette borneVinferieure est notee X.
Noter que = 0.

53/149

Fonctions totales dans B {0}

Definition : Fonction totale
On etend une fonction partielle f : A B en une fonction totale
f : A B {0} en posant f(u) = f (u) si u dom(f ) et f(u) = 0 sinon.
V
V
Noter que pour tout X A , on a f (X) = f(X).

Proposition : Automate sequentiel total

Si la fonction f : A B est sequentielle (partielle) alors la fonction

f : A B {0} est sequentielle (totale).

Preuve
Il suffit de completer lautomate A = (Q, A, B, q0 , , , m, ) realisant f en ajoutant
au besoin un etat puits, et de remplacer par .
Dans la suite, on confondra f et f.

54/149

Normalisation
Exemple :
Donner un automate sequentiel realisant la fonction f : A A definie par
f (a2n b) = (ab)n a.
Cet automate devra sortir les lettres du resultat le plus rapidement possible.

Definition : Automate normalise

Intuitivement, un automate est normalise sil ecrit son resultat au plus tot.
Soit A = (Q, A, B, q0 , , , m, ) un automate sV
equentiel et p Q un etat de A.
On definit Ap = (Q, A, B, p, , , , ) et mp = [[Ap ]](A ).
Lautomate A est normalise si pour tout p Q, mp = .

Proposition : Normalisation
Tout automate sequentiel emonde est equivalent `a un automate sequentiel emonde
et normalise ayant les memes etats et la meme fonction de transition.

Proposition : Effectivite

Etant
donne un automate sequentiel A, on peut calculer les mp en temps quadratique.
55/149

S
equentielle et s
equentielle pure
Definition :
Une fonction partielle f : A B preserve les prefixes si
son domaine est pr
efixiel : u v et v dom(f ) implique u dom(f ),

et elle est croissante : u v et v dom(f ) implique f (u) f (v).

Proposition :
1. Une fonction sequentielle pure preserve les prefixes.
2. Soit f : A B une fonction sequentielle. Si f () = et f preserve les
prefixes alors f est sequentielle pure.

Preuve
Lautomate normalise dune fonction sequentielle f qui preserve les prefixes et telle
que f () = est un automate sequentiel pur.

56/149

R
esiduels
Definition : Residuels
Soit f : A B {0} une fonction totale et soit u A .
V
Le residuel fu : A B {0} est defini par fu (v) = ( f (uA ))1 f (uv)
avec la convention w1 0 = 0 pour tout w B {0}.
V
f (uA ) represente tout ce quon peut sortir si on sait que la donnee commence
par u. Le residuel fu (v) est donc ce qui reste `a sortir si la donnee est uv.

Exemple :
1. Calculer les residuels de la fonction f : A A {0} definie par
f (w) = w(ab)1 .
2. Calculer les residuels de la fonction f : A A definie par f (w) = ww.
3. Calculer les residuels de la fonction multiplication par 5 o`u les entiers sont
codes en binaire en commencant avec le bit de poids faible.

57/149

R
esiduels

Theor`eme : Caracterisation par residuels

Une fonction f : A B {0} est sequentielle si et seulement si elle a un nombre
fini de residuels.

Lemme :
Soit A = (Q, A, B, q0 , , , m, ) un automate normalise et complet.

Si u A et p = (q0 , u) alors fu = [[Ap ]].

On en deduit quune fonction sequentielle a un nombre fini de residuels.

58/149

Automate des r
esiduels
Reciproquement, Supposons Q = {fu | u A } fini.
Lautomate des residuels est A = (Q, A, B, q0 , , , m, ) o`
u
V

q = f
f (A ),
0
et m =
(f , a) = f
u
ua ,
V
(f , a) =
fu (aA ),
u
(f ) = f ().
u
u

Lemme :

V
1. Soient u, v, w A . On a fuv (w) = ( fu (vA ))1 fu (vw).
2. La fonction de transition est bien definie et (fu , v) = fuv .
V
3. Soient u, v A . On a (fu , v) = fu (vA ).
4. Soit u A . On a fu = [[Afu ]].

5. f = [[A]].
6. Lautomate des residuels est normalise, accessible et complet.

59/149

Minimisation
Theor`eme : Automate minimal
Soit f : A B {0} une fonction sequentielle.
Lautomate des residuels de f , note Rf , est minimal parmi les automates normalises
et complets qui realisent f .

Construction de lautomate minimal

Soit A = (Q, A, B, q0 , , , m, ) un automate realisant une fonction f .

emonder lautomate

normaliser lautomate
quotienter lautomate par lequivalence definie par p q si [[Ap ]] = [[Aq ]].

Cette equivalence se calcule par raffinement :

p 0 q si (p) = (q).
p n+1 q si p n q et a A, (p, a) n (q, a) et (p, a) = (q, a).

Exemple :
Minimiser lautomate naturel de f : A A {0} definie par f (w) = w(ab)1 .
60/149

Plan
Introduction
Langages reconnaissables
Fonctions s
equentielles
4

Automates darbres
Arbres
Automates darbres
Termes
Ascendant / Descendant
Determinisme
Lemme diteration

Grammaires
Langages alg
ebriques
61/149

R
ef
erence
TATA
Tree Automata Techniques and Applications
Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard,
Denis Lugiez, Sophie Tison, Marc Tommasi.

http://www.grappa.univ-lille3.fr/tata/

62/149

Arbres
Definition : Arbres
Soit Ap = {d1 , . . . , dp } un alphabet ordonne d1 dp .

Un arbre etiquete dans et darite (au plus) p est une fonction partielle t : Ap
dont le domaine est un langage dom(t) Ap

ferme par prefixe : u v et v dom(t) implique u dom(t),

ferme par fr`ere ane : di dj et udj dom(t) implique udi dom(T ).

On note Tp () lensemble des arbres darite au plus p sur lalphabet .

Exemples :
1. Arbre representant lexpression logique
((x y) (y z)) (z x)
2. Arbre representant le programme
lire a; lire b; q := 0; r := a;
Tant que b r faire
q := q+1; r := r-b
Fin tant que
63/149

Arbres

Definition : Terminologie
La racine de larbre est le mot vide dom(t).
Un nud de larbre est un element u dom(t).
Une feuille de larbre est un nud u dom(t) tel que ud1
/ dom(t).
La fronti`ere Fr(t) (ou mot des feuilles) de larbre t est la concatenation des etiquettes
des feuilles de t.
Larite dun nud u dom(t) est le plus grand entier k tel que udk dom(t)
(k = 0 si u est une feuille).
Les fils dun nud u dom(t) darite k sont les nuds ud1 , . . . , udk dom(t).

64/149

Automates darbres
Definition : Automate
Un automate darbres est un quadruplet A = (Q, , , F ) o`u
Q est un ensemble fini d
etats

est un alphabet fini

S
p Qp Q est lensemble fini des transitions
F Q est lensemble des etats finaux.

Definition : Calcul, langage

Un calcul de lautomate A sur un -arbre t est un Q-arbre ayant meme

domaine que t et tel que pour tout u dom(t) darite n, on a
((u d1 ), . . . , (u dn ), t(u), (u)) .
Le calcul est acceptant si () F .
L(A) est lensemble des -arbres acceptes par A.
Un langage darbre est reconnaissable sil existe un automate darbres qui
laccepte.

65/149

Automates darbres

Exemples : Donner des automates pour les langages darbres suivants :

1. Lensemble des arbres darite au plus p dont les etiquettes de toutes les
branches sont dans un langage rationnel fixe L .
2. Lensemble des arbres darite au plus p dont au moins une branche est
etiquetee par un mot dun langage rationnel fixe L .

3. Lensemble des arbres darite au plus p ayant un nombre pair de noeuds

internes.
4. Lensemble des arbres sur = {a, b, c} dont les noeuds internes sont darites
2 et etiquetes par c et la fronti`ere est dans (ab) .

66/149

Termes
Definition :

F un ensemble fini de symboles de fonctions avec arites.

On note Fp les symboles darite p.

X un ensemble de variables (arite 0) disjoint de F0 .

T (F , X ) ensemble des termes sur F et X defini inductivement par :

F0 X T (F, X ),
si f Fn (n 1) et t1 , . . . , tn T (F, X ) alors f (t1 , . . . , tn ) T (F, X )

Remarque : on peut aussi utiliser une notation suffixe ou infixe parenthesee.

Free(t) est lensemble des variables de t.
T (F ) lensemble des termes qui ne contiennent pas de variable (termes clos).
Un terme t est lineaire sil contient au plus une occurrence de chaque variable.
Hauteur : H(x) = 0 pour x X et H(f ) = 1 pour f F0 et
H(f (t1 , . . . , tn )) = 1 + max(H(t1 ), . . . , H(tn )).
Taille : |x| = 0 pour x X et |f | = 1 pour f F0 et
|f (t1 , . . . , tn )| = 1 + |t1 | + + |tn |.
67/149

Termes

Exemple : Expressions logiques

F2 = {, }, F1 = {}, F0 = {, }, X = {p, q, r}
(((p), q), ((q), r)) = (p q) (q r)

Exemple : Expressions arithmetiques

F2 = {+, , , /, . . .}, F1 = {sin, cos, ln, !, . . .},
F0 = {0, . . . , 9} et X = {x, y, . . .}.
+(3, (2, !(x))) = 3 + (2 x!)

68/149

Arbres et termes
Un terme est un arbre
Un terme peut etre vu comme un arbre t etiquete dans F X tel que
si u dom(t) et t(u) F
e n.
n alors u est darit

si u dom(t) et t(u) X alors u est une feuille.

La hauteur dun terme est la hauteur de larbre qui le represente.
La taille dun terme est le nombre de noeuds de larbre qui le represente.

Exemples :
1. Soit F un ensemble fini de symboles de fonctions avec arites et X un
ensemble fini de variables. Le langage darbres T (F , X ) est reconnaissable.

2. Considerons F2 = {, }, F1 = {}, F0 = {, } et X = .
Lensemble des formules closes du calcul propositionnel qui sevaluent `a vrai
est reconnaissable.
3. Considerons F2 = {, }, F1 = {}, F0 = {, } et X = {p1 , . . . , pn } fini.
Lensemble des formules satisfaisables du calcul propositionnel est
reconnaissable.
69/149

Arbres et termes

Un arbre est la projection dun terme

Soit t TU
e au plus p.
p () un -arbre darit
Soit F = 0ip i o`u i est une copie de .
Soit t larbre ayant meme domaine que t et tel que si u dom(t) est darite i et
t(u) = f alors t (u) = fi est la copie de f dans i .
t T (F ) est un terme clos et t est le projete de t .

70/149

Substitutions
Definition :

Une substitution est une application dun sous-ensemble fini de X dans

T (F , X ).
Si = [t1 /x1 , . . . , tn /xn ] est une substitution et t un terme alors
(t) = t[t1 /x1 , . . . , tn /xn ] est defini inductivement par :

(xi ) = ti pour 1 i n,
(f ) = f pour f F0 X \ {x1 , . . . , xn }
(f (s1 , . . . , sk )) = f ((s1 ), . . . , (sk )) pour f Fk , k 1.

On dit que t[t1 /x1 , . . . , tn /xn ] est une instance de t.

La substitution = [t1 /x1 , . . . , tn /xn ] est close si chaque ti est clos.

Si t1 , t2 sont clos, alors t[t1 /x1 , t2 /x2 ] = t[t1 /x1 ][t2 /x2 ].
En general, t[t1 /x1 , t2 /x2 ] 6= t[t1 /x1 ][t2 /x2 ].

Exemple : Instances dun terme

Soit F un ensemble fini de symboles de fonctions avec arites et X un ensemble fini
de variables. Soit s = f (g(x), f (y, a)) T (F , X ).
Lensemble des arbres t T (F ) qui sont instances de s est reconnaissable.
Generaliser `a lensemble des instances dun ensemble fini de termes lineaires.
71/149

Vision ascendante
Definition : calcul ascendant
Soit A = (Q, , , F ) un automateSdarbres.
On voit comme une fonction : p Qp 2Q .
Letiquetage dun calcul est construit `a partir des feuilles en remontant vers la racine.

Exemples :

dune expression logique close.

1. Evaluation
2. Instances du terme s = f (g(x), f (y, a)) T (F , X ).

Definition : Determinisme ascendant

Un automate A = (Q, , , F ) est deterministe ascendant si :
est une fonction (partielle si A nest pas complet).

Qp Q

Exercice :
Parmi les langages reconnaissables vus precedemment, quels sont ceux qui sont
deterministes ascendants ?
72/149

Vision descendante

Definition : calcul descendant

Soit A = (Q, , , I) un automate darbres. S

p
On voit comme une fonction : Q 2 p Q .
Letiquetage dun calcul est construit `a partir de la racine en descendant vers les
feuilles.
Letiquette de la racine doit etre dans I.
On dit que I est lensemble des etats initiaux.

Exemples :
1. Instances du terme s = f (g(x), f (y, a)) T (F , X ).

dune expression logique close.

2. Evaluation

Definition : Determinisme descendant

Un automate A =S
(Q, , , I) est deterministe descendant sil a un seul etat initial
et si : Q p Qp est une fonction (partielle si A nest pas complet).

Exercice :

Parmi les langages reconnaissables vus precedemment, quels sont ceux qui sont
deterministes descendants ?

73/149

Automates d
eterministes
Theor`eme : Determinisation
Soit A un automate darbres. On peut effectivement construire un automate
deterministe ascendant B tel que L(A) = L(B).

Theor`eme : Cloture
La classe des langages darbres reconnaissables est effectivement close par union,
intersection et complementaire.

Proposition :
La classe des langages darbres reconnaissables par un automate deterministe descendant est strictement incluse dans la classe des langages darbres reconnaissables.
Exemple : le langage {f (a, b), f (b, a)} nest pas deterministe descendant.

74/149

Automates avec -transitions

Definition : -transitions

Lautomate peut avoir des transitions du type p

q : Q Q.
Il faut changer la definitionSdes calculs.
Vision ascendante avec : p Qp 2Q
(q1 , . . . , qp , a) = ((q1 , . . . , qp , a))

On peut eliminer les -transitions

les -transitions peuvent etre utiles dans les preuves et les constructions sur
les automates darbres.

75/149

Concat
enation darbres
Definition : Arbre `a trou
Un -arbre `a trou t est un ( {2})-arbre ayant un unique noeud etiquete 2 et ce
noeud doit etre une feuille : t : A {2}, t1 (2) = {u} et u est une feuille.
On note T2 () lensemble des -arbres `a trou.

Definition : Concatenation
Soit t un -arbre avec un trou en u et soit t un -arbre (avec ou sans trou). La
concatenation t t est le -arbre((avec ou sans trou) defini par
t(v)
si u 6 v
v 7 1
t (u v) si u v
Lensemble T2 () est un monode avec comme element neutre 2.

Exemple :
Soit t1 larbre

et t2 larbre

a 2 b
a
b
Le langage L = t1 t2 est reconnaissable.
Remarque : le langage Fr(L) des mots de feuilles de L est {an bn | n > 0}.
76/149

Lemme dit
eration
Lemme : iteration (pumping) pour les termes
Soit L un langage darbres reconnaissable.
n 0, t L, si H(t) > n alors t1 , t2 T2 (), t3 T () tels que
t 6= 2,
t = t1 t2 t3 , t1 (t2 ) t3 L,
2

La somme des profondeurs de 2 dans t1 et t2 est inferieure `a n.

Exemples :

L = {f (g n (a), g n (a)) | n > 0} nest pas reconnaissable.

Lensemble des instances de f (x, x) nest pas reconnaissable.

Associativite.
Soit F2 = {f } et F0 = {a, b}.
Un langage L T (F ) est associativement clos si il est ferme par la
congruence engendree par f (f (x, y), z) = f (x, f (y, z)).
Soit t1 = f (f (a, 2), b) et t2 = f (a, b).
La cl
oture associative de t1 t2 nest pas reconnaissable.

77/149

Congruences
Definition :
Soient a et t1 , . . . , tn T (). Larbre t = a(t1 , . . . , tn ) est defini par
Sn
dom(t) = {}
i=1 dom(ti ),

t() = a et la racine de t est darite n,

t(di v) = ti (v) pour 1 i n et v dom(ti ).

Definition : Congruence
Une relation dequivalence sur Tp () est une congruence si pour tous a , et
t1 , . . . , tn , s1 , . . . , sn Tp () avec n p on a
(1 i n, si ti ) = a(s1 , . . . , sn ) a(t1 , . . . , tn )

Proposition :
Une relation dequivalence sur Tp () est une congruence si et seulement si pour
tout r Tp,2 () et tous s, t Tp (), on a s t implique r s r t.
78/149

Congruence syntaxique

Definition : Congruence syntaxique

La congruence syntaxique L dun langage L Tp () est definie par r L t si
pour tout r Tp,2 (), r s L ssi r t L.

Theor`eme : Myhill-Nerode
Soit L Tp (). Les conditions suivantes sont equivalentes :
1. L est reconnaissable,
2. L est sature par une congruence dindex fini,

3. la congruence syntaxique L est dindex fini.

79/149

Automate minimal
Definition :
Soit L Tp (). Lautomate AL = (QL , , L , FL ) est defini par :
Q
equivalences pour L ,
L est lensemble des classes d
(on note simplement [t] la classe dequivalence de t pour L )

L ([t1 ], . . . , [tn ], a) = [a(t1 , . . . , tn )],

FL = {[t] | t L}.

Proposition : automate minimal

Soit L Tp () un langage reconnaissable.
1. Lautomate AL est deterministe, accessible et complet.

2. Lautomate AL est quotient de tout automate DAC reconnaissant L.

3. AL est lunique (`a isomorphisme pr`es) automate minimal reconnaissant L.

80/149


Equivalence
de Nerode
Definition :
Soit A = (Q, , , F ) un automate DAC reconnaissant L Tp (). On definit les
equivalences et (n )n0 sur Q par :

u Aq = (Q, , , {q})
q q si L(Aq ) = L(Aq ) o`

q 0 q si q, q F ou q, q
/F

q n+1 q si q n q et a et q1 , . . . , qi1 , qi+1 , . . . , qm Q on a

(q1 , . . . , qi1 , q, qi+1 , . . . , qm , a) n (q1 , . . . , qi1 , q , qi+1 , . . . , qm , a)

Proposition :
Soit A = (Q, , , F ) un automate DAC reconnaissant L Tp ().
T
1. = n0 n = |Q| .
2. = L .
3. AL est le quotient de A par .

81/149

Exercices

Exercice : Morphisme
Montrer que L T (F ) est reconnaissable ssi il existe une F -alg`ebre finie A(F )
telle que L = 1 ((L)) o`u : T (F ) A(F ) est le morphisme canonique.

Exercice : Probl`emes de decision et complexite

Lire la section 7 du chapitre 1 du TATA.

82/149

Plan
Introduction
Langages reconnaissables
Fonctions s
equentielles
Automates darbres
5

Grammaires
Type 0 : generale
Type 1 : contextuelle (context-sensitive)
Type 2 : hors contexte (context-free, algebrique)
Grammaires lineaires
Hierarchie de Chomsky

Langages alg
ebriques
Automates `
a pile

83/149

Bibliographie
[9] Jean-Michel Autebert.
Theorie des langages et des automates.
Masson, 1994.
[10] Jean-Michel Autebert, Jean Berstel et Luc Boasson.
Context-Free Languages and Pushdown Automata.
Handbook of Formal Languages, Vol. 1, Springer, 1997.
[11] Jean Berstel.
Transduction and context free languages.
Teubner, 1979.
[12] John E. Hopcroft et Jeffrey D. Ullman.
Introduction to automata theory, languages and computation.
Addison-Wesley, 1979.
[13] Jacques Stern.
Fondements mathematiques de linformatique.
Mc Graw Hill, 1990.
84/149

Grammaires de type 0
Definition : Grammaires generales (type 0)
G = (, V, P, S) o`u

est lalphabet terminal

V est lalphabet non terminal (variables)
S V est laxiome (variable initiale)
P ( V ) ( V ) est un ensemble fini de r`egles ou productions.
n

Exemple : Une grammaire pour {a2 | n > 0}

S
ACaB
aD
Da

Ca
aaC
AD
AC

CB
DB
aE
Ea

CB
E
AE

Definition : Derivation
( V ) se derive en ( V ) , note
, sil existe (2 , 2 ) P tel
que = 1 2 3 et = 1 2 3 .

On note
la cl
oture reflexive et transitive de
.
85/149

Grammaires de type 0

Definition : Langage engendre

Soit G = (, V, P, S) une grammaire et ( V ) .

Le langage engendre par est LG () = {u |

u}.

Le langage elargi engendre par est LbG () = { ( V ) |

}.
Le langage engendre par G est LG (S).
Un langage est de type 0 sil peut etre engendre par une grammaire de type 0.

Theor`eme : Type 0 [16, Thm 9.3 & 9.4]

Un langage L est de type 0 ssi il est recursivement enumerable.

86/149

Grammaires contextuelles
Definition : Grammaire contextuelle (type 1, context-sensitive)
Une grammaire G = (, V, P, S) est contextuelle si toute r`egle (, ) P verifie
|| ||.
Un langage est de type 1 (ou contextuel) sil peut etre engendre par une grammaire
contextuelle.
n

Exemple : Une grammaire contextuelle pour {a2 | n > 0}

S
DT
S
aa

T
XT
T
aF

Xaa
aaXa
XaF
aaF

Daaa
aaDaa
DaaF
aaaa

Remarque :
Le langage engendre par une grammaire contextuelle est propre.
Si on veut engendrer le mot vide on peut ajouter S
S + .

87/149

Grammaires contextuelles
Definition : Forme normale
Une grammaire G = (, V, P, S) contextuelle est en forme normale si toute r`egle
est de la forme (1 X2 , 1 2 ) avec X V et 6= .

Theor`eme : Forme normale [9, Prop. 2, p. 156]

Tout langage de type 1 est engendre par une grammaire contextuelle en forme
normale.

Theor`eme : Type 1 [16, Thm 9.5 & 9.6]

Un langage est de type 1 ssi il est accepte par une machine de Turing en espace
lineaire.
Les langages contextuels sont strictement inclus dans les langages recursifs.

Theor`eme : indecidabilite du vide

On ne peut pas decider si une grammaire contextuelle engendre un langage vide.

88/149

Grammaires contextuelles

Exercices :
2

1. Montrer que {an | n > 0} est contextuel.

2. Montrer que {ww | w {a, b}+} est contextuel.

3. Montrer que le probl`eme du mot est decidable en PSPACE pour les langages
contextuels.
Probl`eme du mot : etant donnes un mot w et une grammaire sous contexte G
qui engendre un langage L, decider si w L.

89/149

Grammaires alg
ebriques
Definition : Grammaire hors contexte ou algebrique ou de type 2
Une grammaire G = (, V, P, S) est hors contexte ou algebrique si P V (V )
(sous ensemble fini).
Un langage est de type 2 (ou hors contexte ou algebrique) sil peut etre engendre
par une grammaire hors contexte.
On note Alg la famille des langages algebriques.

Exemples :
1. Le langage {an bn | n 0} est algebrique.
2. Expressions compl`etement parenthesees.

90/149

Grammaires alg
ebriques
Lemme : fondamental
Soit G = (, V, P, S) une grammaire algebrique, 1 , 2 , ( V ) et n 0.
n

1 2

2
1
2 avec = 1 2 et n = n1 + n2
1 , 2
1

Exercice : Langage de Dyck

Soit n = {a1 , . . . , an } {
a1 , . . . , a
n } lalphabet forme de n paires de parenth`eses.
Un mot w n est bien parenthese sil est equivalent au mot vide dans la congruence
engendree par ai a
i pour 1 i n.
Montrer que le langage de Dyck Dn = {w n | w } est engendre par la
grammaire S
a1 S
a1 S + + an S
an S + .

91/149

Grammaires lin
eaires
Definition : Grammaire lineaire
La grammaire G = (, V, P, S) est
lin
eaire si P V ( V ),

lineaire gauche si P V ( V ),
lineaire droite si P V ( V ).

Un langage est lineaire sil peut etre engendre par une grammaire lineaire.
On note Lin la famille des langages lineaires.

Exemples :

Le langage {an bn | n 0} est lineaire.

Le langage {an bn cp | n, p 0} est lineaire.

Proposition :
Un langage est rationnel si et seulement si il peut etre engendre par une grammaire
lineaire gauche (ou droite).
92/149

Hi
erarchie de Chomsky

Theor`eme : Chomsky
1. Les langages reguliers (type 3) sont strictement contenus dans les langages
algebriques (type 2).
2. Les langages algebriques propres (type 2) sont strictement contenus dans les
langages contextuels (type 1).
3. les langages contextuels (type 1) sont strictement contenus dans les langages
recursifs.
4. les langages recursifs sont strictement contenus dans les langages
recursivement enumerables (type 0).

93/149

Plan
Introduction
Langages reconnaissables
Fonctions s
equentielles
Automates darbres
Grammaires
6

Langages algebriques
Arbres de derivation
Proprietes de cl
oture
Formes normales
Probl`emes sur les langages algebriques

Automates `
a pile
94/149

Arbres (rappel)
Definition : Arbres
Soit Ap = {d1 , . . . , dp } un alphabet ordonne d1 dp .

Un arbre etiquete dans Z et darite (au plus) p est une fonction partielle t : Ap Z
dont le domaine est un langage dom(t) Ap
ferm
e par prefixe : u v et v dom(t) implique u dom(t),

ferme par fr`ere ane : di dj et udj dom(t) implique udi dom(T ).

Definition : Terminologie
La racine de larbre est le mot vide dom(t).
Un nud de larbre est un element u dom(t).
Une feuille de larbre est un nud u dom(t) tel que ud1
/ dom(t).
La fronti`ere Fr(t) (ou mot des feuilles) de larbre t est la concatenation des etiquettes
des feuilles de t.
Larite dun nud u dom(t) est le plus grand entier k tel que udk dom(t)
(k = 0 si u est une feuille).
Les fils dun nud u dom(t) darite k sont les nuds ud1 , . . . , udk dom(t).
95/149

Arbres de d
erivation
Definition :
Soit G = (, V, P, S) une grammaire.
Un arbre de derivation pour G est un arbre t etiquete dans V tel que

chaque feuille est etiquetee par une variable ou un terminal,

chaque nud interne n est etiquete par une variable x et si les fils de n
portent les etiquettes 1 , . . . , k alors (x, 1 k ) P .

Exemple :
Arbres de derivation pour les expressions.
Mise en evidence des priorites ou de lassociativite G ou D.

Proposition :
Soit G = (, V, P, S) une grammaire et x V .
LbG (x) est lensemble des mots ( V ) tels quil existe un arbre de derivation
de racine x et de fronti`ere .
96/149

Arbres de d
erivation

Remarques :

` chaque derivation, on peut associer de facon unique un arbre de derivation.

A
Si la grammaire est lineaire, il y a bijection entre derivations et arbres de
derivations.
2 derivations sont equivalentes si elles sont associees au meme arbre de
derivation.
Une derivation est gauche si on derive toujours le non terminal le plus `a
gauche.
Il y a bijection entre derivations gauches et arbres de derivation.

97/149

Ambigut
e
Definition : Ambigute

Une grammaire est ambigue sil existe deux arbres de derivations (distincts) de
meme racine et de meme fronti`ere.
Un langage algebrique est non ambigu sil existe une grammaire non ambigue
qui lengendre.

Exemples :

La grammaire S
SS + aSb + est ambigue mais elle engendre un langage
non ambigu.
La grammaire S
E + E | E E | a | b | c est ambigue et engendre un
langage rationnel.

Proposition :
Tout langage rationnel peut etre engendre par une grammaire lineaire droite non
ambigue.

98/149

Ambigut
e

Exercice : if then else

Montrer que la grammaire suivante est ambigue.
S if c then S else S | if c then S | a
Montrer que le langage engendre nest pas ambigu.

99/149

Grammaires et automates darbres

Theor`eme : du feuillage

Soit L un langage darbres reconnaissable.

Le langage Fr(L) des fronti`eres des arbres de L est algebrique.
Soit L un langage algebrique propre (
/ L ).
Il existe un langage darbres reconnaissable L tel que L = Fr(L).

Theor`eme : Bar-Hillel, Perles, Shamir ou Lemme diteration

Soit L Alg, il existe N 0 tel que pour tout w L,
si |w| N alors on peut trouver une factorisation w = uv avec
|uv| > 0 et |uv| < N et un v n L pour tout n 0.

Exemple :
Le langage L1 = {an bn cn | n 0} nest pas algebrique.

Corollaire :
Les familles Alg et Lin ne sont pas fermees par intersection ou complementaire.
100/149

Lemme dOgden
Plus fort que le theor`eme de Bar-Hillel, Perles, Shamir.

Lemme : Ogden
Soit G = (, V, P, S) une grammaire. Il existe un entier N N tel que pour tout
b G (x) contenant au moins N lettres distinguees, il existe y V et
x V et w L
, u, , v, ( V ) tels que

w = uv,

x
y, y
uyv, y
,

uv contient moins de N lettres distinguees,

soit , u, soit , v, contiennent des lettres distiguees.

101/149

Lemme dOgden
Exemple :
Le langage L2 = {an bn cp dp | n, p 0} est algebrique mais pas lineaire.

Corollaire :
La famille Lin nest pas fermee par concatenation ou iteration.

Exemple :
Le langage L3 = {an bn cp | n, p > 0} {an bp cp | n, p > 0} est lineaire et
(inheremment) ambigu.

Corollaire :
Les langages non ambigus ne sont pas fermes par union.

102/149

Propri
et
es de cl
oture
Proposition :
1. La famille Alg est fermee par concatenation, iteration.
2. La famille Alg est fermee par substitution algebrique.
3. Les familles Alg et Lin sont fermees par union et miroir.
4. Les familles Alg et Lin sont fermees par intersection avec un rationnel.
5. Les familles Alg et Lin sont fermees par morphisme.
6. Les familles Alg et Lin sont fermees par projection inverse.
7. Les familles Alg et Lin sont fermees par morphisme inverse.

Definition : Substitutions algebriques

Une substitution : A P(B ) est algebrique si a A, (a) Alg

Definition : Projection
Soit B A deux alphabets.
La projection de A sur B est le morphisme : A B
(
a si a B
defini par (a) =
sinon.
103/149

Propri
et
es de cl
oture
Definition : Transduction rationnelle
Une transduction rationnelle (TR) : A P(B ) est la composee dun morphisme
inverse, dune intersection avec un rationnel et dun morphisme.
C

1
A

Soient A, B, C trois alphabets, K Rat(C ) et : C A et : C B

deux morphismes. Lapplication : A P(B ) definie par (a) = (1 (a) K)
est une TR.

Proposition :
Les familles Alg et Lin sont fermees par TR.

104/149

Propri
et
es de cl
oture
Theor`eme : Chomsky et Schutzenberger
Les propositions suivantes sont equivalentes :
1. L est algebrique.
2. Il existe une TR telle que L = (D2 ).
3. Il existe un entier n, un rationnel K et un morphisme alphabetique tels que
L = (Dn K).

Corollaire :
Les langages non ambigus ne sont pas fermes par morphisme.

Theor`eme : Elgot et Mezei, 1965

La composee de deux TR est encore une TR.

Theor`eme : Nivat, 1968

Une application : A P(B ) est une TR si et seulement si son graphe
{(u, v) | v (u)}
est une relation rationnelle (i.e., un langage rationnel de A B ).
105/149

Formes normales
Definition : Grammaires reduites
La grammaire G = (, V, P, S) est reduite si toute variable x V est

productive : LG (x) 6= , i.e., x

u , et

accessible : il existe une derivation S

x avec , ( V ) .

Lemme :
Soit G = (, V, P, S) une grammaire.
1. On peut calculer lensemble des variables productives de G (PTIME).
2. On peut decider si LG (S) = (PTIME).
3. On peut calculer lensemble des variables accessibles de G (PTIME).

Corollaire :
Soit G = (, V, P, S) une grammaire telle que LG (S) 6= . On peut effectivement
calculer une grammaire reduite equivalente G = (, V , P , S) (LG (S) = LG (S)).
Preuve : Restreindre aux variables productives, puis aux variables accessibles.
106/149

Formes normales
Definition : Grammaires propres
La grammaire G = (, V, P, S) est propre si elle ne contient pas de r`egle de la forme
x
ou x
y avec x, y V .
Un langage L est propre si
/ L.

Lemme :
Soit G = (, V, P, S) une grammaire.
On peut calculer lensemble des variables x telles que LG (x) (PTIME).

Proposition :
Soit G = (, V, P, S) une grammaire.
On peut construire une grammaire propre G qui engendre LG (S) \ {} (PTIME).
Remarque : la reduction dune grammaire propre est une grammaire propre.

Corollaire :
On peut decider si un mot u est engendre par une grammaire G.
Navement on a un algorithme EXPTIME mais ce probl`eme est dans PTIME
(cf. HU, p. 139).
107/149

Formes normales
Definition : Forme normale de Chomsky
Une grammaire G = (, V, P, S) est en forme normale de Chomsky
1. faible si P V (V {})
2. forte si P V (V 2 {})

Proposition :
Soit G = (, V, P, S) une grammaire.
On peut effectivement construire une grammaire equivalente G en forme normale
de Chomsky faible ou forte (PTIME).
Remarque : La reduction dune grammaire en FNC est encore en FNC.
Remarque : La mise en FNC dune grammaire propre est une grammaire propre.

Corollaire :
Soit G = (, V, P, S) une grammaire.
On peut decider si LG (S) est fini (PTIME).
108/149

Forme normale de Greibach

Definition :
La grammaire G = (, V, P ) est en
FNG (forme normale de Greibach)
FNPG (presque Greibach)
FNGQ (Greibach quadratique)

si P V V
si P V (V )
si P V ( V V 2 )

Remarque : on passe trivialement dune FNPG `a une FNG.

Theor`eme :
Soit G = (, V, P ) une grammaire propre.
On peut construire G = (, V , P ) en FNG equivalente `a G,
i.e., V V et LG (x) = LG (x) pour tout x V .
La difficulte est deliminer la recursivite gauche des r`egles.

109/149

Forme normale de Greibach

Lemme :
Soit x V et x
x + les r`egles issues de x:
ensemble fini de mots de (V )+ ,
ensemble fini de mots de (V ) (V \ {x})(V )+ .
si on remplace les r`egles x
x + par x
+ x et x
+ x , on obtient

une grammaire G equivalente `a G.

Preuve
On montre par recurrence sur m N que pour tout y V et w ,
m

y w dans G

ssi

y w dans G

Exemples :
1.
2.




x1
x1 b + a
x2
x1 b + ax2

x1
x1 (x1 + x2 ) + (x2 a + b)
x2
x1 x2 + x2 x1 + a
110/149

Probl`
emes d
ecidables

Proposition :
Soit G une grammaire algebrique.

On peut decider si le langage engendre par G est vide, fini ou infini (PTIME).

On peut decider si un mot est engendre par G (PTIME).

111/149

Probl`
emes ind
ecidables
Proposition :
Soient L, L deux langages algebriques et R un langage rationnel.
Les probl`emes suivants sont indecidables :

L L = ?
L = ?
L = L ?
L L ?
RL?

LR?
L est-il rationnel ?
L est-il ambigu ?
L est-il algebrique ?
L L est-il algebrique ?

112/149

Plan
Introduction
Langages reconnaissables
Fonctions s
equentielles
Automates darbres
Grammaires
Langages alg
ebriques
7

Automates `a pile
Definition et exemples
Modes de reconnaissance
Lien avec les langages algebriques
Langages deterministes
113/149

Automates `
a pile
Definition : A = (Q, , Z, T, q0 , z0 , F ) o`u

Q ensemble fini detats

alphabet dentree
Z alphabet de pile

T Q Z ( {}) Q Z ensemble fini de transitions

(q0 , z0 ) Q Z configuration initiale
F Q acceptation par etat final.

Definition : Syst`eme de transitions (infini) associe

T = (Q Z , T , (q0 , z0 )) avec T = {(p, hz)

(q, hu) | (p, z, x, q, u) T }.
Une configuration de A est un etat (p, h) Q Z de T .
w

L(A) = {w | (q0 , z0 )
(q, h) dans T avec q F }.

Exemples :

L1 = {an bn cp | n, p > 0} et L2 = {an bp cp | n, p > 0}

L = L1 L2 (non deterministe)

114/149

Automates `
a pile
Exercices :
1. Montrer que le langage {ww
| w } et son complementaire peuvent etre
acceptes par un automate `a pile.
2. Montrer que le complementaire du langage {ww | w } peut etre accepte
par un automate `a pile.
3. Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile. Montrer quon peut
construire un automate `a pile equivalent A tel que
T Q Z ( {}) Q Z 2 .

4. Soit A un automate `a pile. Montrer quon peut construire un automate `a pile

equivalent A tel que les mouvements de la pile sont uniquement du type push
ou pop.
5. Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile. Pour

(p, x, q) Q Z Q, on note L(p, x, q) = {h Z | (p, x)

(q, h)}
lensemble des mots de pile dans letat q accessibles `a partir de (p, x).
Montrer que les langages L(p, x, q) sont rationnels.
115/149

Acceptation par pile vide

Definition :
Soit A = (Q, , Z, T, q0 , z0 ) un automate `a pile.
Le langage accepte par A par pile vide est
w

Le (A) = {w | (q0 , z0 )
(q, ) dans T }.

Exemple :
L = {an bn | n 0}.

Proposition : equivalence pile vide / etat final

Soit A un automate `a pile acceptant par etat final, on peut construire un

automate `a pile A acceptant par pile vide tel que L(A) = Le (A ).
Soit A un automate `a pile acceptant par pile vide, on peut construire un
automate `a pile A acceptant par etat final tel que Le (A) = L(A ).

Exercice :
Montrer lequivalence avec lacceptation par pile vide ET etat final.
116/149

Acceptation par sommet de pile

Definition :
Soit A = (Q, , Z, T, q0 , z0 , Z ) un automate `a pile avec Z Z.
Le langage accepte par A par sommet de pile est
w

Lz (A) = {w | (q0 , z0 )
(q, hz) dans T avec z Z }.

Exemple :
L = {an bn | n 0}.

Exercice :
Comparer lacceptation par sommet de pile avec les autres modes dacceptation.

117/149

Automates `
a pile et grammaires
Proposition :
Soit A = (Q, , Z, T, q0 , z0 ) un automate `a pile reconnaissant par pile vide. On
peut construire une grammaire G qui engendre L(A).
De plus, si A est temps-reel (pas d-transition) alors G est en FNG.

Proposition :
Soit G = (, V, P, S) une grammaire. On peut construire un automate `a pile simple
(un seul etat) A qui accepte LG (S) par pile vide.
De plus, si G est en FNPG alors on peut construire un tel A temps-reel.

Si G est en FNGQ alors on peut construire un tel A standardise (T Z Z 2 ).

118/149

Calculs daccessibilit
e
Exercice :
Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile. Montrer quon peut effectivement calculer les ensembles suivants :
1. X = {(p, x, q) Q Z Q | (p, x)

(q, )}
2. Y = {(p, x, q, y) Q Z Q Z | (p, x)

(q, hy)}
3. V = {(p, x) Q Z | (p, x)

}
4. W = {(p, x, q, y) Q Z Q Z | (p, x)

(q, y)}

5. X = {(p, x, q) Q Z Q | (p, x)
(q, )}

6. Y = {(p, x, q, y) Q Z Q Z | (p, x)
(q, hy)}

7. V = {(p, x) Q Z | (p, x)
}

8. W = {(p, x, q, y) Q Z Q Z | (p, x)
(q, y)}

119/149

Langages d
eterministes
Definition : Automate `a pile deterministe
A = (Q, , Z, T, q0 , z0 , F ) est deterministe si
(p, z, a) Q Z ( {}),
|T (p, z, a)| 1,

(p, z, a) Q Z , T (p, z, ) 6= = T (p, z, a) =

Un langage L est deterministe sil existe un automate `a pile deterministe qui
accepte L par etat final.

Exemples :
1. {an ban | n 0} peut etre accepte par un automate D+TR mais pas par un
automate D+S car il nest pas ferme par prefixe.
2. Dn peut etre accepte par un automate D+TR mais pas par un automate
D+S.
3. Le langage {an bp can | n, p > 0} {an bp dbp | n, p > 0} est deterministe mais
pas D+TR.
4. Le langage {an bn | n > 0} {an b2n | n > 0} est non ambigu mais pas
deterministe.
120/149

Langages d
eterministes
Exercice :
Montrer que le langage {an ban | n 0} peut etre accepte par pile vide par un
automate D+TR+S.

Proposition :
Un langage L est deterministe et prefixe (L L+ = ) ssi il existe un automate
deterministe qui accepte L par pile vide.

Exercice :
Donner un automate `a pile deterministe qui accepte par pile vide le langage
{an bp can | n, p > 0} {an bp dbp | n, p > 0}.

Exercice :
Montrer que pour les automates `a pile deterministes, lacceptation par pile vide est
equivalente `a lacceptation par pile vide ET etat final.

Exercice :
Montrer que Dn peut etre accepte par sommet de pile par un automate D+TR+S.
121/149

Compl
ementaire

Theor`eme : Les deterministes sont fermes par complementaire.

Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile deterministe, on peut effectivement construire un automate `a pile deterministe A qui reconnat \ L(A).
Il y a deux difficultes principales :
1. Un automate deterministe peut se bloquer (deadlock) ou entrer dans un
-calcul infini (livelock). Dans ce cas il y a des mots qui nadmettent aucun
calcul dans lautomate.
2. Meme avec un automate deterministe, un mot peut avoir plusieurs calculs
(-transitions `a la fin) certains reussis et dautres non.

122/149

Blocage
Definition : Blocage
Un automate `a pile A = (Q, , Z, T, q0 , z0 ) est sans blocage si pour toute configu a
.
ration accessible (p, ) et pour toute lettre a il existe un calcul (p, )

Proposition : Crit`ere dabsence de blocage

Un automate deterministe est sans blocage si et seulement si pour toute configuration accessible (p, ) on a
1. 6= , et donc on peut ecrire = x avec x Z,

2. (p, x)
ou a , (p, x)
,

3. (p, x) 6
.

Exercice : Montrer que ce crit`ere est decidable.

Remarque :
Si A est sans blocage alors chaque mot w a un unique calcul maximal (et fini)

w
(q0 , z0 )
(p, )
6 dans A.

123/149

Blocage
Proposition : Suppression des blocages
Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile deterministe, on peut effectivement construire un automate `a pile deterministe sans blocage A =
(Q , , Z , T , q0 , z0 , F ) qui reconnat le meme langage.

Preuve

Q = Q {q0 , d, f }, F = F {f }, Z = Z {}, z0 = et

(q0 , )
(q0 , z0 ), et (p, )
(d, ) pour p Q et a ,
a

Si pour a on a (p, x)
(q, ) T alors (p, x)
(q, ) T ,
a

Si pour a on a (p, x) 6
et (p, x)
6 dans A alors (p, x)
(d, x) T ,

Si (p, x)
(q, ) T et (p, x) 6
(q, ) T ,
alors (p, x)

Si (p, x)

(f, x) T ,
et (p, x)
(q, ) avec q F alors (p, x)

Si (p, x)

/ F alors (p, x)
(d, x) T .
et (p, x)
(q, ) = q
a

(d, x)
(d, x) et (f, x)
(d, x) pour x Z et a ,

Exercice : Montrer que cette construction est effective.

124/149

Langages d
eterministes
Proposition :
Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile deterministe, on peut effectivement construire un automate `a pile deterministe A qui reconnat \ L(A).

Proposition :
Soit A = (Q, , Z, T, q0 , z0 , F ) un automate `a pile deterministe, on peut effectivement construire un automate `a pile deterministe equivalent A tel quon ne puisse
pas faire d-transition `a partir dun etat final de A .

Proposition :
Tout langage deterministe est non ambigu.

125/149

Langages d
eterministes

Exercice :
Soit A = (Q, , Z, T, q0 , z0 , F, K) un automate `a pile deterministe reconnaissant
par sommet de pile et etat final (une configuration (q, z) est acceptante si (q, z)
K Q Z). Montrer quon peut effectivement construire un automate `a pile
deterministe equivalent reconnaissant par etat final.

Exercice :
Soit A un automate `a pile deterministe. Montrer quon peut effectivement construire un automate `a pile deterministe qui reconnat le meme langage et dont les

-transitions sont uniquement effacantes : (p, x)

(q, ).

126/149

Langages d
eterministes
Proposition : Decidabilite et indecidabilite
On ne peut pas decider si un langage algebrique est deterministe.
Soient L, L deux langages deterministes et R un langage rationnel.
Les probl`emes suivants sont decidables :

L=R?
RL?

L est-il rationnel ?
L = L ?

Les probl`emes suivants sont indecidables :

L L = ?
L L ?

L L est-il algebrique ?
L L est-il deterministe ?
L L est-il deterministe ?
127/149

Plan
Introduction
Langages reconnaissables
Fonctions s
equentielles
Automates darbres
Grammaires
Langages alg
ebriques
Automates `
a pile
8

Analyse syntaxique
Analyse descendante (LL)
Analyse ascendante (LR)
128/149

Bibliographie

[14] Alfred V. Aho, Ravi Sethi et Jeffrey D. Ullman.

Compilers: principles, techniques and tools.
Addison-Wesley, 1986.
[15] Alfred V. Aho et Jeffrey D. Ullman.
The theory of parsing, translation, and compiling. Volume I: Parsing.
Prentice-Hall, 1972.
[16] John E. Hopcroft et Jeffrey D. Ullman.
Introduction to automata theory, languages and computation.
Addison-Wesley, 1979.

129/149

Application `
a lanalyse syntaxique
Buts :

Savoir si un programme est syntaxiquement correct.

Construire larbre de derivation pour piloter la generation du code.

Formalisation :

Un programme est un mot w ( est lalphabet ASCII).

Lensemble des programmes syntaxiquement corrects forme un langage
L .
Ce langage est algebrique : la syntaxe du langage de programmation est
definie par une grammaire G = (, V, P, S).
Pour tester si un programme w est syntaxiquement correct, il faut resoudre le
probl`eme du mot : est-ce que w LG (S) ?
Larbre de derivation est donne par la suite des r`egles utilisees lors dune
derivation gauche (ou droite).

130/149

Application `
a lanalyse syntaxique
Resultats :
On sait decider si w LG (S)
en testant toutes les d
erivations de longueur au plus 2|w| si la grammaire est
propre.
en lisant le mot si on a un automate `
a pile deterministe complet.
Ceci se fait en temps lineaire par rapport `a |w| si lautomate est temps reel ou si les
-transitions ne font que depiler.

Probl`emes :

Efficacite de lalgorithme.
La grammaire qui definit la syntaxe du langage de programmation peut etre
non deterministe ou ambigue.

131/149

Analyse descendante (LL)

Definition :
Soit G = (, V, P, S) une grammaire.
On construit lautomate `a pile simple non deterministe qui accepte par pile vide :
A = (, V, T, S) o`u les transitions de T sont des

expansions : {(x, ,
) | (x, ) P } ou
verifications : {(a, a, ) | a }.

Exemple :
1. G1 : S
aSb + ab.

E
T
2. G2 :

Definition :
Analyse LL :

E+T |T
T F |F
(E) | a | b | c

L : le mot est lu de gauche `a droite.

L : on construit une derivation gauche.
132/149

Analyse descendante (LL)

Probl`eme :
Lautomate ainsi obtenu est en general non deterministe.

Solutions :
+

Si la grammaire nest pas recursive `a gauche (x

6 x), on peut construire

un analyseur recursif avec backtracking. Mais lanalyseur obtenu nest pas
efficace.
Pour lever le non determinisme de lautomate on sautorise `a regarder les k
prochaines lettres du mot.

Exemple :
1. On peut lever le non determinisme de lautomate associe `a la grammaire G1
en regardant les 2 prochaines lettres.
2. On ne peut pas lever le non determinisme de lautomate associe `a la
grammaire G2 en regardant les k prochaines lettres.

133/149

Analyse descendante Firstk

Definition : Trunc et First

(
w
Pour w et k 0, on definit Trunck (w) =
w[k]

si |w| k
sinon.

Soit G = (, V, P, S) une grammaire algebrique, ( V ) et k 0,

Firstk () = Trunck (LG ())

Remarque :
Firstk () = Trunck (Firstk () Firstk ())

Exemple :
Calculer First2 (E) pour la grammaire G2 .

134/149

Calcul de Firstk
Definition : Algorithme de calcul pour Firstk
On suppose k > 0 et toutes les variables de la grammaire G productives.
Pour m 0 et ( V ) , on definit Xm () par :
si a alors X
m (a) = {a},
[
si x V alors X (x) = et X
Xm ()
0
m+1 (x) =
xP

si = 1 n avec i V alors
Xm () = Trunck (Xm (1 ) Xm (n )).
Remarque: on obtient en particulier Xm () = {} pour m 0.

Proposition : Point fixe

1. Xm () Xm+1 ()
2. Xm () Firstk ()
m

3. Si w alors w[k] Xm ().

S
4. Firstk () = m0 Xm ()

Ceci fournit donc un algorithme pour calculer Firstk ().

135/149

Analyse descendante LL(k)

Definition : LL(k)

Une grammaire G = (, V, P, S) est LL(k) si pour toute derivation S

x avec
x V et pour toutes r`egles x
et x
avec 6= , on a
Firstk () Firstk () = .
Remarque : on peut se restreindre aux derivations gauches avec .

Exemple :
1. La grammaire G1 est LL(2) mais pas LL(1).
2. La grammaire G2 nest pas LL(k).

Exercice :

Montrer que si lautomate expansion/verification associe `a une grammaire est

deterministe, alors la grammaire est LL(0).
Montrer que si G est en FNPG et que pour toutes r`egles x
a et x
b
avec a, b on a a 6= b ou = , alors G est LL(1).
Montrer que la reciproque est fausse.

136/149

Analyse descendante LL(k)

Remarques :

Etant
donne une grammaire G et un entier k, on peut decider si G est LL(k).

Etant donne une grammaire G, on ne peut pas decider sil existe un entier k
tel que G soit LL(k).

Etant
donne une grammaire G, on ne peut pas decider sil existe une
grammaire equivalente qui soit LL(1).

Exemple :
On peut transformer la grammaire G2 en une grammaire LL(1) equivalente.
Il suffit de supprimer la recursivite gauche.

T E
E
+T E |
E

T
FT
T
F T |
G2 =

F
(E) | a | b | c
137/149

Follow

Definition : Follow
Soit G = (, V, P, S) une grammaire algebrique, x V et k 0,

Followk (x) = {w | S
x avec w Firstk ()}
Remarque : on peut se restreindre aux derivations gauches avec .

Exemple :
Calculer Follow1 (x) pour chaque variable x de la grammaire G2 .

138/149

Calcul de Followk
Definition : Algorithme de calcul pour Followk
On suppose toutes les variables de la grammaire G accessibles.
Pour m 0 et x V , on definit Ym (x) par :

Y0 (S) = {} et Y0 (x) = si x 6= S
[
Ym+1 (x) = Ym (x)
Trunck (Firstk ()Ym (y))
yxP

Proposition : Point fixe

1. Ym (x) Ym+1 (x)

2. Ym (x) Followk (x)

m

3. Si S x alors Firstk () Ym (x).

S
4. Followk (x) = m0 Ym (x)

Ceci fournit donc un algorithme pour calculer Followk ().

139/149

Fortement LL
Definition : Fortement LL(k)
Une grammaire G = (, V, P, S) est fortement LL(k) si pour toutes r`egles x

et x
avec 6= , on a
Firstk (Followk (x)) Firstk (Followk (x)) =
ou encore
Trunck (Firstk ()Followk (x)) Trunck (Firstk ()Followk (x)) = .

Exemple :
1. La grammaire G1 est fortement LL(2).
2. La grammaire G2 est fortement LL(1).

140/149

Fortement LL
Proposition :
Si une grammaire G est fortement LL(k) alors elle est LL(k).

Exemple :
La grammaire
G3 =

S
x

axaa | bxba
b|

est LL(2) mais pas fortement LL(2).

Proposition :
Une grammaire est LL(1) si et seulement si elle est fortement LL(1).

141/149

Table danalyse LL

Definition : Table danalyse LL(k)

Soit G une grammaire fortement LL(k).
On definit M (x, v) pour x V et v k par
x

si x et v x ,
x

M (x, v) = x

si x V et v Firstk (Followk (x)),

erreur sinon.

Exemple :

Construire la table danalyse LL(1) de la grammaire G2 .

142/149

Analyseur LL
Definition : Analyseur LL(k)
Soit G une grammaire fortement LL(k).
Lanalyseur LL(k) de G est lautomate `a pile simple deterministe qui accepte par
pile vide, qui regarde k lettres `a lavance (lookahead) et dont les transitions sont
donnees par la table danalyse de G.

Proposition : Correction
Soit G une grammaire fortement LL(k).
Lanalyseur LL(k) de G accepte exactement LG (S).

Exercice :
Transformer lanalyseur LL(k) de G en un automate `a pile deterministe classique
(sans lookahead).

143/149