ab 在一個循環圈上,構造一個圈,a到圈,b回來
左邊的0圈向右 右邊的向左
(ab)* 與(a|b)*不同 ab是多天一個圈的基礎上再,多加一個⚪,到上面是a,到下面是b
(a|b)*是到自身a b的循環
多加一個圈兩邊是反三符號,而且消除*符號。
注意a*與(ab)*的區別
能識別反三符號,把它當橋梁,但是不含反三符號到達的元素。
從開始狀態出發,不能達到終態
例題2:
左邊的0圈向右 右邊的向左
看右邊的確定狀態是否等價,等價的放在一起。
例題三:
終態 635 看包含關系
看自己的圖,02構成一個圈子放在一起 63有相似點放在一起。