检查多项式时间内一个正则树语言是否为确定性自顶向下。
摘要：关于确定给定的自底向上树自动机是否存在识别相同树语言的确定性自顶向下树自动机，这已经是众所周知的。最近有人声称可以在多项式时间内进行这样的决策（Leupold和Maneth，FCT'2021）;但是他们的过程和相应的属性是错误的。在这里，我们纠正了这个错误，并提出了一个正确的属性，允许在多项式时间内确定给定的树语言是否可以被确定性自顶向下树自动机识别。此外，我们的新属性适用于任意确定性自底向上树自动机，而不仅适用于最小的这种自动机（如以前）。
作者：Sebastian Maneth, Helmut Seidl
论文ID：2306.00573
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-02