| Under Graduate Degree | Year module | NQF level: 6 | Credits: 12 |
| Module presented in English | |||
| Pre-requisite: COS1501 | |||
| 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. | |||