Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

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

• Granularité : cours
• Structure : linéaire

"Domaine(s)" et indice(s) Dewey

• Logique mathématique (symbolique), langages formels, théorie des automates, machine de Turing, réseaux de Pétri, décidabilité, ? (511.3)
• Programmation et programmes de systèmes (005.4)

Thème(s)