有限自动机的一种化简方法

利用转换矩阵对有限自动机进行化简。在各分组中，当两个不同的出发状态，具有同样的到达状态时，这两个出发状态就可以合并为一个状态。