https://123dok.net/document/zx56vgvq-rigid-tree-automata.html