[9급 국가직 컴퓨터일반 2015년 16번]

1. ①한 상태에서 전이 시 다음 상태를 선택할 수 있다.
2. ②입력 심볼을 읽지 않고도 상태 전이를 할 수 있다.
3. ③어떤 비결정적 유한 오토마타라도 같은 언어를 인식하는 결정적 유한 오토마타(deterministic finite automata)로 변환이 가능하다.
4. ④모든 문맥 자유 언어(context-free language)를 인식한다.

출처: 인사혁신처 공개 기출(공공데이터포털, 이용허락 제한 없음)