Descriptive set theoretic methods in automata theory : decidability and topological complexity (2016)