Overview
Computer Science (Sci) : Finite automata, regular languages, context-free languages, push-down automata, models of computation, computability theory, undecidability, reduction techniques.
Terms: Fall 2024, Winter 2025
Instructors: Waldispuhl, Jérôme (Fall) Bérubé-Vallières, Mathieu (Winter)
3 hours
Prerequisite: COMP 251.