Automata Computability And Complexity Theory And Applications