Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity