대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
틀
:
형식 언어 및 형식 문법
언어
주시
편집
v
t
e
오토마타 이론
:
형식 언어
및
형식 문법
촘스키 위계
0유형
(없음)
1유형
2유형
3유형
형식 문법
무제약 문법
재귀 문법
문맥 의존 문법
문맥 자유 문법
정규 문법
형식 언어
재귀 열거 언어
재귀 언어
문맥 의존 언어
문맥 자유 언어
정규 언어
오토마타
튜링 기계
판정자
선형유한 오토마타
내리누름 오토마타
유한 상태 기계
각 언어 및 문법은 바로 윗줄의
진부분집합
이다. 또한 각 기계와 문법은 바로 윗줄의 기계와 문법으로 동등하게 기술될 수 있다.