의미 분석

Semantic Analysis

타입 검사, 심볼 테이블, 속성 문법