米田政明 /〔ほか〕著, 米田政明 /監修   -- 近代科学社 -- 2003.5 -- 21cm -- 258p

資料詳細

タイトル オートマトン・言語理論の基礎
著者名等 米田政明 /〔ほか〕著, 米田政明 /監修  
出版 近代科学社 2003.5
大きさ等 21cm 258p
分類 007.1
件名 オートマトン , 言語(情報科学)
注記 文献あり 索引あり
要旨 オートマトンは計算機のモデルであり、機械が計算するとはどのようなことか、機械は種類によって計算能力にどのような差があるか、機械の計算能力には限界があるのかなど、計算機科学の根底に潜む問いに答えるための道具である。一方、形式言語は日本語や英語などの自然言語やCやJavaなどのプログラミング言語のモデルである。文法によって言語が生成されるとはどのようなことか、言語とは何か、文法は種類によって言語の生成能力にどのような差があるのか、さらには文法の言語生成能力には限界があるのかなどの問いも計算機科学の重要な問題である。形式文法はこれらの問いに答えるための道具である。本書はオートマトン・言語理論の根本的な問いと課題に題材を絞り、丁寧に説明している。
目次 第1章 序論;第2章 有限オートマトン;第3章 プッシュダウンオートマトン;第4章 チューリング機械;第5章 形式文法と形式言語;第6章 オートマトンと形式文法の関係;第7章 言語の階層構造
ISBN(13)、ISBN    4-7649-0297-4
書誌番号 1103033755

所蔵

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

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