摘要：给定具有前瞻的确定性自上而下转换器，我们证明了是否可以通过线性自上而下树转换器或树同态性定义其翻译是可判定的（1）。如果存在这种等价的转换器，我们提出了构造算法来实现它们（2）。
作者：Sebastian Maneth, Helmut Seidl, Martin Vu
论文ID：2105.14860
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-06-01
PDF 下载： 英文版 中文版pdf翻译中