情報科学コアカリキュラム講座 形式言語の理論―情報科学コアカリキュラム講座

有川 節夫【監修】/西野 哲朗/石坂 裕毅【著】

丸善出版（1999/07発売）

• サイズ A5判／ページ数 208p／高さ 21cm
• 商品コード 9784621046265
• NDC分類 007.1
• Cコード C3355

内容説明

本書は、情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキストである。形式言語理論で伝統的に扱われる主要な題材を網羅した上で、論理プログラムの理論と言語理論の関連等、最近の新しい研究展開の成果を取り込んである。

目次

１　準備
２　計算可能性と計算量
３　正則言語
４　文脈自由言語
５　文脈依存言語
６　ＥＦＳ
７　自然言語構文論における形式的手法