×
尤内斯·圭卢玛;哈达·切尔隆;杰卢尔·齐亚迪;布鲁斯·沃森。

从树自动机到字符串自动机最小化。 （英语） Zbl 1400.68103号

理论计算。系统。 62，第5期，1203-1222（2018）.
作者将任何给定的确定性有限自下而上树自动机（DFTA）与一个可用于最小化树自动机的确定性有限字符串自动机（DFSA）联系起来。通过这种简化，现有的针对字符串自动机的高效最小化算法适用于树自动机。因此，使用DFA的标准最小化方法，DFTA可以在时间上最小化（mathcal{O}（rm+m\log n），其中\（r）是排名字母表中的最大秩，\（m）是DFTA的大小，\（n）是其状态数。减少还产生了减少非循环DFTA以及增量最小化和增量构建DFTA的有效方法。
审核人：马格努斯·斯坦比（图尔库）

MSC公司：

65年第68季度 形式语言和自动机
68周05 非数值算法

关键词：

树自动机;可识别树语言;最小化算法;有限自动机

软件：

打开Fst;金融服务管理局
PDF格式BibTeX公司 XML格式引用
\textit{Y.Guellouma}等人，理论计算。系统。62，第5号，1203-1222（2018；Zbl 1400.68103）
全文： 内政部

参考文献：

