講義ノート

第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)