구(句)구조 문법 G = (V_N, V_T, P, S)의 바꿔쓰기 규칙이 다음과 같은 형태를 지니는 문법. 2형 문법이라고도 한다.

 

이 문법에서 생성되는 언어를 문맥 자유 언어라고 하며, 2형 언어라고도 한다. 이 문법에 따라서 생성되는 언어의 클래스는 비결정성(非決定性) 후입 선출 자동 장치가 받아들이는 언어의 클래스와 일치한다. 특히 결정성 후입 선출 자동 장치가 받아들이는 언어를 결정성 문맥 자유 언어라고 한다.