Vue d'ensemble
Informatique (Sci) : Finite automata, regular languages, context-free languages, push-down automata, models of computation, computability theory, undecidability, reduction techniques.
Trimestres : Automne 2015
Chargés de cours : Panangaden, Prakash (Fall)