The Congruence, Morphism on the Finite State Automata and the Transformation Moniod

• 有限状态自动机和变换幺半群的同余、同态