'Languages and Machines' covers key concepts and theorems of the theory of computation. The third edition provides a mathematically sound presentation augmented... » 

'Languages and Machines' covers key concepts and theorems of the theory of computation. The third edition provides a mathematically sound presentation augmented with the theory of computer science. It incorporates step-by-step, unhurried proofs, worked-out examples and illustrations providing students the needed aid in understanding concepts. «