Non Deterministic Finite Automata Automata Theory by ComputeNow - August 12, 20180 Non Deterministic Finite Automata (NDFA) If, for each pair of states and possible input chars, there is a unique next state (as specificed by the transitions), then the FA is deterministic (DFA). Otherwise, the FA is non deterministic finite automata (NDFA). What does it mean for an FA to have more than