×

克罗恩-罗兹分解定理的证明。 (英语) Zbl 0944.68089号

小结:我们给出了自动机Krohn–Rhodes分解定理的一部分的新证明。

MSC公司:

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.A.Arbib(编辑),《机器、语言和半群的代数理论》,学术出版社,纽约,1968年。;M.A.Arbib(编辑),《机器、语言和半群的代数理论》,学术出版社,纽约,1968年·Zbl 0181.01501号
[2] S.Eilenberg,《自动化、语言和机器》,B卷,学术出版社,纽约,1976年。;S.Eilenberg,《自动机、语言和机器》,B卷,学术出版社,纽约,1976年·Zbl 0359.94067号
[3] 埃西克,Z.,关于利用(α0)乘积实现自动机同态的结果,定理。计算。科学。,87, 229-249 (1991) ·Zbl 0744.68104号
[4] 埃西克,Z.,《迭代群公理》,Inform。计算。,148, 131-180 (1999) ·Zbl 0924.68143号
[5] Gécseg,F.,《自动化产品》(1986),施普林格:柏林施普林格出版社·Zbl 0636.68058号
[6] Ginzburg,A.,《自动机代数理论》(1968),学术出版社:纽约学术出版社·Zbl 0195.02501号
[7] 霍尔科姆,W.M.L.,代数自动机理论(1982),剑桥大学出版社:剑桥大学出版社·Zbl 0489.68046号
[8] Krohn,K。;Rhodes,J.,《机器的代数理论I》,Trans。阿米尔。数学。《社会学杂志》,116,450-464(1965)·Zbl 0148.01002号
[9] Lallement,G.,《半群和组合应用》(1979),Wiley-Interscience:Wiley-Interscience,纽约·Zbl 0421.20025
[10] Straubing,H.,《有限自动机、形式逻辑和电路复杂性》(1994),Birkhäuser:Birkhäuser-Basel·Zbl 0816.68086号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。