Theory of Computation COMP3630
Learning outcomes
More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/comp3630
At successful completion of the course, students should:
- Have a good knowledge of formal computation and its relationship to languages.
- Be able to classify languages into their types.
- Be able to understand formal reasoning about languages.
- Understand the basic concepts of complexity theory.
