비결정적 유한 오토마타(NFA)는 현재 상태에서 여러 가지 가능한 상태로 전이될 수 있지만, NFA는 입력 심볼을 읽지 않고도 상태 전이가 가능합니다. 하지만 어떤 언어가 결정적 유한 오토마타(DEA)와 같은 언어를 인식하는 경우가 반드시 있는 것은 아닙니다. 즉, 3번 선택지가 올바르지 않습니다.