Courses
COMP4067 Theory of Computation (3 units)
- Prerequisite:
- MATH1205 Discrete Mathematics
This course aims to introduce some fundamental concepts in theoretical computer science. The topics include non-deterministic and deterministic finite automata, regular languages, context-free languages, pushdown automata, Church’s hypothesis, Turing machines, computability, and complexity theory.