At this point this site contains the lecture notes only which can be found here

Description

Standard theory of computation course: automata, regular expressions and languages, context-free languages (Grammars, PDA), Turing machines, computability, and complexity.