×
斯特凡·霍夫曼

说明二进制字母表上循环自动机和自动机的同步词集的复杂性。 （英语） Zbl 07405997号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 318-330 (2021).
摘要：二进制字母表上的大多数慢同步自动机都是循环的，即包含一个字母，在单个循环中排列状态，并且它们的同步字集具有最大的状态复杂性，这也意味着完全可达性。在这里，我们进一步研究广义循环和完全可达自动机。我们推导出，在二进制字母表上，每个完全可达自动机都必须是循环的，这是一个结构结果的结果，该结果表明，在严格小于状态包含置换字母的字母上，完全可达自变量。我们给出了广义循环自动机同步词集的状态复杂度最大的充分条件。我们将主要标准应用于家庭{K} _n（n）\)之前只推测具有此属性的自动机。
有关整个系列，请参见[Zbl 1470.68022号].

引用于6文件

MSC公司：

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

关键词：

有限自动机;同步;完全可达自动机;状态复杂性;同步字集
PDF格式BibTeX公司 XML格式引用
\textit{S.霍夫曼}，莱克特。注释计算。科学。12638、318-330（2021；Zbl 07405997）
全文： 内政部 arXiv公司

参考文献：

[1] 阿纳尼切夫，D。；古塞夫，V。；沃尔科夫，M。；林恩，P。；库切拉，A.，《缓慢同步自动机和有向图》，《计算机科学数学基础》2010，55-65（2010），海德堡：斯普林格·Zbl 1287.68088号 ·doi:10.1007/978-3-642-15155-27
[2] 阿纳尼切夫，DS；沃尔科夫，MV；Gusev，VV，具有大指数和慢同步自动机的原始有向图，J.Math。科学。，192, 3, 263-278 (2013) ·Zbl 1276.68089号 ·doi:10.1007/s10958-013-1392-8
[3] 邦达尔，EA；沃尔科夫，MV；Cámpeanu，C。；Manea，F。；Shallit，J.，完全可达自动机，形式系统的描述复杂性，1-17（2016），Cham:Springer，Cham·Zbl 1435.68145号 ·doi:10.1007/978-3-319-41114-9_1
[4] 邦达尔，EA；沃尔科夫，MV；Hoshi，M。；Seki，S.，《完全可达自动机的特征描述》，《语言理论的发展》，145-155（2018），查姆：斯普林格，查姆·Zbl 1517.68175号 ·doi:10.1007/978-3-319-98654-8_12
[5] 乔恩，J.，《Poznámka k homogénnym temporatom s konečními automatomi》，《Matematicko-fyzikálnyčasopis》，第14、3、208-216页（1964年）·Zbl 0137.01101号
[6] Don，H.，《乔恩猜想与1-收缩自动机》，电子。J.库姆。，2016年12月23日，3日·Zbl 1350.68167号 ·doi:10.37236/5616
[7] Dubuc，L.，Les automatics circularires biaisés véverification la猜想de Cerný，ITA，30，6495-505（1996）·Zbl 0877.68083号
[8] Dubuc，L.，Sur-les自动化循环和Cern猜想，ITA，32，1-3，21-34（1998）
[9] Gonze，F。；Jungers，RM，难以到达子集和1-亏词完全可达自动机，J.automata Lang.Comb。，24, 2-4, 321-342 (2019) ·Zbl 1435.68161号
[10] Hoffmann，S.：完全可达自动机、基本群和同步词集的状态复杂性。收录：Leporati，A.等人（编辑）LATA 2021。LNCS，第12638卷，第305-317页。查姆斯普林格（2021）·Zbl 07405996号
[11] JE霍普克罗夫特；Ullman，JD，《自动机理论、语言和计算导论》（1979），波士顿：Addison-Wesley出版社，波士顿·Zbl 0426.68001号
[12] 马萨诸塞州马斯伦尼科娃：重置理想语言的复杂性。CoRR abs/1404.2816（2014）·兹比尔1489.68130
[13] 密歇根州Maslennikova，重置二进制字母表上理想语言的复杂性，国际期刊Found。计算。科学。，30, 6-7, 1177-1196 (2019) ·Zbl 1427.68150号 ·doi:10.1142/S0129054119400343
[14] 销，JE；Ausiello，G。；Böhm，C.，《Sur un cas particulier de la suggesture de Cerny》，《自动化，语言与编程》，345-352（1978），海德堡：斯普林格，海德伯格·Zbl 0389.68036号 ·doi:10.1007/3-540-08860-1.25
[15] 桑德伯格，S。；布罗伊，M。；Jonsson，B。；卡托恩，J-P；Leucker，M。；Pretschner，A.，1回零和同步序列，基于模型的反应系统测试，5-33（2005），海德堡：施普林格，海德伯格·数字对象标识代码：10.1007/11498490_2
[16] Starke，PH，Eine Bemerkungüber均质实验，Elektronische Informations verarbeitung und Kybernetik（后来的J.Inf.Process.Cybern.），2，4，257-259（1966）·Zbl 0166.27003号
[17] 沃尔科夫，MV；马丁·维德，C。；奥托，F。；Fernau，H.，同步自动机和乔恩猜想，语言和自动机理论与应用，11-27（2008），海德堡：施普林格·Zbl 1156.68466号 ·doi:10.1007/978-3-540-88282-4_4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。