Automata, Computability and Complexity