• Input: FA M
• Output: WSFA Mws
• 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
Algorithm: FA to WSFA
35/44