Théorie des langages

Ce cours vise à définir de façon rigoureuse ce que sont les langages,à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage,ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : compilateurs,interpréteurs,outils à format de donnée structuré.

Disciplines : Logique mathématique (symbolique), langages formels, théorie des automates, machine de Turing, réseaux de Pétri, décidabilité, ?,Programmation et programmes de systèmes
Mots-clés : théorie des langages,langage formel,compilation,langage de programmation,automate fini,grammaire syntagmatique,analyseur,calculabilité
Type de document : texte,image
Type de ressource : lecture,exercise
Niveau : higher education,licence
Publics visés : learner,teacher
Auteurs ou éditeurs : François Yvon,Akim Demaille,Épita