https://9dok.org/document/y963pj4j-on-monogenic-nondeterministic-automata.html