type 1

이 문법은 생성의 왼쪽에 있는 스트링의 크기 보다 오른쪽에 있는 스트링의 크기가 크거나 같은 특징을 가지고 있는 문법이다.

몇가지 예를 보면

• AB -> CDE
• ABC -> deFG
• ...

ABC->DE 이런형식은 문법은 context sensitive 문법이 아니다.( 생성의 왼쪽에 있는 스트링 의 크기가 3 이고 , 오른쪽에 있는 스트링의 크기가 2 이므로 조건에 위배 됨)

type l 문법은 context sensitive grammar , 이 문법이 생성하는 언어를 context sensitive 언어 , 이 문법을 인식하는 인식기를 linear bounded automata 라 한다.