Automata, Computability and Complexity : Theory and Applications - Rich, Elaine (New Delhi Pearson Prentice Hall, 2008)
Finite state machines and regular languages -- Context-free languages and pushdown automata -- Turing machines and undecidability -- Complexity.
Includes bibliographical references and index.
Keywords: Machine theory; Computable functions; Computational complexity; Electronic data processing