Theory of Computation Simplified