tree-automata-induction