ab 在一个循环圈上,构造一个圈,a到圈,b回来
左边的0圈向右 右边的向左
(ab)* 与(a|b)*不同 ab是多天一个圈的基础上再,多加一个⚪,到上面是a,到下面是b
(a|b)*是到自身a b的循环
多加一个圈两边是反三符号,而且消除*符号。
注意a*与(ab)*的区别
能识别反三符号,把它当桥梁,但是不含反三符号到达的元素。
从开始状态出发,不能达到终态
例题2:
左边的0圈向右 右边的向左
看右边的确定状态是否等价,等价的放在一起。
例题三:
终态 635 看包含关系
看自己的图,02构成一个圈子放在一起 63有相似点放在一起。