Parkes, Alan P. , Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes. - xi, 351 pagesill. ; 24 cm. ISBN: 1852334649 Subjects--Topical Terms: Formal languages.Machine theory. LC Class. No.: QA267.3 / .P37 2002