やっと理論編

研究 副テーマ

モデル変換がMSO(モナディック２階）論理と関係があるという噂は
ずっとしっていたが、すこし理論背景を探し出す。

Tree Transducerというのがよさげな、定式化ということがわかる

  • Top-down Tree Transducer
    • もっとも単純なルールベースの変換
  • Macro Tree Transducer
    • 引数をとれるようにした
  • MSO Tree Transducer
    • MSOでかいたもの

MSOといわずに、とりあえずMacro Tree Transducerでいいので
理論的な裏付け章を起こそう