• Method:
• convert a FA M to an equivalent e-free FA M’
• convert a M’ to an equivalent DFA Md without
any inaccessible state
• convert Md to an equivalent DFA Mt
without any
nonterminating state
• convert Mt to an equivalent complete FA Mc
• Mws := Mc
Note: No more than one nonterminating state in Mws—qfalse