type 0

이 문법의 제약 조건은 없다. 모든 문법은 type 0 문법에 속한다.

type 0 문법은 unrestricted grammar , 이 문법이 생성하는 언어를 recursively enumerable set , 이 문법을 인식하는 인식기를 turing machine 이라 한다.