CP414
Foundations of Computing
Spring 2026, section E
Topics
- Automata
- regular expressions and regular languages
- context-free grammars
- pushdown automata
- Turing machines.
Readings
- Introduction to the Theory of Computation — Michael Sipser; 3rd edition.
- Introduction to Languages and the Theory of Computation — John C. Martin; 4th edition.
Sources
- Course catalogue ↗2026–2027
- Public syllabus copy ↗Spring 2026, section E
- Both books are recommended; publicly readable syllabus preview.