决定正则树语言的自顶向下确定性
摘要：关于确定性自顶向下树自动机（DTA）能否识别正则树语言的问题的计算复杂性尚未被研究。但我们表明，对于给定的确定性自底向上树自动机（DBTA），可以在二次时间内判断是否可以用DTA识别其语言。鉴于存在着无法被DTA识别的有限树语言，我们还考虑了DTA的有限并集，并且也证明了在二次时间内可以确定是否可以用确定性自底向上树自动机定义。
作者：Peter Leupold and Sebastian Maneth
论文ID：2107.03174
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-07-08