サイトマップお問合せヘルプ
シラバス
  • 授業一覧から探す
    • 教養教育院
    • 文学部・人文学研究科
    • 文学研究科
    • 国際言語文化研究科
    • 教育学部・教育発達科学研究科
    • 法学部・法学研究科
    • 経済学部・経済学研究科
    • 情報学部/情報学研究科
    • 情報文化学部
    • 情報科学研究科
    • 理学部・理学研究科
    • 医学部・医学系研究科
    • 工学部・工学研究科
    • 農学部・生命農学研究科
    • 国際開発研究科
    • 多元数理科学研究科
    • 環境学研究科
    • 創薬科学研究科
    • 国際教育交流センター
    • 国際言語センター
    • ※平成29年度学生募集停止
    • オープンキャンパス
    • 名大の研究指導
    • G30 for everyone
    • 名古屋大学ラジオ公開講座
    • 退職記念講義アーカイブ
    • 退職記念講義2016
    • nuocwをフォローしましょう
    • 過去の特集ページ
    • 教員の方へ
    • NU OCW Podcast
      RSS を iTunes の "Podcast" にドラッグ&ドロップすると、ポッドキャストが登録されます。
      (iTunesは最新版をお使いください)
  1. ホーム >
  2. 情報科学研究科 >
  3. オートマトン・形式言語特論 >
  4. シラバス
授業ホームシラバス講義資料

講義計画

  1. 木オートマトン
  2. 木正規表現
  3. オートマトンと関係
  4. 制約付きオートマトン
  5. 木変換

教科書

Hubert Common, et.al. Tree Automata Techniques and Applications,
(http://www.grappa.univ-lille3.fr/tata/ 全文がここからダウンロードできます)

参考書

オートマトンの基礎:

J.ホップクロフト/J.ウルマン「オートマトン 言語理論 計算論I」第2版、 野崎明弘/高橋正子/町田元/山崎秀記訳、サイエンス社、ISBN 4-7819-1026-X

PLTLに関する参考文献:

B.Hirsch, U.Hustadt:Translating PLTL into WS1S: Application Description, In Methods for Modalities II, University of Amsterdam, 2001
(http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.4636&rep=rep1&type=pdf)

その他

基本的なオートマトンに関する知識を前提とする。

課題

スケジュール

講義内容
1 準備、NFTA
2 NFTAとDFTAの等価性、反復補題
3 閉包性
4 Myhill-Nerode定理
5 正規木文法、木正規表現I
6 木正規表現II
7 関係とNFTA
8 WSkS:弱2階単項論理
9 線形時間命題論理
10 AWEDC:等値制約つきNFTA
11 AWCBB:兄弟間の等値制約つきNFTA、リダクションオートマトン
12 木変換(1)
13 木変換(2)
14 ヘッジオートマトン
15 まとめ・試験

成績評価

レポート50%、試験50%

最終更新日:2014年08月29日
最終更新日の時点の講義内容で公開を行っております。
最新年度の講義と内容が異なる可能性がありますのでご注意ください。

ページトップへ

http://ocw.nagoya-u.jp/