×

在内核为空的代码组上。 (英语) 兹比尔1202.20071

对于一些非空单词(u,w),单词\(A^*中的v)是单词\(A ^*中x)iff\(x=uvw\)的内部因子。集合\(X\子集a^*\)的核是来自\(X~)的词的集合,这些词是来自\。本文证明了,如果(X)是一个空核代码,(F)是来自(X)的单词的内部因子集,(varphi)是子单纯形(X^*)的句法态射,那么包含在(varphi(a^*\set-nus F)中的任何群(G)都是循环的。内核为空的代码子类是信号量代码,因此这是M.P.Schützenberger先生【信息控制7,23-26(1964;Zbl 0122.15004号)].

MSC公司:

20毫米35 自动机理论、语言学等中的半群。
2005年5月20日 自由半群,生成器和关系,单词问题
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Berstel,J.、Perrin,D.、Reutenauer,C.:代码与自动化。剑桥大学出版社,剑桥(2009)·Zbl 1187.94001号
[2] 艾伦伯格,S.:《自动机、语言与机器》,第二卷,学术出版社,纽约,1976年[哈科特·布拉斯·乔瓦诺维奇出版社],附布雷特·蒂尔森的两章(“深度分解定理”和“半群与形态的复杂性”),《纯粹与应用数学》,第59卷
[3] Froidure,V.,Pin,J.-E.:计算有限半群的算法。摘自:《计算数学基础》,里约热内卢,1997年,第112-126页。柏林施普林格(1997)·Zbl 0876.20034号
[4] Lallement,G.:半群和组合应用。威利,纽约(1979年)。《纯粹与应用数学》,Wiley-Interscience出版物·Zbl 0421.20025
[5] Schützenberger,M.-P.:关于某些前缀码的同步特性。信息控制7,23–36(1964)·兹伯利0122.15004 ·doi:10.1016/S0019-9958(64)90232-3
[6] Sch“utzenberger,M.-P.:单子函数在交换上定义群。版次Fr.Autom。Inf.Rech.公司。作品。Sér。红色8(R-1),55-61(1974)·Zbl 0294.20056号
[7] Wielandt,H.:有限置换群。纽约学术出版社(1964)·Zbl 0138.02501号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。