비결정적 유한 오토마타(non-deterministic finite automata)에 대한 설명으로 옳지 않은 것은?