Added tree automaton definition and NBA.