摘要：给定一个具有单子输出的局部功能属性树转换器，我们证明了是否存在一个等价的自顶向下转换器（带有或不带有前瞻）是可决定的。我们提出了一种过程，如果存在等价的自顶向下转换器（带有或不带有前瞻），则构建该转换器。
作者：Sebastian Maneth and Martin Vu
论文ID：2306.04326
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-27
PDF 下载： 英文版 中文版pdf翻译中