어떤 언어로 쓰여진 프로그램을 구성하는 기호열에 대한 언어 요소 간의 관계 또는 구조를 구문이라고 하는데, 이것을 기술하는 것. 이 목적을 위하여 쓰이는 언어를 메타 언어라고 한다. 가장 널리 쓰이는 것은 배커스 표기법으로, 이것은 문맥 자유 문법과 기술 능력이 등가이다. 그 밖에 파스칼(PASCAL) 언어의 구문 기술로 이용되는 구문도(構文圖) 등이 있다. 구문에 관한 이론을 구문론이라고 하는데 자연 언어 처리 분야에서도 보통 구문론이라고 한다.