Prove that if $M$ is any λ-NFA with $λ ∉ L(M)$, we can construct a new ordinary NFA $O$, such that $L(O) = L(M)^R$

230 Views Asked by At

Hint: Prove that if $M$ is any $\lambda$-NFA with $\lambda \not\in L(M)$, there exists an ordinary NFA $N$, with exactly one final state, such that $L(M) = L(N)$ to prove the above statement.