Statistics for Finite Automata Models: Algorithm, Application, and Semigroup Study