TY - BOOK AU - McNaughton,Robert TI - Elementary computability, formal languages, and automata SN - 0132535009 PY - 1982/// CY - Englewood Cliffs, N. J. PB - Prentice-Hall KW - Computable functions KW - Formal languages KW - Sequential machine theory ER -