Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numer

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

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o

This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining th