Title: Introduction to the Theory of Computation. Michael Sipser
Subjects: Machine theory