Automata, Computability and Complexity: Theory & Applications