×

有限双凸码的共轭性。 (英语) Zbl 1168.68023号

摘要:对于某些非空语言(Z),如果两种语言满足共轭方程(XZ=ZY),则称为共轭语言(X)和(Y)。我们将把这个方程的解与对应的词方程的解进行比较,并研究有限双前缀码\(X)和\(Y)的情况。我们证明了这种情况下的最大值Z是有理的。在它们都是有限双前缀码的情况下,我们还将刻画(X)和(Y)。这就产生了两个有限双凸码共轭的可判定性。

MSC公司:

65年第68季度 形式语言和自动机
94A45型 前缀、长度可变、无逗号代码
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 伯斯特尔,J。;佩林,D.,《代码理论》(1985),学术出版社:纽约学术出版社·Zbl 1022.94506号
[2] Cassaigne,J。;Karhumäki,J。;Maňuch,J.,《论语言的共轭性》,Theor。通知。申请。,35, 535-550 (2001) ·Zbl 1005.68121号
[3] Choffrut,Ch.,《自由逆拟群中的共轭性》,(第二届单词方程及相关主题国际研讨会论文集。第二届单词方程及相关主题国际研讨会论文集,LNCS,第677卷(1991),Springer Verlag:Springer Verlag,英国伦敦),6-22·Zbl 0925.20066
[4] Choffrut,Ch。;Karhumäki,J.,《单词组合学》(Rozenberg,G.;Salomaa,A.,《形式语言手册》,第1卷(1997),施普林格:施普林格-柏林),329-438·Zbl 0866.68057号
[5] Choffrut,Ch。;Karhumäki,J。;Ollinger,N.,《有限集的交换:一个具有挑战性的问题》,Theoret。计算。科学。,273, 1-2, 69-79 (2002) ·Zbl 1014.68128号
[6] Conway,J.H.,《正则代数与有限机器》(1971),查普曼霍尔出版社·Zbl 0231.94041号
[7] Han,Y.-S。;Salomaa,A。;萨洛马,K。;伍德,D。;余,S.,关于素分解的存在性,理论。计算。科学,376,1-2,60-69(2007)·Zbl 1111.68055号
[8] Karhumäki,J.,有限词集上的组合和计算问题,机器,计算和普遍性。机器、计算与普遍性,计算机课堂讲稿。科学。,2055, 69-81 (2001) ·Zbl 0984.68118号
[9] Karhumäki,J。;Latteux,M。;Petre,I.,《代码交换》,Theoret。计算。科学。,340, 322-333 (2005) ·Zbl 1079.68051号
[10] Karhumäki,J。;Latteux,M。;Petre,I.,三元单词集的交换,理论计算。系统。,38, 2, 161-169 (2005) ·Zbl 1066.68102号
[11] Karhumäki,J。;Petre,I.,Conway问题的分支点方法,(Brauer,W.,《形式与自然计算》,《形式和自然计算》(Formal and Natural Computing),LNCS,第2300卷(2002),《斯普林格·弗拉格:斯普林格尔·弗拉格-柏林-海德堡》),69-76·Zbl 1060.68095号
[12] Kunc,M.,《有限组单词的通勤能力》,理论计算。系统。,40, 4, 521-551 (2007) ·Zbl 1121.68065号
[13] 马萨扎,P。;Salmela,P.,关于语言的最简单的中心化子,RAIRO定理。信息学应用。,40, 295-301 (2006) ·Zbl 1112.68097号
[14] Mateescu,A。;Salomaa,A。;Yu,S.,语言因子化与交换条件,网络学报。,15, 3, 339-351 (2002) ·Zbl 1065.68063号
[15] Perrin,D.,Codes concuguesés,Inform。控制,20,222-231(1972)·Zbl 0254.94015号
[16] Ratoandromanana,B.,代码和图案,RAIRO Inform。理论。,23, 4, 425-444 (1989) ·Zbl 0689.68102号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。