Theory of finite automata : with an introduction to formall languages - Carroll, John; Lang, Darrell (London : Prentice Hall, 1989)
Includes index.
Keywords: Formal languages; Logic, Symbolic and mathematical; Sequential machine theory; Structured programming