IFT311 - Informatique théorique
Présentation
Sommaire
- Cycle
- 1er cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des sciences
Cible(s) de formation
S'initier aux fondements théoriques de l'informatique, en particulier la théorie des automates, aux modèles formels des langages de programmation.
Contenu
Automates finis déterministes et non déterministes. Propriétés des automates finis. Langages réguliers et expressions régulières. Grammaire hors contexte et automates à pile de mémoire. Propriétés des langages hors contexte. Introduction aux machines de Turing.