CSC448H1: Formal Languages and Automata

Hours: 
24L/12T

Regular, deterministic, context free, context sensitive, and recursively enumerable languages via generative grammars and corresponding automata (finite state machines, push down machines, and Turing machines). Topics include complexity bounds for recognition, language decision problems and operations on languages. Ordinarily offered in years alternating with CSC438H1.

Prerequisite: 
Exclusion: 

NOTE: Students who are not enrolled in the Major or Specialist program at the UTSG, UTM or UTSC campuses may take a maximum of three 300-/400-level CSC/ECE half-courses.

Recommended Preparation: 
Distribution Requirements: 
Science
Breadth Requirements: 
The Physical and Mathematical Universes (5)