Efficient techniques for parsing with tree automata