形式言語の理論

著者

• 西野, 哲朗 ニシノ, テツロウ
• 石坂, 裕毅 イシザカ, ヒロキ
• 有川, 節夫 アリカワ, セツオ

書誌事項

形式言語の理論

西野哲朗, 石坂裕毅著

（情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集）

丸善, 1999.7

タイトル読み

ケイシキ ゲンゴ ノ リロン

注記

監修: 有川節夫

参考文献: 各章末

内容説明・目次

内容説明

情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキスト。

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA42491456
• ISBN:
  • 9784621082096
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 208p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.1
  • NDLC : M121
• 件名:
  • BSH : 形式言語
  • BSH : オートマトン
• 親書誌ID:
  • BN0854240X