Symbolic Stochastic Systems and the Matrix Tree Theorem

Abstract. Using symbolic Gaussian elimination we show that the Ergodic theorem for Markov chains is in fact a variant of the Matrix Tree theorem. This approach also provides insight into complexity issues regarding both theorems.