A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating

An up-to-date, authoritative text for courses in theory of computability and languages. The authors redefine the building blocks of automata theory by offering

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.