Krohn-Rhodes定理与局部除子
群论
2011-11-08 v1 形式语言与自动机理论
摘要
我们利用局部除子给出了Krohn-Rhodes定理的一个新证明。该证明在分解规模上几乎与Eilenberg的全息分解一样优，避免了在状态集大小上的归纳，并且完全在幺半群上进行操作，其归纳的基例为群的情形。
引用
@article{arxiv.1111.1585,
title = {The Krohn-Rhodes Theorem and Local Divisors},
author = {Volker Diekert and Manfred Kufleitner and Benjamin Steinberg},
journal= {arXiv preprint arXiv:1111.1585},
year = {2011}
}