https://123dok.net/document/z1d94xez-automata-for-unordered-trees.html