TY - BOOK AU - Parkes, Alan TI - An introduction to computable languages and abstract machines SN - 9781850321811 CY - London KW - Automata theory KW - Computability KW - Formal language KW - Theory - Computation N1 - Includes bibliographical references, glossary and index ER -