Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /
Parkes, Alan.
London : Springer,
c2002.
Includes index.
Formal languages.
Machine theory.