Tree automata and languages | lit.salon