摘要：证明自上而下树转换器组合的功能是可判定的，通过将问题缩减为具有前瞻功能的一个自上而下树转换器的功能。
作者：Sebastian Maneth, Helmut Seidl, and Martin Vu
论文ID：2209.01044
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-05
PDF 下载： 英文版 中文版pdf翻译中