有关本原自动机的研究

Research on Primary Automation

讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Sl(或G)-自动机,那么Α也是Sl(或G)-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集将标准自动机的定义推广到有限自动机,给出了广义标准自动机的定义及其成立的一个充分条件。

Some properties on primary automata are studied in this paper. Firstly, the endomorphism of the primary automaton is dealt with. The paper proves that if all the primary automata are Se （or G ）-automa ton, so is . Secondly, the union of the strongly connected automata is proved to be G -automaton. Finally, the definition of canonical automata is extent to finite automata by the minimal generated set. Also, the definition of generalized canonical automata is given and the sufficient conditions are provided.