论文标题
随机自动机的一致性
Congruences for Stochastic Automata
论文作者
论文摘要
定义了随机自动机的一致性，对自动机分析空间进行了构建并研究了相应的因子自动机。我们研究有限和无限流的行为。一致性由多个部分组成，这表明可以在这些部分的指导下以多个步骤进行保理。
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.
