Cascade Products of Stochastic Automata

Abstract

Stochastic Moore automata have in opposition to stochastic Mealy automata the same capabilities as general stochastic automata, but have the advantage that they are easier to access than their pure stochastic counterparts. Cascade decomposition of automata leads to a loop-free partitioning and in this way contributes to the analysis of automata. This paper shows that stochastic Moore automata can be decomposed into cascade products of stochastic Moore automata under mild conditions