Un automa a stati e' un grafo in cui i nodi sono gli stati, gli archi (a cui e' associato una regola di qualche genere) le relazioni tra gli stati.
Un DFA (Deterministic State/Finite Automata) prevede che ci sia un'unica transazione da uno stato all'altro a fronte di uno specifico input
In un NFA questo non e' piu' vero.
Come puoi fare?
Usi uno qualunque degli algoritmi di navigazione in un grafo