>>62 Tree Automata でつか？よくわかんないでし。Formal Methods サイトのリンクもあるし・・・。
>>72 そのサイト、なんか意味あるの？