On the complexity of undecidable problems in automata theory | IEEE Conference Publication | IEEE Xplore