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

講義ノート

第1回
準備、NFTA (PDF 文書, 161KB)
第2回
NFTAとDFTAの等価性、反復補題 (PDF 文書, 105KB)
第3回
閉包性 (PDF 文書, 100KB)
第4回
Myhill-Nerode定理 (PDF 文書, 119KB)
第5回
正規木文法、木正規表現I (PDF 文書, 118KB)
第6回
木正規表現II (PDF 文書, 99KB)
第7回
関係とNFTA (PDF 文書, 255KB)
第8回
WSkS:弱2階単項論理 (PDF 文書, 195KB)
第9回
線形時間命題論理 (PDF 文書, 108KB)
第10回
AWEDC:等値制約つきNFTA (PDF 文書, 156KB)
第11回
AWCBB:兄弟間の等値制約つきNFTA、リダクションオートマトン (PDF 文書, 113KB)
第12,13回
木変換 (PDF 文書, 475KB)
第14回
ヘッジオートマトン (PDF 文書, 197KB)

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

ページトップへ

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