Langages Formels - Université Jean Monnet

Langages Formels
Jean-Philippe Peyrache
Université Jean Monnet - Faculté des Sciences et Techniques
Licence Informatique - Semestre 6
J.P. Peyrache (UJM - FST) Langages Formels Licence Info - S6 1 / 45

Plan du cours
1Généralités
2Grammaires algébriques
3Formes normales
4Propriétés de clôture et lemme d’Ogden
J.P. Peyrache (UJM - FST) Langages Formels Licence Info - S6 2 / 45

Généralités
Généralités
J.P. Peyrache (UJM - FST) Langages Formels Licence Info - S6 3 / 45

Généralités
Définitions et notations
Alphabet A ou Σ: ensemble fini de lettres/symboles →Σ1= {0,1},
Σ2= {a,b,c,d}
J.P. Peyrache (UJM - FST) Langages Formels Licence Info - S6 4 / 45

Généralités
Définitions et notations
Alphabet A ou Σ: ensemble fini de lettres/symboles →Σ1= {0,1},
Σ2= {a,b,c,d}
Mot de Σ: suite finie d’éléments de Σ→1000101 sur Σ1, abbddca
sur Σ2
J.P. Peyrache (UJM - FST) Langages Formels Licence Info - S6 4 / 45