Nondeterministic Finite Automata¶ We use nondeterministic finite automata (NFAs) to model systems with a variable number of states.