IFT2105-A-A23 - Introduction à l'informatique théorique

Automates finis et expressions régulières. Grammaires hors-contexte et automates à piles. Calculabilité et décidabilité. Classes de complexité.