計算理論とオートマトン言語理論 : コンピュータの原理を明かす

• 資料種別: 図書
• ISBN: 978-4-7819-1521-0
• タイトル: 計算理論とオートマトン言語理論 : コンピュータの原理を明かす
• タイトルよみ: ケイサン リロン ト オートマトン ゲンゴ リロン : コンピュータ ノ ゲンリ オ アカス
• 著者・編者: 丸岡章 著
• 版: 第2版
• シリーズタイトル: Information & Computing ; 122
• 著者標目: 著者 ： 丸岡, 章, 1942- マルオカ, アキラ, 1942- ( 00374609 )典拠
• 出版事項: 東京 : サイエンス社 (出版)
• 出版年月日等: 2021.11
• 出版年（W3CDTF）: 2021
• 数量: 269p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: オートマトン オートマトン ( 00568995 )典拠; 計算量理論 ケイサンリョウリロン ( 00576481 )典拠
• NDC10版: 007.1 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2050円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-M473
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 031820892; http://id.ndl.go.jp/bib/031820892
• 全国書誌番号: 23668965
• トーハンMARC番号: 34282465
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 初学者でも読み進められるように証明を含め丁寧に記述し，全面的に見直しを行った著者渾身の改訂版．“なるほど，そういうことか”を繰り返し体験して楽しみながら学ぶことができる．章末問題にはすべて解答をつけた．（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 丸岡 章 丸岡 章 東北大学名誉教授 工学博士（提供元: 出版情報登録センター（JPRO））

目次

第I部：計算理論とは／すべては計算から始まる／計算理論のための概念や用語／第II部：有限オートマトン，プッシュダウンオートマトン，そして文脈自由文法／有限オートマトン／文脈自由文法／プッシュダウンオートマトン／第III部：計算可能性／チューリング機械／チューリング機械の万能性とその限界／第IV部：計算の複雑さ／クラスPとクラスNP／論理回路に基づいた計算時間限定の計算／NP完全性