컴파일러 컴파일러
컴파일러 컴파일러 (Compiler-Compiler), 또는 컴파일러 생성기 (Compiler Generator)는 컴파일러를 자동으로 생성하는 소프트웨어 도구를 의미한다. 컴파일러 컴파일러는 일반적으로 컴파일러가 번역해야 할 소스 언어의 문법 규칙 (예: 정규 표현식, 문맥 자유 문법 등)과 대상 언어로의 변환 규칙을 입력으로 받는다. 이러한 입력 정보를 기반으로 컴파일러 컴파일러는 소스 언어를 대상 언어로 번역하는 컴파일러의 코드를 생성한다.
개요
컴파일러 컴파일러는 컴파일러 개발 과정을 자동화하고 간소화하는 데 사용된다. 전통적인 컴파일러 개발은 어휘 분석, 구문 분석, 의미 분석, 코드 생성 등 여러 단계를 수작업으로 구현해야 하므로 시간과 노력이 많이 소요된다. 컴파일러 컴파일러를 사용하면 개발자는 소스 언어의 문법과 의미 규칙을 정의하는 데 집중할 수 있으며, 나머지 컴파일러 구현은 자동으로 생성될 수 있다.
작동 방식
컴파일러 컴파일러의 작동 방식은 일반적으로 다음과 같다.
- 입력: 컴파일러 컴파일러는 소스 언어의 문법과 의미 규칙을 정의하는 명세 (Specification)를 입력으로 받는다. 이 명세는 보통 형식적인 언어 (예: BNF, EBNF)로 작성된다.
- 분석: 컴파일러 컴파일러는 입력된 명세를 분석하여 소스 언어의 문법 구조를 파악한다.
- 생성: 분석된 문법 구조를 기반으로 컴파일러 컴파일러는 어휘 분석기 (Lexer), 구문 분석기 (Parser), 의미 분석기, 코드 생성기와 같은 컴파일러의 구성 요소를 생성한다.
- 출력: 컴파일러 컴파일러는 생성된 컴파일러의 소스 코드 또는 실행 파일을 출력한다.
예시
- Yacc (Yet Another Compiler-Compiler): 가장 널리 알려진 컴파일러 컴파일러 중 하나로, LALR (Look-Ahead LR) 문법을 처리하여 C 언어로 구문 분석기를 생성한다.
- Lex: 어휘 분석기를 생성하는 데 사용되는 도구로, 정규 표현식을 기반으로 입력 문자열을 토큰으로 분리하는 어휘 분석기를 C 언어로 생성한다.
- ANTLR (ANother Tool for Language Recognition): LL(*) 문법을 지원하며, Java, C#, Python 등 다양한 언어로 구문 분석기를 생성할 수 있다.
장점
- 컴파일러 개발 시간 단축
- 컴파일러 구현의 정확성 향상
- 다양한 언어에 대한 컴파일러 개발 용이
단점
- 생성된 컴파일러의 성능이 수작업으로 최적화된 컴파일러보다 떨어질 수 있음
- 컴파일러 컴파일러 자체의 사용법을 익혀야 함
- 복잡한 언어의 경우, 명세 작성 및 디버깅이 어려울 수 있음