Volumes horaires
- CM 6.0
- TD 6.0
Crédits ECTS
Crédits ECTS 0.0
Objectif(s)
Etude des formalismes utilisés pour la définition de la syntaxe des langages informatiques.
Contact Karine ALTISEN
Contenu(s)
I Introduction à la théorie des langages
II Langages réguliers : Expressions régulières, Grammaires linéaires droites, Automates finis
III Langages hors-contextes : Grammaires hors-contexte
IV Classification des grammaires de Chomsky
Prérequis
Néant.
Contrôle des connaissances
Pas d'évaluation
Informations complémentaires
Cursus ingénieur->MMIS->Stage de rentrée
Cursus ingénieur->ISI->Stage de rentrée
Cursus ingénieur->TELECOM->Stage de rentrée
Cursus ingénieur->SLE->Stage de rentrée
Cursus ingénieur->IF->Stage de rentrée
Bibliographie
P. Berlioux, M. Lévy : Théorie des langages, polycopié Ensimag
J.E. Hopcroft, R. Motwani, J.D. Ullman : Introduction to Automata Theory, Languages, and Computation, 3/E, Addison-Wesley, 2006