CIT342: Formal Languages and Automata Theory is a two (2) credit unit course of 16 units. The course covers the important formal languages in the Chomsky hierarchy (the regular sets, the context-free languages, and the recursively enumerable sets) as well as the formalisms that generate these languages and the machines that recognise them. The course will also introduce the basic concepts of computability and complexity theory by focusing on the question ‘what are the fundamental capabilities and limitations of computers?’