Automata, computability and complexity theory and applications - Rich, Elaine (New Delhi Pearson Education, 2015)
Includes index.
Keywords: Machine theory -- Computable functions -- Electronic data processing -- Computational complexity -- Finite machine -- Turing machine -- Semidecidable language -- Computable function -- Logical formulas -- Programming tools -- Algorithms -- Networks -- FEAS -- FC