개요 프로그래밍 언어론 포스팅에 이어 형식언어 내용을 포스팅해보려 한다. 사용한 교재가 이름부터 '컴파일러 입문'이지만 교재의 중반부는 형식언어론과 관련된 부분이고, 중후반부는 LL, LR 구문 분석 등과 같은 컴파일러와 관련된 부분이다. 추가로, 프로그래밍 언어론에서 사용한 용어들이 꽤나 많이 등장하여 프로그래밍 언어론과 연결하여 공부하면 꽤 좋은 내용이라고 생각한다. 번역기와 컴파일러 번역기(translator)란 한 프로그래밍 언어로 작성된 프로그램을 입력으로 받아 이와 동등한 의미를 갖는 다른 프로그래밍 언어로 된 프로그램을 출력하는 시스템 프로그램을 뜻한다. 여기서 입력되는 프로그램을 소스 프로그램이라 하며 이 프로그램을 기술한 언어를 소스 언어(source language)라 한다. 그리고 ..