https://123dok.net/document/1y9kxmwz-on-regularity-of-unary-probabilistic-automata.html