Introduction to languages and the theory of computation /
Martin, John C.
New York ; London : McGraw-Hill,
c1991.
Includes bibliographical references (p. 453-455) and index.
Sequential machine theory.
Computable functions.