문법 체크 Stream of Tokens Abstract Syntax Tree IR Source → Lexer → Parser → FE' → Parsing Understanding sentence structure Parser가 필요한 이유: some program may have recuresive structures Finite Automata는 기억을 못하기 때문에 recursive 구조를 인식할 수 없다. => Push-down Automata => FSM + stack(에 기록) Context-Free Grammar set of productions로 구성됨 symbol -> symbol symbol ... symbol Symbol types: - Terminal: token types - No..