Books written by Robert W. Floyd.
Floyd was awarded the Turing Award in 1978 for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.
The Language of Machines: An Introduction to Computability and Formal Languages
An authoritative text for courses in theory of computability and languages. The authors redefine the building blocks of automata theory by offering a single unified model encompassing all traditional types of computing machines and "real world" electronic computers.