Stochastic Automata

Provides a general mathematical framework for the analytical aspects of stochastic automata. Shows that under certain topological conditions, non-deterministic automata are generated, which in some cases are produced by stochastic automata.