Foundations of Computation

Module code: CO1108

In this module, we explore the idea of foundations and theory in Computer Science. We discuss and classify grammars and formal languages to solve simple problems. We look at various models of computation such as register machines and Turing machines – one of the most important models in the study of Computer Science. What is Turing complete? What impact did the Turing machine have on modern day computer execution and storage? We will also look at simple automata and learn how to construct simple models to solve problems.