type 2

type 2 문법은 생성의 왼쪽에 오직 하나의 non-terminal 이 올 때 이를 type 2 문법이라 한다.

몇가지 예를 들면 ,

• A -> ABc
• A -> CDe
• S -> Sab
• ...

type 2 문법을 context-free 문법이라 하고 , 이 문법이 생성하는 언어를 context-free 언어라 하고, 이를 컴퓨터로 처리할 수 있도록 인식하는 인식기를 푸시다운 오토마타(push-down automata) 라한다.

언어의 문법을 정의 할 때 이 타입의 문법을 사용한다.