Sebastian Maneth, Martin Vu. Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. In Benedek Nagy, editor, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings. Volume 14151 of Lecture Notes in Computer Science, pages 230-241, Springer, 2023. [doi]
Abstract is missing.