IFT2105-A-A21 - 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é.