确定非排序树自动机的操作状态复杂性
摘要：确定确定性非排名树自动机识别的树语言的基本操作的状态复杂性。对于并集和交集操作，得到了弱确定性树自动机和强确定性树自动机的上界和下界。对于树的连接操作，我们建立了一个紧的上界，该上界与已知的正则字符串语言连接的状态复杂度的顺序不同。我们证明了 (n+1) ( (m+1)2^n-2^(n-1) )-1 个垂直状态是足够的，并且在最坏的情况下是必要的，用于识别由分别具有 m 和 n 个垂直状态的 (强或弱) 确定性自动机识别的树语言的连接。
作者：Xiaoxue Piao, Kai Salomaa
论文ID：1008.1657
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-08-11