| Under Graduate Degree | Year module | NQF level: 7 | Credits: 12 |
| Module presented in English | |||
| Pre-requisite: COS2601 | |||
| Purpose: To enable students to understand the concept of computability. In the process they are introduced to context-free languages, recursively enumerable languages and the machines that accept them. It includes details of the Chomsky hierarchy, pushdown automata and Turing machines. | |||