オートマトン・言語と計算理論(電子情報通信レクチャーシリーズ〈B-6〉) [全集叢書]

オートマトン・言語と計算理論(電子情報通信レクチャーシリーズ〈B-6〉) の 商品概要

• 要旨(「BOOK」データベースより）

  計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の３種類が存在する。このことを把握するため、計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。

• 目次(「BOOK」データベースより）

  １　言語とは何か・なぜ必要か
  ２　正規表現と有限オートマトン
  ３　文脈自由文法
  ４　プッシュダウンオートマトン
  ５　チューリング機械と０型文法
  ６　チューリング機械の停止性と決定問題
  ７　ＮＰ完全問題
  ８　最近の話題―あとがきにかえて

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  岩間 一雄(イワマ カズオ)
  １９８０年京都大学大学院博士課程修了（電気工学専攻）。工学博士。現在、京都大学大学院教授。研究テーマは計算量理論、アルゴリズム理論、近似・分散アルゴリズム等の設計と解析、量子アルゴリズム

オートマトン・言語と計算理論(電子情報通信レクチャーシリーズ〈B-6〉) の商品スペック