  Congruences for stochastic automata are defined, the correspondin factor
automata are constructed and investigated for automata ove analytic spaces. We
study the behavior under finite and infinite streams. Congruences consist of
multiple parts, it is shown that factoring can be done in multiple steps,
guided by these parts.
