The theory of computation - Moret, B. M. E. (New Delhi Pearson Education, 1998)
Keywords: Machine theory -- Finite automata -- Computation models -- Theory in practice -- Computability theory -- FC