IFT-2002 Informatique théorique
Description
Introduction à la théorie des machines abstraites et des langages formels. Classification des machines abstraites : automates finis, automates à pile, machine de Turing. Classification des langages : réguliers, non contextuels, récursifs, récursivement énumérables, non récursivement énumérables. Grammaires : syntaxe, classification de Chomsky, rapports avec les machines abstraites et les langages. Théorie des séquences. Ensembles finis, infinis, dénombrables et non dénombrables.
Responsables
Faculté : Sciences et génie
Courriel : fsg@fsg.ulaval.ca
Département : Département d'informatique et de génie logiciel
Courriel : info@ift.ulaval.ca
Cette activité est contributoire dans
Baccalauréat en informatique (B. Sc. A.) (cours obligatoire)
3
Crédits