Also offered by the Stanford School of Humanities and Sciences this self-paced course consists of a non-math-heavy class, wherein methods are described without heavy reliance on formulas and ...

Kozen. Automata Theory, Languages, and Computation , Hopcroft, Motwani, and Ullman (3rd edition). Elements of the theory of computation, Lewis and Papadimitriou (2nd edition). Online notes and ...