TY - BOOK AU - McNaughton Robert TI - Elementary computability formal languages and automata SN - 9780132535009 U1 - 511 PY - 1982/// PB - Prentice Hall ER -