Title: Stochastic Automata Constructive Theory