Register to study through Unisa

Theoretical Computer Science II - COS2601

Under Graduate Degree Semester module NQF level: 6 Credits: 12
Module presented in English
Pre-requisite: COS1501 (or XOS1501) or MAT2612
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.