Notes from the book 'Elements of the Theory of Computation' by Harry R. Lewis and Christos H. Papadimitriou.
I sometimes use notation which is different from that in the book.
These notes mainly contain definitions and theorems (without proofs).