https://123dok.net/document/yr3j397j-on-the-structure-of-general-stochastic-automata.html