×
G·卡斯蒂格利奥内。;A.雷斯蒂沃。;西奥蒂诺，M。

关于Hopcroft算法的极值情况。 （英语） Zbl 1214.68193号

西奥。计算。科学。 411，编号38-3923414-3422（2010）.
小结：我们参考Hopcroft算法考虑确定性有限自动机（DFA）的最小化问题。霍普克罗夫特的算法有几个自由度，因此可以存在不同的执行，从而导致状态集到最终分区的不同细化顺序。我们发现一个二进制自动机的无限族，无论选择何种策略，这种过程都是唯一的。最近的一些论文致力于寻找Hopcroft算法执行时间最差的自动机家族。它们是与循环词相关联的一元自动机。然而，当字母表只有一个字母时，也可以在线性时间内实现自动机最小化，但这种方法似乎没有扩展到更大的字母表。因此，在本文中，当字母表包含多个字母时，我们将面临Hopcroft算法的严密性。特别地，我们定义了一个二进制自动机的无限族，表示Hopcroft算法在每次执行中的最坏情况。它们是与特定树关联的自动机，我们加深了Hopcroft算法的精化过程与此类树的组合属性之间的联系。

引用于11文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

确定性有限状态自动机;Hopcroft的最小化算法;标准树;单词树

软件：

AMoRE公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Castiglione}等人，Theor。计算。科学。411、编号38-39、3414-3422（2010；Zbl 1214.68193）
全文： 内政部

参考文献：

[1] 伯斯特尔，J。；Boasson，L。；Carton，O.，《连续多项式和Hopcroft最小化算法的最坏情况行为》，《理论计算机科学》，4102811-2822（2009）·Zbl 1173.68029号
[2] 伯斯特尔，J。；Boasson，L。；纸箱，O。；Fagnot，I.，Sturmian树，计算系统理论，46，3，443-478（2010）·Zbl 1209.68394号
[3] 伯斯特尔，J。；Carton，O.，《关于Hopcroft状态最小化算法的复杂性》，（Domaratzki，M.；Okhotin，A.；Salomaa，K.；Yu，s.，CIAA.CIAA，计算机科学讲稿，第3317卷（2004），Springer），35-44·兹比尔1115.68417
[4] Borel，J.P。；Reutenauer，C.，《论Christoffel课程》，《RAIRO-理论信息学与应用》，450，15-28（2006）·Zbl 1085.68116号
[5] Carpi，A。；德卢卡，A。；Varricchio，S.，有理树中的特殊因子和唯一性条件，计算系统理论，34，4，375-395（2001）·Zbl 0984.68116号
[6] Castiglione，G。；Restivo，A。；Sciortino，M.，Hopcroft算法和循环自动机，（Martin Vide，Carlos；Otto，Friedrich；Fernanu，Henning，拉丁美洲大学。拉丁美洲大学，计算机科学讲义，第5196卷（2008年），施普林格），172-183·Zbl 1163.68021号
[7] Castiglione，G。；Restivo，A。；Sciortino，M.，《圆形Sturmian单词和Hopcroft算法》，《理论计算机科学》，4104372-4381（2009）·Zbl 1187.68360号
[8] Castiglione，G。；Restivo，A。；Sciortino，M.，《关于Hopcroft算法的极值情况》，（Maneth，Sebastian，CIAA.CIAA，计算机科学讲义，第5642卷（2009），Springer），14-23·Zbl 1248.68289号
[9] Hopcroft，J.E.，《有限自动机中模拟状态的一种算法》，（Kohavi，Z.；Paz，a.，《机器与计算理论》（Proc.Internat.Sympos.Technion，Haifa，1971）（1971），学术出版社：纽约学术出版社，189-196·Zbl 0266.94019号
[10] Knuutila，T.，Hopcroft重新描述算法，理论计算机科学，250，333-363（2001）·Zbl 0952.68077号
[11] 曼塔奇，S。；Restivo，A.，《树上的代码和方程》，理论计算机科学，255，1-2，483-509（2001）·Zbl 0974.68095号
[12] O.Matz，A.Miller，A.Potthoff，W.Thomas，E.Valkema，AMoRE项目报告。技术报告9507，Inst.f.Informatik u.Prakt。数学。，CAU Kiel，1995年。；O.Matz，A.Miller，A.Potthoff，W.Thomas，E.Valkema，AMoRE项目报告。技术报告9507，Inst.f.Informatik u.Prakt。数学。，CAU Kiel，1995年。
[13] Moore，E.F.，（自动化研究，自动化研究，Gedaken顺序机器实验（1956）），129-153·Zbl 0074.11204号
[14] 佩奇，R。；Tarjan，R.E。；Bonic，R.，单函数最粗划分问题的线性时间解，理论计算机科学，4067-84（1985）·Zbl 0574.68060号
[15] B.Watson，《有限自动机最小化算法分类》，技术报告93/44，埃因霍温理工大学数学系。和Comp。Sc.，1994年。；B.Watson，《有限自动机最小化算法分类》，技术报告93/44，埃因霍温理工大学数学系。和Comp。Sc.，1994年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。