出版社内容情報
コンパイラの仕組みを理論と実践の両面から詳細に解説！
本書は、コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から、現代の実行環境で求められる最適化技術までを体系的に説明したテキストです。
【本書のポイント】
・正規表現、決定性/非決定性有限オートマトン（DFA/NFA）、文脈自由文法（CFG）、反復補題、プッシュダウンオートマトン（PDA）など、言語処理の土台となる理論的基礎を厳密に解説しています。Chomsky標準形やGreibach標準形といった文法変形の手法もカバーしています。
・lexやyaccなどの自動生成ツールを活用した解析プログラムの構築手順を提示します。下向き（LL(1)）および上向き（LR/SLR/LALR(1)）構文解析のアルゴリズムに加え、あいまいな文法への対処や、実用コンパイラで不可欠となるエラーリカバリや型チェックの構造まで踏み込んで記述しました。
・バックエンド処理では、ARMアセンブリ命令をベースとした具象的なコード生成と関数フレーム構造を解説しました。さらに、制御フローグラフや静的単一代入（SSA）形式、最適化基盤LLVMの活用、定数伝播、ループ最適化、グラフ彩色によるレジスタ割り当てまで、現代のコンパイラ技術を幅広く取り扱っています。
・各章末には理解度を深める演習問題を配置し、巻末には解答を収録しています。大学・大学院での講義用テキストとしてはもちろん、言語処理系などを独習したい技術者の自習書としても活用できます。
※本書は『情報系教科書シリーズ コンパイラ』の改題改訂版です。
【目次】
内容説明
プログラミング言語の根幹を支えるコンパイラの仕組みと構成法について、基礎理論から実装の実際までを体系的に解説した決定版。構文解析、最適化、コード生成といった一連のプロセスを論理的かつ明快に紐解く。プログラミングの本質を掴むＡＲＭ６４アーキテクチャをベースに解説。
目次
第１章 コンパイラの概要
第２章 字句解析
第３章 文法
第４章 構文解析
第５章 意味解析
第６章 コード生成
第７章 最適化
著者等紹介
湯淺太一［ユアサタイイチ］
理学博士。１９８２年 京都大学大学院理学研究科博士課程修了。京都大学数理解析研究所助手。現在、京都大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
