非確定有限狀態自動機 - 維基百科，自由的百科全書

轉移函數 T 定義 自下列狀態 轉移表: 0 1 ε S 0 {} {} {S 1, S 3} S 1 {S 2} {S 1} {} S 2 {S 1} {S 2} {} S 3 {S 3} {S 4} {} S 4 {S 4} {S 3} {} M 的狀態圖是: M 可以被看作兩個DFA的並集: 一個有狀態 {S 2, S 1}...

zh.wikipedia.org