Automata Theory - Time and Space Complexity