论文标题
关于krohn-rhodes for semiautomata
On Krohn-Rhodes theory for semiautomata
论文作者
论文摘要
Krohn-Rhodes理论涵盖了有限自动机的研究及其分解为基本自动机的技术。克罗恩（Krohn）和罗德斯（Rhodes）的著名结果大致指出，每个有限的自动机可以分解为基本组件，这些组件与级联产品连接的排列和重置自动机相对应。但是，对于工作的计算机科学家来说，这种结果并不容易。本文简要介绍了基于金茨堡的宝贵工作的克罗恩·罗德斯理论。
Krohn-Rhodes theory encompasses the techniques for the study of finite automata and their decomposition into elementary automata. The famous result of Krohn and Rhodes roughly states that each finite automaton can be decomposed into elementary components which correspond to permutation and reset automata connected by a cascade product. However, this outcome is not easy to access for the working computer scientist. This paper provides a short introduction into Krohn-Rhodes theory based on the valuable work of Ginzburg.
