This book on Theory of Automata introduces the theoretical basis of computational models, starting with formal languages & finite automata and moving to Turing machines and shows how they correspond to the various models of computation and to generate mechanisms such as regular expressions and g…
