Theory of computation - Dexter C.