資料詳細

  • 1 件中、 1 件目

形式言語の理論 利用可

西野哲朗／著 -- 丸善 -- 199907 -- 0071

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/ﾆｼﾉ/一般Ｈ 113875797 一般 利用可

ページの先頭へ

資料詳細

タイトル 形式言語の理論
書名ヨミ ケイシキ　ゲンゴ　ノ　リロン
シリーズ名 情報科学コアカリキュラム講座
著者名 西野哲朗 ／著, 石坂裕毅 ／著, 有川節夫 ／監修  
著者ヨミ ニシノ，テツロウ , イシザカ，ユウキ , アリカワ，セツオ  
出版者 丸善  
出版年 199907
ページ数等 ２０８ｐ
大きさ ２１ｃｍ
内容細目 文献あり　索引あり
一般注記 シリーズの編者：稲垣康善ほか
一般件名 言語（情報科学）  
ISBN 4-621-04626-8
問合わせ番号（書誌番号） 1100574008
NDC8版 0071
内容紹介 本書は、情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキストである。形式言語理論で伝統的に扱われる主要な題材を網羅した上で、論理プログラムの理論と言語理論の関連等、最近の新しい研究展開の成果を取り込んである。

ページの先頭へ

内容一覧

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

ページの先頭へ