论文部分内容阅读
本文从两个幺半群之间的同态出发,构造自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的 自动机是同构的. 在此基础上,引入(n,S)-自动机上的所谓的J2?和屬关系,证明了这两个关系是可交换的.