Automata Theory is, perhaps, the fundamental course in computing. The is because the subject-matter of Automata Theory is the most influential topic in every aspects of computing. The concepts and principles underpinning all the sub-fields of computing science and engineering have their roots in Automata Theory (AT). Indeed many everyday devices that carry out some forms of computation are first conceptualised and formally expressed as Automata. For example, the development (i.e. specification, formulation, design, modelling, implementation and simulation) of a number of important computing devices will be impossible without the use of concepts and principles from Automata Theory.