1 Proofs
Prove that every NFA N can be converted to an equivalent one N^(') that
has a single accept state. Show the formal definition of N^(').
Prove that regular languages are closed under complement. In other
words, if A is a regular language then ()/(bar) (A)=(\Sigma ^(*))/(()/())AM with L(M)=A, now construct a DFA ()/(bar) (M)
such that L(()/(bar) (M))()/(b)=ar (A).