[1] Zilio，S.、Lugiez，D.：XML模式、树逻辑和滑轮自动机。收录于：《重写技术与应用》（R.Nieuwenhuis编辑），《计算机科学讲稿》第2706卷，施普林格-柏林-海德堡（2003）·Zbl 1038.68039号
[2] Chidlovskii，B.：使用常规树自动机作为XML模式。收录：2000年IEEE数字图书馆进展会议论文集，第89-98页（1999）
[3] 托马西（Tommasi，M.）：《自动树状结构和附加信息》，第3页。里尔戴高乐大学博士论文（2006）
[4] Brainerd，WS，树自动机的最小化，Inf.Control。，13, 484-491, (1968) ·Zbl 0181.01602号 ·doi:10.1016/S0019-9958（68）90917-0
[5] 马萨诸塞州阿比布；给出了代数自动机I：并行编程作为范畴方法的序言，Inf.Control。，12, 331-345, (1968) ·Zbl 0164.32201号 ·doi:10.1016/S0019-9958（68）90374-4
[6] Moore，E.F.：Gedanken序贯机器实验。摘自：《自动化研究》，第129-153页，普林斯顿大学（1956）
[7] Hopcroft，J.E.，Ullman，J.D.：自动机理论、语言和计算导论。Addison-Wesley，波士顿（1979）·Zbl 0426.68001号
[8] Valmari，A，《快速实用DFA最小化》，Inf.Process。莱特。，112, 213-217, (2012) ·Zbl 1242.68149号 ·doi:10.1016/j.ipl.2011.12.004
[9] Gécseg，F；斯坦比，M，最小上升树自动机，计算机学报。，4，37-44，（1980年）·Zbl 0396.68041号
[10] Comon，H.、Dauchet，M.、Gilleron，R.、Löding，C.、Jacquemard，F.、Lugiez，D.、Tison，S.、Tommasi，M.：树自动机技术和应用，2007年。发布日期：2007年10月12日
[11] Watson，B.W.：正则语言算法的分类和工具包。埃因霍温理工大学数学与计算机科学学院博士论文（1995年）·Zbl 0832.68064号
[12] 沃森，BW；Daciuk，J，一种有效的增量DFA最小化算法，自然语言工程，9，49-64，（2003）·网址：10.1017/S1351324903003127
[13] Cleophas，L.G.，Kourie，D.G.，Strauss，T.，Watson，B.W.：关于最小化确定性树自动机。收录于：《弦乐学》（J.Holub和J.Zdrek编辑），第173-182页，布拉格弦乐俱乐部，布拉格捷克技术大学电气工程学院计算机科学与工程系（2009）·Zbl 1209.68298号
[14] Almeida，M.，Moreira，N.，Reis，R.：增量DFA最小化。收录于：CIAA（M.Domaratzki和K.Salomaa，eds.），《计算机科学讲义》第6482卷，第39-48页，Springer（2010）·Zbl 1297.68103号
[15] 加西亚，P；瓦兹奎斯·德·帕尔加，M；马萨诸塞州贝拉斯科；Lȯpez，D，基于分割的增量确定性自动机最小化算法，理论计算。系统。，57, 319-336, (2015) ·Zbl 1335.68119号 ·doi:10.1007/s00224-014-9588-y
[16] RC卡拉斯科；Daciuk，J；Forcada，ML，最小树自动机的增量构造，Algorithmica，55，95-110，（2009）·Zbl 1180.68168号 ·doi:10.1007/s00453-008-9172-4
[17] RC卡拉斯科；Forcada，ML，最小有限状态自动机的增量构造和维护，计算。语言学家。，28, 207-216, (2002) ·Zbl 1232.68080号 ·doi:10.1162/08912012760173652
[18] Carrasco，R.C.，Daciuk，J.，Forcada，M.L.：确定性树自动机最小化的实现。收录于：CIAA（J.Holub和J.Zdarek，eds.），《计算机科学讲义》第4783卷，第122-129页，Springer（2007）·Zbl 1139.68357号
[19] 宾夕法尼亚州阿卜杜拉；Bouajjani，A；霍利克，L；Kaati，L；德克萨斯州Kaati，《树自动机合成互模拟》，国际期刊Found。计算。科学。，20, 685-700, (2009) ·Zbl 1176.68098号 ·doi:10.1142/S0129054109006814
[20] Högberg，J；马莱蒂，A；May，J，树自动机的向后和向前互模拟最小化，理论。计算。科学。，410, 3539-3552, (2009) ·Zbl 1194.68139号 ·doi:10.1016/j.tcs.2009.03.022
[21] Riley，M.、Allauzen，C.、Jansche，M.：OpenFst：开源、加权有限状态传感器库及其在语音和语言中的应用。摘自：《人类语言技术：计算语言学协会北美分会会议录》，2009年5月31日至6月5日，美国科罗拉多州博尔德，教程摘要，第9-10页（2009）
[22] Kanthak，S.，Ney，H.：FSA：使用按需计算的有限状态自动机的高效灵活的C++工具包。摘自：《计算语言学协会第42届年会会议记录》，西班牙巴塞罗那，第510-517页（2004）
[23] Watson，BW，《实现和使用有限自动机工具包》，自然语言工程，2295-302，（1996）·doi:10.1017/S135132499700154X
[24] 佩奇，R；Tarjan，RE，三分区优化算法，SIAM J.Compute。，16, 973-989, (1987) ·Zbl 0654.68072号 ·数字对象标识代码：10.1137/0216062
[25] Bousquet-Mülou，M；卢利，M；Maneth，S；无向非循环图XML压缩，理论计算。系统。，57, 1322-1371, (2015) ·Zbl 1352.68079号 ·doi:10.1007/s00224-014-9544-x
[26] Watson，BW，构建最小非循环dfa的新算法，Sci。计算。程序。，48, 81-97, (2003) ·Zbl 1059.68071号 ·doi:10.1016/S0167-6423（03）00012-1
[27] Revuz，D，线性时间中非循环确定性自动机的最小化，Theor。计算。科学。，92, 181-189, (1992) ·Zbl 0759.68066号 ·doi:10.1016/0304-3975（92）90142-3
[28] Watson，B.W.：增量DFA最小化算法。In：自然语言处理中的有限状态方法（2001）
[29] Daciuk，J.，Mihov，S.，Watson，B.W.，Watsons，R.E.：最小非循环有限状态自动机的增量构造，CoRR，vol.cs。CL/0007009（2000）·Zbl 1232.68081号
[30] Hanneforth，T.，Maletti，A.，Quernheim，D.：非确定性有限状态树自动机的随机生成。摘自：2013年10月19日，越南河内，2013年TTATT第二届树木自动装置和树木传感器趋势国际研讨会论文集，第11-16页（2013）·Zbl 1390.68394号
[31] Bubenzer，J.：无环DFA的最小化。在：2011年布拉格弦学会议记录，捷克共和国布拉格，2011年8月29日至31日·Zbl 1329.68157号
[32] 比约克隆德，J；Cleophas，L，《确定性树自动机最小化算法分类》，J.Universal Compute。科学。，22, 180-196, (2016)
[33] 上午，P-C；尼科德，C；Schmitz，S，确定性树自动机的参数随机生成，Theor。计算。科学。，411, 3469-3480, (2010) ·Zbl 1209.68298号 ·doi:10.1016/j.tcs.2010.05.036
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。