Title: Logic, Automata, and Computational Complexity