朱西·卡斯蒂格利奥内;安东尼奥·雷斯蒂沃;玛丽内拉·西奥蒂诺 霍普克罗夫特算法和循环自动机。 （英语） 兹比尔1163.68021 Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-88281-7/pbk）。计算机科学课堂讲稿5196172-183（2008）。 霍普克罗夫特著名算法[J.霍普克罗夫特，“有限自动机中最小化状态的（n）算法”，机器和计算理论。程序。国际。交响乐。，Technion，海法，1971年。纽约：学术出版社。189–196 (1971;Zbl 0293.94022号)]从有限自动机构建识别同一语言的唯一最小（状态数）自动机。大致来说，该算法通过计算字母表中某个字母（a）的“（a）-转换”下类的前图像，迭代地划分状态的等价类。该算法是非确定性的，因为它允许在迭代的每一步选择类和字母等灵活性。由于这些不同执行的运行时间可能不同，因此不仅要考虑最坏情况的复杂性，还要考虑是否可以通过做出适当的选择来缩短运行时间。例如，当J.伯斯特尔和O.纸箱[“关于Hopcroft状态最小化算法的复杂性”，Lect.Notes Compute.Sci.3317，35–44（2005；兹比尔1115.68417)]展示了一个允许实时执行Hopcroft算法的自动机家族（Omega（n\log n）），对于同一个家族，有在线性时间内运行的执行。本文展示了一类自动机，对于Hopcroft算法的任何执行，其运行时间为（Theta（n\logn））。为了说明这一点，作者考虑了与循环单词相关的一元自动机（单字母字母表）。使用的技术进一步发展了Berstel和Carton的思想[loc.cit.]。关于整个系列，请参见[Zbl 1148.68005号].审核人：罗杰·维尔梅尔（蒙特勒） 引用于16文件 MSC公司： 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 关键词：霍普克罗夫特算法;最小自动机;循环单词 引文：Zbl 0293.94022号;Zbl 1115.68417号 PDF格式BibTeX公司 XML格式引用 \textit{G.Castiglione}等人，Lect。注释计算。科学。5196、172--183（2008年；Zbl 1163.68021） 全文： 内政部 参考文献： [1] Almeida，M.，Moreira，N.，Reis，R.：关于自动机最小化算法的性能。波尔图大学技术报告DCC-2007-03（2007） [2] Baclet，M。；佩吉蒂，C。；H.Ibarra，O。；Yen，H.-C.，围绕Hopcroft算法，自动机的实现和应用，114-125（2006），海德堡：施普林格，海德堡·Zbl 1160.68399号 ·doi:10.1007/11812128_12 [3] Béal，M.-P.，Crochemore，M.：最小化局部自动机。In:ISIT 2007（将于2007年发布） [4] 伯斯特尔，J。；纸箱，O。；多马拉茨基，M。；Okhotin，A。；萨洛马，K。；Yu，S.，关于Hopcroft状态最小化算法的复杂性，自动机的实现和应用，35-44（2005），海德堡：斯普林格·Zbl 1115.68417号 [5] Borel，J.P。；Reutenauer，C.，《论Christoffel课程》，《RAIRO-理论信息学与应用》，450，15-28（2006）·Zbl 1085.68116号 ·doi:10.1051/ita:2005038 [6] Brzozowski，J.A.：正则正则表达式和确定事件的极小状态图。自动机的数学理论·Zbl 0116.33605号 [7] Champarnaud，J.-M.，Khorsi，A.，Paranthon，T.：最小化的拆分和合并：Brzozowskis算法。收录于：PSC 2002年会议记录（布拉格弦学会议），第96-104页（2002） [8] Daciuk，J.，Watson，R.E.，Watsons，B.W.：非循环有限状态自动机和传感器的增量构造。In:土耳其安卡拉比尔肯特大学自然语言处理中的有限状态方法（1998）·Zbl 1232.68081号 [9] 艾伦伯格，S.：《自动化、语言和机器》，A卷（1974年）·Zbl 0317.94045号 [10] Gries，D.，《Hopcroft描述算法》，《信息学报》，第2期，第97-109页（1973年）·Zbl 0242.94042号 [11] 霍普克罗夫特，J.E。；Paz，A。；Kohavi，Z.，《有限自动机中模拟状态的nlogn算法》，《机器与计算理论》（Proc.Internat.Sympos.Technion，Haifa，1971），189-196（1971年），纽约：学术出版社，纽约·Zbl 0266.94019号 [12] 哈夫曼，D.A.，《时序开关电路的合成》，J.富兰克林研究所，257161-190（1954）·Zbl 0166.27201号 ·doi:10.1016/0016-0032（54）90574-8 [13] Knuutila，T.，Hopcroft，Theoret重新描述算法。计算。科学。，250, 333-363 (2001) ·Zbl 0952.68077号 ·doi:10.1016/S0304-3975（99）00150-4 [14] Matz，O.，Miller，A.，Potthoff，A.，Thomas，W.，Valkema，E.：AMoRE项目报告。技术报告9507，Inst.f.Informatik u.Prakt。数学。，CAU基尔（1995） [15] Moore，E.F.：Gedaken在时序机器上的实验。收录于：《自动化研究》，第129-153页（1956年） [16] Paun，A.：关于Hopcroft的最小化算法。CoRR，abs/0705.1986（2007） [17] Revuz，D.，线性时间中非循环确定性自动机的最小化，Theor。计算。科学。，92, 1, 181-189 (1992) ·Zbl 0759.68066号 ·doi:10.1016/0304-3975（92）90142-3 [18] 斯隆，N.J.A.：整数序列在线百科全书，http://www.research.att.com/njas/序列/·Zbl 1044.11108号 [19] Tabakov，D.，Vardi，M.Y.：经典自动机构造的实验评估·Zbl 1143.68443号 [20] 瓦伊达，S.：斐波那契数和卢卡斯数，以及黄金分割。《技术报告98/183》，Ellis Horwood Ltd.，Chichester（1989）·Zbl 0695.10001号 [21] Watson，B.：有限自动机最小化算法的分类。《技术报告93/44》，埃因霍温理工大学数学与计算科学学院（1994年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。