Deciding origin equivalence of weakly self-nesting macro tree transducers

Information Processing Letters(2023)

引用 0|浏览9
暂无评分
摘要
•Deciding Origin Equivalence of Weakly Self-Nesting Macro Tree Transducers Sebastian Maneth, Helmut Seidl.•For unrestricted deterministic Macro Tree Transducers with unary input symbols origin equivalence is shown to be as difficult as equivalence.•For a natural subclass of deterministic MTTs on the other hand, we show that origin injectivity as well as origin equivalence is decidable.•This is one of the first natural subclasses of MTTs for which such decidability results have been obtained.
更多
查看译文
关键词
Formal languages,Macro tree transducers,Origin equivalence,Decidability
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要