Théorie des langages

Demaille Akim, Yvon François

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é.

Description

Université productrice

École pour l'informatique et les techniques avancées

Discipline

Mathématiques - Mathématiques inductives déductives, Informatique - Informatique théorique

Mots clés

compilation, langage de programmation, langage formel, calculabilité, théorie des langages, automate fini, grammaire syntagmatique, analyseur

Langues

Français

Droits attachés à la ressource

Tous droits réservés

Logo droits-reserves-editeurs.png

Indication pédagogique

Niveaux

Licence

Type(s) pédagogique(s)

Cours / Présentation, Exercice

Type(s) documentaire(s)

Texte