Introduction to the Theory of Computation covering computation models (finite automata, pushdown automata, Turing machines), reasoning about solvability, and the hierarchy of problem hardness.
Introduction to the Theory of Computation covering computation models (finite automata, pushdown automata, Turing machines), reasoning about solvability, and the hierarchy of problem hardness.
