オートマトン言語理論計算論

有限オートマトンから文脈自由文法、チューリング機械、計算可能性と計算複雑さまでを扱う計算理論の標準的な教科書。証明を省かずに積み上げる構成で、形式言語の基礎を体系的に学べる。

この本が好きなら

計算理論の基礎

マイケル・サイプサー(訳: 田中圭介・藤岡淳・阿部正幸) / 共立出版 / 2023年(第3版) / 翻訳書

技術: 計算理論・形式言語・数学

理論・基礎古典・名著

型システム入門

型システム入門

ベンジャミン・C・ピアース(訳: 住井英二郎) / オーム社 / 2013年 / 翻訳書

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎古典・名著

CODE

チャールズ・ペゾルド(訳: 酒匂寛) / 日経BP / 2024年(第2版) / 翻訳書

技術: コンピュータアーキテクチャ

理論・基礎古典・名著

コンパイラ

アルフレッド・V・エイホ・モニカ・S・ラム・ラビ・セシィ・ジェフリー・D・ウルマン(訳: 原田賢一) / サイエンス社 / 2009年(第2版) / 翻訳書

技術: コンパイラ・言語処理系

理論・基礎古典・名著

ヘネシー・パターソン コンピュータアーキテクチャ定量的アプローチ

ジョン・L・ヘネシー・デイビッド・A・パターソン(訳: 中條拓伯・天野英晴・鈴木貢) / エスアイビー・アクセス / 2019年(第6版) / 翻訳書

技術: コンピュータアーキテクチャ

理論・基礎古典・名著

コンピュータグラフィックス理論と実践

コンピュータグラフィックス理論と実践

ジェームズ・D・フォーリー(訳: 佐藤義雄) / オーム社 / 2001年 / 翻訳書

技術: コンピュータグラフィックス

理論・基礎古典・名著

この本からもっと探す →

邦訳版の書誌(サイエンス社、2003年)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「J.ホップクロフト, R.モトワニ, J.ウルマン 共著,野崎昭弘 [ほか]共訳」による。原著の初版年1979年はOpenLibrary/英語版Wikipediaの書誌による。