Probabilistic Analysis of Large Finite State Machines