資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 計算理論の基礎 1 ( オートマトンと言語 )

Michael Sipser／著 -- 共立出版 -- 2023.4 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /007.1/5202/1-2023 7116586742 配架図 Digital BookShelf
2023/05/19 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-320-12561-2
ISBN13桁 978-4-320-12561-2
タイトル 計算理論の基礎
タイトルカナ ケイサン リロン ノ キソ
巻次 1
著者名 Michael Sipser ／著, 田中 圭介 ／監訳, 藤岡 淳 ／監訳, 阿部 正幸 ／訳, 植田 広樹 ／訳, 太田 和夫 ／訳, 田中 圭介 ／訳, 藤岡 淳 ／訳, 渡辺 治 ／訳
著者名典拠番号

120002013180000 , 110005283560000 , 110004349280000 , 110003343860000 , 110008162220000 , 110002330250000 , 110005283560000 , 110004349280000 , 110001830360000

出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 2023.4
ページ数 27,194,40p
大きさ 21cm
各巻タイトル オートマトンと言語
各巻タイトル読み オートマトン ト ゲンゴ
原タイトル注記 原タイトル:Introduction to the theory of computation 原著第3版の翻訳
価格 ¥3400
内容紹介 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第3版を分冊にしたもの。1はオートマトンと言語を収録。
書誌・年譜・年表 文献:巻末p1～7
一般件名 オートマトン , 計算量理論
一般件名カナ オートマトン,ケイサンリョウ リロン
一般件名典拠番号

510128900000000 , 510702300000000

各巻の一般件名 形式言語
各巻の一般件名読み ケイシキ ゲンゴ
各巻の一般件名典拠番号

510690500000000

分類：都立NDC10版 007.1
資料情報1 『計算理論の基礎 1』（ オートマトンと言語）　Michael Sipser／著, 田中 圭介／監訳 , 藤岡 淳／監訳　共立出版　2023.4（所蔵館：中央　 請求記号：/007.1/5202/1-2023　 資料コード：7116586742）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1154169259

ページの先頭へ

目次 閉じる

0 序論
  0.1 オートマトン,計算可能性,複雑さ
  0.2 数学的概念や用語
  0.3 定義,定理,証明
  0.4 証明のタイプ
1 正規言語
  1.1 有限オートマトン
  1.2 非決定性
  1.3 正規表現
  1.4 非正規言語
2 文脈自由言語
  2.1 文脈自由文法
  2.2 プッシュダウン・オートマトン
  2.3 非文脈自由言語
  2.4 決定性文脈自由言語

ページの先頭へ