Markovian Analysis of Large Finite State Machines