"Tree automata techniques and applications" - читать интересную книгу автора (Comon H., et al.)