Introduction to Formal Languages, Paperback

This carefully written introductory treatment covers all areas of mainstream formal language theory, including operations on languages, context-sensitive languages, automata, decidability, and syntax analysis, as well as the first complete discussion of derivation languages. It features numerous worked examples, problem exercises, and elegant mathematical proofs for almost all theorems. 1983 edition.

Gyorgy Revesz is Professor Emeritus in the Department of Computer Science at the University of North Carolina at Charlotte.