状态机变换半群的可分性

在状态机的讨论中,覆盖问题和分解问题是讨论的主要方面。对于一个比较复杂的状态机要想找到的它的覆盖和分解一般是比较困难的,如果一个复杂的状态机具有可分性,我们就可以把它分成若干简单的状态机,从而解决它的覆盖和分解问题。本文主要讨论状态机变换半群的可分性,而状态机变换半群的可分性与它对应的状态机的可分性是一致的,从而解决状态机的可分性问题。