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

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