オートマトン・言語理論の基礎
著者
書誌事項
オートマトン・言語理論の基礎
近代科学社, 2003.5
- タイトル別名
-
オートマトン言語理論の基礎
- タイトル読み
-
オートマトン ゲンゴ リロン ノ キソ
大学図書館所蔵 全134件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の著者: 広瀬貞樹, 大里延康, 大川知
監修: 米田政明
参考文献: p[213]-216
内容説明・目次
内容説明
オートマトンは計算機のモデルであり、機械が計算するとはどのようなことか、機械は種類によって計算能力にどのような差があるか、機械の計算能力には限界があるのかなど、計算機科学の根底に潜む問いに答えるための道具である。一方、形式言語は日本語や英語などの自然言語やCやJavaなどのプログラミング言語のモデルである。文法によって言語が生成されるとはどのようなことか、言語とは何か、文法は種類によって言語の生成能力にどのような差があるのか、さらには文法の言語生成能力には限界があるのかなどの問いも計算機科学の重要な問題である。形式文法はこれらの問いに答えるための道具である。本書はオートマトン・言語理論の根本的な問いと課題に題材を絞り、丁寧に説明している。
目次
- 第1章 序論
- 第2章 有限オートマトン
- 第3章 プッシュダウンオートマトン
- 第4章 チューリング機械
- 第5章 形式文法と形式言語
- 第6章 オートマトンと形式文法の関係
- 第7章 言語の階層構造
「BOOKデータベース」 より