WEKO3
アイテム
オートマトン・形式言語特論
http://hdl.handle.net/2237/19534
http://hdl.handle.net/2237/19534cc9fdffb-b81a-47d2-a566-98e401a3e8d7
Item type | 教材 / Learning Material(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-07 | |||||
タイトル | ||||||
タイトル | オートマトン・形式言語特論 | |||||
言語 | ja | |||||
著者 |
酒井, 正彦
× 酒井, 正彦 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | ja | |||||
権利情報 | 本資料は、名古屋大学の教員酒井正彦によって作成され、名大の授業Webサイトに掲載された「オートマトン・形式言語特論」(2010)から講義資料のみを登録したものです。 Copyright(C)2010 酒井正彦 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。 | |||||
言語 | ja | |||||
出版者 | ||||||
出版者 | 名古屋大学オープンコースウェア委員会 | |||||
言語 | ja | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_e059 | |||||
資源タイプ | learning object | |||||
関連情報 | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | URI | |||||
関連識別子 | https://ocw.nagoya-u.jp/courses/0300-オートマトン・形式言語特論-2014/ | |||||
書誌情報 |
発行日 2012-05-08 |
|||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/19534 | |||||
識別子タイプ | HDL |