資料詳細

  • 1 件中、 1 件目

【図書】 形式言語の理論

情報科学コアカリキュラム講座 --
西野哲朗 ／著, 石坂裕毅 ／著, 有川節夫 ／監修   -- 丸善 -- １９９９．０７ -- ２１ｃｍ -- ２０８ｐ

資料詳細

タイトル 形式言語の理論
シリーズ名 情報科学コアカリキュラム講座
著者名等 西野哲朗 ／著, 石坂裕毅 ／著, 有川節夫 ／監修  
出版 丸善 １９９９．０７
大きさ等 ２１ｃｍ ２０８ｐ
分類 007.1
件名 言語（情報科学）
注記 シリーズの編者：稲垣康善ほか
内容 文献あり　索引あり
要旨 本書は、情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキストである。形式言語理論で伝統的に扱われる主要な題材を網羅した上で、論理プログラムの理論と言語理論の関連等、最近の新しい研究展開の成果を取り込んである。
目次 １　準備；２　計算可能性と計算量；３　正則言語；４　文脈自由言語；５　文脈依存言語；６　ＥＦＳ；７　自然言語構文論における形式的手法
ISBN(13)、ISBN 　　 4-621-04626-8
書誌番号 1199043827

ページの先頭へ

所蔵

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

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

ページの先頭へ