컴파일러 구성
어휘분석기(스캐너): 원시 프로그램을 읽어 들여 토큰이라는 의미 있는 문법적 단위로 분리하여 출력구문분석기(파서): 어휘분석 단계의 결과들인 토큰들을 받아 이 토큰들이 주어진 문법에 맞는지 검사 형식언어: 어떤 알파벳에서 얻은 기호(symbol)들로 구성되는 문자열들의 집합형식문법: 형식언어 생성을 위해 사용하는 여러 규칙형식문법 표현을 위해 정규표현, 문법도표, BNF, EBNF 등의 방법을 사용한다.정규문법A→tB A→t 또는 A→Bt A→t 단, t ∈ A, B ∈ VN 생성규칙에 따라 두 가지 종류가 있다.A → tB, A → t 와 같은 생성규칙을 갖는 것을 우선형(right-linear)문법이라 하고 A → Bt, A → t와 같은 생성규칙을 갖는 것을 좌선형(left-linear)문법이라 함..
