# #Self_Doubt #NFA

14 views

For any given NFA with ip_set = {a,b} if any transaction is Missing then can we assume a Self Loop ?

For example,

 [T1] a b [T2] a b S S,P Q S S,P Q is P _ Q same as P P Q Q* _ _ Q* Q Q

Notice in T1 for transaction(P,a) = undefined. So can we assume transaction(P,a) = P ?

Note, this is only for normal NFAs not $\epsilon$-NFAs.