The definitions of the congruence and morphism on the FSA and the transformation moniod are offered.Moreover,the theorem about morphism are proved.At last,the relation about isomorphism is offered.

• 给出了有限状态自动机和变换幺半群同余、同态的定义；证明了同态基本定理；刻划了有限状态自动机和变换幺半群同构的联系.