立ち読みあり電子版あり教科書向けレビューあり※書籍在庫がない場合でも電子版がある場合があります。電子版ありにチェックをつけてください。本書は,実践的にコンパイラを学ぶことができる教科書である。コンパイラを記述するプログラミング言語にはOCamlという関数型言語を採用した。目的コードには多くのPCで動作確認ができるようにx64コードを採用した。大学,短大,高専等におけるオートマトン・形式言語理論に関する講義のテキストである。本書が扱うのは理論であるが,証明は一切でてこない。多くの例とわかりやすい解説で直観的に考え方を理解できるよう心がけた。有限個の状態間遷移を表現するモデルである有限オートマトンについて,その理論に基づく,コンパイラ,機械学習,機械翻訳,情報検索,画像圧縮,暗号などへの応用を「応用オートマトン工学」と呼び,その理論と応用の一部を解説。本書はプログラミング言語に関する最も基本的事項であるプログラミングパラダイムと構文および意味論について概説し,特にC言語とJavaについてのプログラミング言語の意味論に焦点を当て,その有効性に重点をおいて解説した。本書はコンパイラの構成方法について,Yacc/Lexによる実際に動作可能なプログラムを用いて解説。字句解析,構文解析,意味解析,実行時環境,コード生成を説明の後,簡単なコンパイラの作成例について具体的に述べている。ために,プログラムをコンパイルするためのアルゴリズムと,その理論的背景について,基本から応用まで詳しく説明した。著コンピュータプログラム変換に必要なコンパイラを普遍的かつ一般的な事項に焦点をおいて記述。目的コードをつくる際の説明については,Algol系の言語を想定して解説した。著パソコン用の簡易言語は,数多く市販されている。この簡易言語を総合的な広い視野で比較し,その特色を解説した。それぞれの簡易言語をとりあげて,入力,出力,処理内容などの使い方も説明している。初心者が良いプログラムを作るため必要な技術を平易に記述。プログラムを実際に電算機にかけて実行する場合の手順を詳述し,実用上問題のないプログラムの作り方を示している。計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学,ソフトウェア技術に携わる人達に新しい理論と手法を提供。