틀:형식 언어 및 형식 문법 vte오토마타 이론: 형식 언어 및 형식 문법 촘스키 위계0유형(없음)1유형2유형3유형 형식 문법무제약 문법재귀 문법문맥 의존 문법문맥 자유 문법정규 문법 형식 언어재귀 열거 언어재귀 언어문맥 의존 언어문맥 자유 언어정규 언어 오토마타튜링 기계판정자선형유한 오토마타내리누름 오토마타유한 상태 기계 각 언어 및 문법은 바로 윗줄의 진부분집합이다. 또한 각 기계와 문법은 바로 윗줄의 기계와 문법으로 동등하게 기술될 수 있다.
