Languages and machines an introduction to the theory of computer science - Sudkamp, Thomas A. (Delhi Pearson Education, 2006)
Keywords: Computational complexity; Machine theory; Formal languages