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.
Consulter la description officielle du cours sur ulaval.caFaculté : 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
Baccalauréat en informatique (B. Sc. A.) (cours obligatoire)
Distance
IFT-2002-Z3
NRC 85762
Enseignant(e)s: Pascal Tesson