Theory of computation notes.