コンパイラコンパイラ（compiler compiler）は、コンパイラを作成するコンパイラである。

概要

コンピュータのプログラムにおいて、あるプログラム言語で書かれたソースコードをオブジェクトファイルなどに変換するものをコンパイラというが、その開発には技術と手間とを要する。それを支援するために入力する言語の文法と出力形式などの定義情報からコンパイラそのものを全面あるいは部分的に自動生成するものとしてコンパイラコンパイラが開発されている。

代表的なものに、yacc（yet another compiler compiler）がありUNIXに標準ツールとして付属している。 なおyaccは定義された言語の文法の構文解析を行うプログラムを生成するのが主体でオブジェクトへの変換など後の処理は別途作成の労力を必要とする。

yaccの上位互換のものとしてGNUのbisonというものもある。

実装

• LL法
• * ANTLR http://www.antlr.org/、PCCTS
• * JavaCC https://javacc.dev.java.net/
• * Coco/R http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/
• * SLK
• * Spirit - LL(∞)構文解析器生成フレームワークであり、文法は C++ のプログラム内にインラインで書かれる。
• * JetPAG - 最適化 LL(k)構文解析器生成ツール
• * Parsec - Haskell 向けライブラリ
• * Ocaml
• * JFLAP - LL(1)構文解析の教育用ツール
• LR法
• * bison
• * yacc
• * caper
• * kmyacc - 多言語対応LALRパーサー生成系
• * CUP - LALR Parser Generator in Java
• * SableCC http://sablecc.org/
• * JS/CC - The LALR(1) parser and lexical analyzer generator for JavaScript, written in JavaScript