オートマトン・形式言語特論

Material type: 文書・図像類

Author: 酒井, 正彦

Publisher: 名古屋大学オープンコースウェア委員会

Publication date: 2012-05-08

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Detailed bibliographic record

Summary, etc.：: オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。(Provided by: 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

NAGOYA Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
NAGOYA Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: オートマトン・形式言語特論
Author/Editor: 酒井, 正彦
Author Heading: 酒井, 正彦
Publication, Distribution, etc.: 名古屋大学オープンコースウェア委員会
Publication Date: 2012-05-08
Publication Date (W3CDTF): 2012-05-08
Text Language Code: jpn
Target Audience: 一般
Format (IMT): application/pdf
Source: slide1.pdf 講義ノート : 第1回 : 準備、NFTA （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide1.pdf
slide2.pdf 講義ノート : 第2回 : NFTAとDFTAの等価性、反復補題（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide2.pdf
slide3.pdf 講義ノート : 第3回 : 閉包性（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide3.pdf
slide4.pdf 講義ノート : 第4回 : Myhill-Nerode定理（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide4.pdf
slide5.pdf 講義ノート : 第5回 : 正規木文法、木正規表現I （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide5.pdf
slide6.pdf 講義ノート : 第6回 : 木正規表現II （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide6.pdf
slide7.pdf 講義ノート : 第7回 : 関係とNFTA （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide7.pdf
slide8.pdf 講義ノート : 第8回 : WSkS:弱2階単項論理（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide8.pdf
slide9.pdf 講義ノート : 第9回 : 線形時間命題論理（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide9.pdf
slide10.pdf 講義ノート : 第10回 : AWEDC:等値制約つきNFTA （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide10.pdf
slide11.pdf 講義ノート : 第11回 : AWCBB:兄弟間の等値制約つきNFTA、リダクションオートマトン（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide11.pdf
slide12.pdf 講義ノート : 第12,13回 : 木変換（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide12.pdf
slide13.pdf 講義ノート : 第14回 : ヘッジオートマトン（fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/slide13.pdf
report1.pdf 課題 : レポート1 （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/report1.pdf
report2.pdf 課題 : レポート2 （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/report2.pdf
report3.pdf 課題 : レポート3 （fulltext）
https://nagoya.repo.nii.ac.jp/record/17451/files/report3.pdf
Access Restrictions: インターネット公開
Rights (production): 本資料は、名古屋大学の教員酒井正彦によって作成され、名大の授業Webサイトに掲載された「オートマトン・形式言語特論」(2010)から講義資料のみを登録したものです。 Copyright(C)2010 酒井正彦
Is Version Of (URI): URI
https://ocw.nagoya-u.jp/courses/0300-オートマトン・形式言語特論-2014/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 名古屋大学 : 名古屋大学学術機関リポジトリ