Recall: Intersection of NDFAs

An NDFA is a 5-tuple: M=(S,A,d,p0,F), S finite set of states, A is input alphabet, d is a state transition function which maps Ax(S union epsilon) to the set of subsets of S, p0 is the initial state, and F is the set of final states.

An NDFA is a 5-tuple: M=(S,A,d,p0,F), S finite set of states, A is input alphabet, d is a state transition function which maps Ax(S union epsilon) to the set of subsets of S, p0 is the initial state, and F is the set of final states.