→ DLHZ: 狀態表中input後得不到的狀態就是了 10/15 15:53
→ fmtshk: 懂了謝謝。 想再問一下,當羃集合太大時,他說只列出會得 10/15 19:39
→ fmtshk: 到的,怎麼看才算是會得到的? 10/15 19:39
→ fmtshk: 例如這題,它列了{s1,s4},而{s1,s3}沒列出,可是看不出差 10/15 19:43
→ fmtshk: 在哪 10/15 19:43
推 mi981027: NFA轉DFA是一個algorithm,步驟是: 10/15 22:14
→ mi981027: 從初始狀態開始,看input分別為0, 1會走到哪些state 10/15 22:14
→ mi981027: 因為NFA一次可以走到多個state 10/15 22:14
→ mi981027: ,但DFA一次只會走到一個state 10/15 22:14
→ mi981027: 所以把NFA可能走到的多個state框起來當成一個新的state 10/15 22:14
→ mi981027: 然後一步步往下走,直到所有可能走到的狀態都討論過 10/15 22:14
推 mi981027: 理論上要列出所有冪集合啦 但實際上一堆點走不到 所以只 10/15 22:17
→ mi981027: 要像上面說的那樣看就行 10/15 22:17
→ fmtshk: 原來是這樣,謝謝大佬 10/16 20:38