https://123dok.net/document/zlgv6w8o-how-to-split-recursive-automata.html