A new graph-based algorithm extracts exact symbolic stationary probability formulas for finite Markov chains, reproducing and ...