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.

中文翻译：

---

随机自动机的同余

定义了随机自动机的同余，构造了相应的因子自动机，并在解析空间上研究了自动机。我们研究有限流和无限流下的行为。同余由多个部分组成，表明可以在这些部分的指导下分多个步骤完成因式分解。