Automata, Computability and Complexity: Theory and Applications