×
莫里斯·尼瓦特;安德烈亚斯·波德尔斯基

常见子表达式问题的另一种变体。 （英语） Zbl 0787.68071号

离散数学。 114，编号1-3，379-401（1993）.
提出并分析了两个确定性有限升树自动机等价性的判定算法。该算法利用“点树”的特殊测试集，在两个自动机状态集的不相交并上构造Nerode等价。对于具有固定字母表的二叉树，算法显示为按时间执行（{mathcal O}（n^2）），其中\（n\）是状态的总数。由于这也是输入大小的顺序，因此可以推断出等价问题的复杂性在输入字母表中是线性的，在状态数中是（{mathcal O}（n^2））。对于具有最大秩\（k\）的一般排序字母表，复杂性显示为\（{\mathcal O}（n^k）\）。还分析了具有稀疏转换表的不完全自动机的情况。最后，考虑了该问题的并行复杂性，并证明了该问题是（P）的logspace-complete。在引言中，作者指出，当前的问题与其他一些问题密切相关，例如常见的子表达式问题。
审核人：M.Steinby（图尔库）

MSC公司：

65年第68季度 形式语言和自动机
68宽10 计算机科学中的并行算法
65年第68季度 算法和问题复杂性分析
68兰特 单词组合学

关键词：

树自动机;Nerode等效;并行复杂性;公共子表达式问题
PDF格式BibTeX公司 XML格式引用
\textit{M.Nivat}和\textit{A.Podelski}，离散数学。114，编号1--3379--401（1993；Zbl 0787.68071）
全文： 内政部

参考文献：

[1] 阿霍，V.A。；霍普克罗夫特，J.E。；Ullman，J.D.，《计算机算法的设计与分析》（1974），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0326.68005号
[2] Aít-Kaci，H.，有效解决类型方程的代数语义方法，理论。计算。科学。，45, 293-351 (1986) ·Zbl 0628.68010号
[3] Brainerd，W.S.，《树自动机的最小化，信息与控制》，第13期，第484-491页（1968年）·Zbl 0181.01602号
[4] Cosmodakis，S.S。；Gaifman，H。；Kanellakis，P.C。；Vardi，M.Y.，数据库逻辑程序的可判定优化问题，Proc。第20届ACM STOC，477-490（1988）
[5] Courcelle，B.，《关于可识别集和树自动机》，（代数结构中方程的解析，第1卷（1989），学术出版社：伦敦学术出版社），93-126
[6] P.J.唐尼。；Sethi，R。；Tarjan，R.E.，公共子表达式问题的变体，J.Assoc.Compute。机器。，25, 758-771 (1980) ·Zbl 0458.68026号
[7] 德沃克，C。；Kanellakis，P.C。；Mitchel，J.，《论统一的顺序性》，《逻辑编程》，135-50（1984）·Zbl 0588.68045号
[8] 艾默生，E.A。；Jutla，C.S.，《树自动机的复杂性和程序逻辑》，Proc。第29届IEEE FOCS（1988），即将发布
[9] Gecsec，F。；Steinby，M.，《树自动机》（1984年），Akademiai Kiado：Akademiai Kiado布达佩斯·Zbl 0537.68056号
[10] Giegerich，R。；Schmal，K.，《代码选择技术：模式匹配、树解析和导数反转》（Proc.ESOP’88）。程序。ESOP’88，《计算机科学讲义》，第300卷（1988年），施普林格出版社：施普林格-海德堡出版社，245-268
[11] 霍普克罗夫特，J.E。；Karp，R.M.，《测试有限自动机等价性的算法》，（技术报告71-114（1971），Comp。科学。康奈尔大学系：Comp。科学。纽约州伊萨卡康奈尔大学系）
[12] Huet，G.，Résolution d’equations dans des Languages d'Ordre 1,2，…，ω，（巴黎第七大学：巴黎第七大）
[13] P.C.Kanellakis，私人通信，1987年11月。；P.C.Kanellakis，私人通信，1987年11月。
[14] Kanellakis，P.C。；《关于同余闭包与统一的关系》，《符号计算杂志》。，7, 427-444 (1989) ·Zbl 0678.68041号
[15] Kozen，D.，有限表示代数的复杂性，Proc。第九届ACM STOC，164-177（1977）
[16] Ladner，R.，P.SIGACT News的电路值问题是对数空间完备的，7，1，18-20（1975）
[17] Nelson，G。；Oppen，D.C.，基于同余闭包的快速决策程序，JACM，27，356-364（1980）·Zbl 0441.68111号
[18] 尼瓦特，M。；Podelski，A.，树幺半群和可识别树集，Prel。程序。代数结构方程解析会议（1987）
[19] Pelegri-Lopart，A.E.，重写系统、模式匹配和代码生成（博士论文（1988），Comp。科学。加州大学分部：Comp。科学。加州大学伯克利分校分部）
[20] Seidl，H.，有限树自动机的判定等价性，SIAM J.Comp。，19, 424-437 (1990) ·Zbl 0699.68075号
[21] Tarjan，R.E.，《良好但非线性集UNION算法的效率》，J.Assoc.Compute。机器。，22, 215-225 (1975) ·Zbl 0307.68029号
[22] 撒切尔，J.W。；Wright，J.B.，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学。系统理论，257-82（1968）·Zbl 0157.02201号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。