Elementary computability, formal languages, and automata - McNaughton, Robert (Englewood Cliffs, N. J. Prentice-Hall, 1982)
Keywords: Computable functions; Formal languages; Sequential machine theory