从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

>>阅读原文<<