A concise introduction to languages and machines - Parkes, Alan P.; SpringerLink (Online service) (London : Springer-Verlag London, 2008)
Keywords: Formal languages; Machine theory; Computational Mathematics and Numerical Analysis; Theory of Computation; Computation by Abstract Devices; Computer Science; Mathematical Logic and Formal Languages