아래의 상태도를 보자.
B 상태에서 입력 심벌 b 가 오면 B , C 두 개의 상태로 갈 수 있다. 어떤 상태에서 어떤 입력에 대해서 하나 이상의 상태가 온다면 결정적으로 다음 상태가 어디로 갈 것인지를 결정적으로 갈 수 없다. 이런 유한 오토마타를 비 결정적 유한 오토마타(non-deterministic finite automata ,이하 NFA)라 하고
결정적으로 갈수 있는 유한 오토마타를 결정적 유한 오토마타(deterministic finite automata, 이하 DFA)라 한다.