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

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

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience