틀:형식 언어 및 형식 문법

위키백과 ― 우리 모두의 백과사전.

오토마타 이론: 형식 언어 및 형식 문법
촘스키 위계 형식 문법 형식 언어 최소한의 자동장치
Type-0 (무제약) 순환 열거 언어 튜링 기계
(무제약) 순환 언어 판정자
Type-1 문맥 의존 문법 문맥 의존 언어 선형유한 오토마타
Type-2 문맥 무관 문법 문맥 무관 언어 내리누름 오토마타
Type-3 정규 문법 정규 언어 유한 오토마타
각 언어 및 문법은 바로 윗 줄 언어 및 문법의 진부분집합이다.