Syntax Analyzer는 주어진 토큰들의 집합이 유효한지 판단하고, 트리 형태의 중간 표현을 생성한다.
token을 분석할 때 사용한 regular expression는 이 분석에서 충분하지 않기에, context-free language를 사용한다.