Construction of Intersection of Nondeterministic Finite Automata using Z Notation | Semantic Scholar
NFA ε - NFA - DFA equivalence. What is an NFA An NFA is an automaton that its states might have none, one or more outgoing arrows under a specific symbol. - ppt download