讨论了两个状态机积的变换半群和它们变换半群的积之间的覆盖关系、两个状态机的积之间的覆盖关系、两个变换半群的积之间的覆盖关系、两个状态机的积与覆盖它们的状态机的积之间的覆盖关系、两个变换半群的积与覆盖它们的变换半群的积之间的覆盖关系.
This paper studies the covering relations between the transformation semigroups of the products of two state machines and the products of their transformation semigroups. The covering relations between various products of two state machines and between two transformation semigroups are proved. Furthermore the covering relations between the products of two state machines (transformation semigroups) and the ones of the other two state machines (transformation semigroups) which cover them were proved.