Theory of Computation
Automata, formal languages, computability and complexity.
CMPUT-474 Year 4 3 credits 5 lessons planned
Offered by HSM University · Computing Science
Course content
- 1Finite automataComing
- 2Context-free languagesComing
- 3Turing machinesComing
- 4UndecidabilityComing
- 5Complexity classesComing
Requirements
Recommended background. You can start any course at any time.
Description
Automata, formal languages, computability and complexity.
Part of the Science stream, typically taken in year 4.