Question: Suppose M is an -NFA with exactly one final state f, but not necessarily satisfying any of our assumptions about the NFA. Make a new
Suppose M is an
-NFA with exactly one final state f, but not necessarily satisfying any of our assumptions about the NFA. Make a new
-NFA M' by adding two new transitions,
and
, where
is the starting state. Is L(M') always equal to L(M)? ? Either prove that it is or give an example where it is not.
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
