英語で学ぶ計算理論
ツォイクマン・トーマス／共著 湊真一／共著 大久保好章／共著
発売日：2009年4月
- ISBN
- 978-4-339-02438-8
- 著者情報
- ツォイクマン，トーマス（ツォイクマン，トーマス）（Ｚｅｕｇｍａｎｎ，Ｔｈｏｍａｓ）
１９８１年フンボルト大学大学院理学研究科修士課程修了（数学専攻）。１９８３年理学博士（フンボルト大学）。１９９１年ダルムシュタット工科大学助教授。１９９３年九州大学助教授。１９９７年九州大学教授。２０００年リューベック大学教授。２００４年北海道大学教授
湊 真一（ミナト シンイチ）
１９８８年京都大学工学部情報工学科卒業。１９９０年京都大学大学院工学研究科修士課程修了（情報工学専攻）。日本電信電話株式会社勤務。１９９５年博士（工学）（京都大学）。２００４年北海道大学助教授。２００７年北海道大学准教授
大久保 好章（オオクボ ヨシアキ）
１９９０年千葉大学工学部機械工学科卒業。１９９２年東京工業大学大学院総合理工学研究科修士課程修了（システム科学専攻）。１９９５年東京工業大学大学院総合理工学研究科博士課程修了（システム科学専攻）。博士（理学）。北海道大学助手。２００７年北海道大学助教
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
形式言語とオートマトン理論を学び、部分的帰納関数とチューリング機械を通して、アルゴリズムの直感的観念の定式化を行う。
目次
Ｉｎｔｒｏｄｕｃｉｎｇ Ｆｏｒｍａｌ Ｌａｎｇｕａｇｅｓ
Ｉｎｔｒｏｄｕｃｉｎｇ Ｆｏｒｍａｌ Ｇｒａｍｍａｒｓ
Ｆｉｎｉｔｅ Ｓｔａｔｅ Ａｕｔｏｍａｔａ
Ｃｈａｒａｃｔｅｒｉｚａｔｉｏｎ ｏｆ ＲＥＧ
Ｒｅｇｕｌａｒ Ｅｘｐｒｅｓｓｉｏｎｓ ｉｎ ＵＮＩＸ
Ｃｏｎｔｅｘｔ‐Ｆｒｅｅ Ｌａｎｇｕａｇｅｓ
Ｍｏｒｅ Ａｂｏｕｔ Ｃｏｎｔｅｘｔ‐Ｆｒｅｅ Ｌａｎｇｕａｇｅｓ
ＣＦ ａｎｄ Ｈｏｍｏｍｏｒｐｈｉｓｍｓ
Ｐｕｓｈｄｏｗｎ Ａｕｔｏｍａｔａ
ＣＦ，ＰＤＡｓ ａｎｄ Ｂｅｙｏｎｄ〔ほか〕
商品詳細
- 出版社名
- コロナ社
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
