특히 , 문법 구문 분석기 는 제작물 들 이 라고 도 불리 는 한 세트 의 구문 구조 들 을 기초 로 하 여 형태소 분석기 에 의해 만들 어 지 는 토큰 들 사이 의 관계 들 을 식별 한다 . 각각 의 제작물 은 논리 단위 를 나타내 고 , 전형 적 으로 다른 논리 단위 들 에서 는 토큰 들 을 사용 하 여 정의 된다 . 대부분 의 언어 들 은 두 가지 광역 유형 의 논리 단위 들 을 정의 한다 . 이 논리 단위 들 은 이 예 들 에서 명령문 들 및 식 들 이 다 . 일반 적 으로 식 들 은 값 들 을 제공 하 는 구문론 상 의 언어 구조 들 이 다 . 명령문 들 은 변수 들 의 상태 를 바꾸 거나 , 프로그램 의 흐름 을 제어 하 거나 , 당해 언어 에 의해 지원 되 는 다른 연산 들 을 수행 하 는 구문론 상 의 구조 들 이 다 .