Introduction to formal languages
György E. Révész · CERN Document Server (European Organization for Nuclear Research) · 1983
Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition.