Theory of Computation: A Problem-Solving Approach