L'unité d'enseignement i5
« Théorie des langages »

Approfondir la notion d'automates. Comprendre le non-déterminisme. Appréhender les bases théoriques de l'informatique. Apprendre à distinguer syntaxe et sémantique.

• Langages formels, langages réguliers.
• Expressions régulières, automates d'états finis.
• Équivalence entre ces notions, minimisation, déterminisation.
• Automates à pile, machines de Turing.