オートマトン・言語と計算理論 （電子情報通信レクチャーシリーズ） [ 岩間一雄 ]

電子情報通信レクチャーシリーズ 岩間一雄 コロナ社オートマトン ゲンゴ ト ケイサン リロン イワマ,カズオ 発行年月：2003年11月 ページ数：172p サイズ：全集・双書 ISBN：9784339018219 岩間一雄（イワマカズオ） 1980年京都大学大学院博士課程修了（電気工学専攻）。工学博士。現在、京都大学大学院教授。研究テーマは計算量理論、アルゴリズム理論、近似・分散アルゴリズム等の設計と解析、量子アルゴリズム（本データはこの書籍が刊行された当時に掲載されていたものです） 1　言語とは何か・なぜ必要か／2　正規表現と有限オートマトン／3　文脈自由文法／4　プッシュダウンオートマトン／5　チューリング機械と0型文法／6　チューリング機械の停止性と決定問題／7　NP完全問題／8　最近の話題ーあとがきにかえて 計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため、計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。 本 パソコン・システム開発 その他