COS2601 - Theoretical Computer Science Ii
Duration: Semester module
NQF Level - 6
Credits - 12
Purpose: This module together with COS3701 will acquaint students with the capabilities and limitations of computers from a theoretical viewpoint. Module COS2601 covers formal languages, recursive definitions, regular expressions, finite automata, Moore and Mealy machines, transition graphs, the pumping lemma and decision problems.