Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine