研鑽 コンパイラ

著者名：湯淺太一【著】

オーム社（2026/10発売）

• ISBN：9784274235597

内容説明

コンパイラの仕組みを理論と実践の両面から詳細に解説！
本書は、コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から、現代の実行環境で求められる最適化技術までを体系的に説明したテキストです。

【本書のポイント】
・正規表現、決定性/非決定性有限オートマトン（DFA/NFA）、文脈自由文法（CFG）、反復補題、プッシュダウンオートマトン（PDA）など、言語処理の土台となる理論的基礎を厳密に解説しています。Chomsky標準形やGreibach標準形といった文法変形の手法もカバーしています。
・lexやyaccなどの自動生成ツールを活用した解析プログラムの構築手順を提示します。下向き（LL(1)）および上向き（LR/SLR/LALR(1)）構文解析のアルゴリズムに加え、あいまいな文法への対処や、実用コンパイラで不可欠となるエラーリカバリや型チェックの構造まで踏み込んで記述しました。
・バックエンド処理では、ARMアセンブリ命令をベースとした具象的なコード生成と関数フレーム構造を解説しました。さらに、制御フローグラフや静的単一代入（SSA）形式、最適化基盤LLVMの活用、定数伝播、ループ最適化、グラフ彩色によるレジスタ割り当てまで、現代のコンパイラ技術を幅広く取り扱っています。
・各章末には理解度を深める演習問題を配置し、巻末には解答を収録しています。大学・大学院での講義用テキストとしてはもちろん、言語処理系などを独習したい技術者の自習書としても活用できます。

※本書は『情報系教科書シリーズ　コンパイラ』の改題改訂版です。

目次

改訂にあたって
まえがき
第1章 コンパイラの概要
第2章 字句解析
第3章 文法
第4章 構文解析
第5章 意味解析
第6章 コード生成
第7章 最適化
演習問題解答
索引