https://dkvhr.github.io/posts/finding-solutions-probabilistic-automata/