×
贝亚尔，玛丽·皮埃尔;多米尼克·佩林

单簇自动机中同步字大小的二次上界。 （英语） Zbl 1217.68122号

Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。《计算机科学讲义》5583，81-90（2009）。
摘要：乔恩猜想断言，对于任何同步态确定性自动机，都存在一个长度最多为（n-1）^{2}的同步字。我们证明了任何同步态确定性自动机的同步字长度的二次上界，它满足以下附加性质：有一个字母（a），对于任何一对状态（p，q），对于某些整数（r，s）（对于一个状态（p）和一个字（w），都有（p\cdota^{r}=q\cdota ^{s}），我们用\（p\cdot w）表示通过标记为\（w）的路径从\（p\）到达的状态。因此，我们证明了对于任何带有（n）状态解码器的有限同步前缀码，都存在一个长度为（O（n^{2}）的同步字。这尤其适用于哈夫曼编码。
关于整个系列，请参见[Zbl 1165.68006号].

引用于1审查
引用于7文件

MSC公司：

65年第68季度 形式语言和自动机
94A45型 前缀、长度可变、无逗号代码
PDF格式BibTeX公司 XML格式引用
\textit{M.-P.贝亚尔}和\textit{D.佩林}，莱克特。注释计算。科学。5583，81-90（2009年；兹比尔1217.68122）
全文： 内政部 哈尔

参考文献：

[1] 贝亚尔，M.-P.：关于乔恩猜想和有理级数的注记。预印IGM 2003-05（未出版，2003）
[2] Béal，M.-P.，Perrin，D.：道路着色的二次算法。CoRR，abs/0803.0726（2008）
[3] Biskup，M.T.：哈夫曼码的最短同步字符串。收录：Ochmaánski，E.，Tyszkiewicz，J.（编辑）MFCS 2008。LNCS，第5162卷，第120-131页。斯普林格，海德堡（2008）·Zbl 1173.94411号 ·doi:10.1007/978-3-540-85238-49
[4] Carpi，A.，D’Alessandro，F.：强传递自动机的同步问题。摘自：《语言理论的发展》，第240–251页（2008年）·Zbl 1161.68517号 ·doi:10.1007/978-3-540-85780-8_19
[5] 乔恩，J.，波兹纳姆卡，K.：Homogénnym实验的konecn-mi自动机。Mat.fyz公司。©作为SAV 14、208–215（1964）
[6] Dubuc，L.：Surles使循环和采空猜想自动化。RAIRO通知。塞奥尔。申请。 32, 21–34 (1998)
[7] 艾伦伯格，S.：《自动化、语言和机器》，A卷。学术出版社，Harcourt Brace Jovanovich的子公司，出版商，纽约（1974年）；《纯粹与应用数学》，第58卷·Zbl 0317.94045号
[8] Freiling，C.F.，Jungreis，D.S.，Théberge，F.，Zeger，K.：几乎所有完整的二进制前缀码都有一个自同步字符串。IEEE信息理论汇刊49，2219–2225（2003）·Zbl 1286.94055号 ·doi:10.1109/TIT.2003.815803
[9] Kari，J.：关于有限自动机中单词同步的一个猜想的反例。EATCS公告73146（2001）·Zbl 0977.68055号
[10] Kari，J.：同步欧拉有向图上的有限自动机。收录人：Sgall，J.、Pultr，A.、Kolman，P.（编辑）MFCS 2001。LNCS，第2136卷，第432-438页。施普林格，海德堡（2001）·Zbl 0999.68108号 ·数字对象标识代码：10.1007/3-540-44683-4_38
[11] Perrin，D.，Schützenberger，M.-P.：同步单词和自动机以及道路着色问题，《符号动力学及其应用》。在：Walters，P.（编辑）美国数学学会，第135卷，第295–318页。当代数学（1992）·Zbl 0787.68073号
[12] Pin，J.-E.：《同步问题和Černý猜想》，第三周期，巴黎第六大学（1978年）
[13] Pin，J.-E.：《自然》杂志特别报道了科恩猜想。收录：Ausiello，G.，Böhm，C.（编辑）ICALP 1978。LNCS，第62卷，斯普林格，海德堡（1978）·Zbl 0389.68036号
[14] Pin，J.-E.：关于自动机理论产生的两个组合问题。《离散数学年鉴》，第17卷，第535-548页（1983年）·Zbl 0523.68042号 ·doi:10.1016/S0304-0208（08）73432-7
[15] Sakarovitch，J.：《自动化技术》，埃蒂斯·维伯特（2003）
[16] Schützenberger，M.-P.：关于同步前缀代码。通知。和控制11，396–401（1967）·Zbl 0157.25905号 ·doi:10.1016/S0019-9958（67）90620-1
[17] Trahtman，A.N.：某些DFA的同步。作者：Cai，J.-Y.，Cooper，S.B.，Zhu，H.（编辑）TAMC 2007。LNCS，第4484卷，第234-243页。斯普林格，海德堡（2007）·Zbl 1198.68163号 ·doi:10.1007/978-3-540-72504-6_21
[18] Trahtman，A.N.：道路着色问题。Israel J.Math（即将出版）（2008年）·Zbl 1175.05058号
[19] Trakhtman，A.：DFA同步的一些方面。J.计算。科学。Technol公司。 23, 719–727 (2008) ·doi:10.1007/s11390-008-9165-4
[20] 沃尔科夫，M.V.：同步自动机，保持部分顺序链。在：Holub，J.，žďárek，J.（编辑）CIAA 2007。LNCS，第4783卷，第27-37页。斯普林格，海德堡（2007）·Zbl 1139.68377号 ·doi:10.1007/978-3-540-76336-95
[21] 沃尔科夫，M.V.：同步自动机和科尔尼猜想。收录：Martín-Vide，C.、Otto，F.、Fernau，H.（编辑）LATA 2008。LNCS，第5196卷，第11-27页。斯普林格，海德堡（2008）·Zbl 1156.68466号 ·doi:10.1007/978-3-540-88282-44
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。