電子情報通信レクチャーシリーズ --
岩間一雄 /著   -- コロナ社 -- 2003.11 -- 26cm -- 172p

資料詳細

タイトル オートマトン・言語と計算理論
シリーズ名 電子情報通信レクチャーシリーズ
著者名等 岩間一雄 /著  
出版 コロナ社 2003.11
大きさ等 26cm 172p
分類 007.1
件名 オートマトン , 言語(情報科学)
注記 並列タイトル:Automata,languages and theory of computation
注記 索引あり
著者紹介 1980年京都大学大学院博士課程修了。現在、京都大学大学院教授。
内容紹介 計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため、計算機のモデルを正確に理解し、上手に使えるように指導する教科書。
要旨 計算機では、解ける問題、解けない問題、解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため、計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。
目次 1 言語とは何か・なぜ必要か;2 正規表現と有限オートマトン;3 文脈自由文法;4 プッシュダウンオートマトン;5 チューリング機械と0型文法;6 チューリング機械の停止性と決定問題;7 NP完全問題;8 最近の話題―あとがきにかえて
ISBN(13)、ISBN    4-339-01821-X
書誌番号 1103075514
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1103075514

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.1/424 一般書 利用可 - 2030565188 iLisvirtual