從NFA構造等價DFA,對DFA的化簡

對NFA的考量是困難的，對DFA的考量則是無比清晰的。對於一個NFA，總存在一個與其等價的DFA。這裏"等價"指的是這兩個有窮自動機的正規集是相同的。 ε-closure(…)和more(…,…) 在NFA中，ε-closure(A)指的是從狀態A經若干ε弧能達到的狀態，也包括A自己。more({A,B,C},a)指的是所有從{A,B,C}裏的狀態經過一次a弧所能到達的狀態。 從NFA構造等價DF

>>阅读原文<<