Options
Congruences for stochastic automata
Doberkat, Ernst-Erich
2021
Loading...
e-ISSN
2464-8728
Abstract
Congruences for stochastic automata are defined, the corresponding factor automata are constructed and investigated for automata over analytic spaces. We study the behavior under finite and infinite streams. Congruences consist of multiple parts, it is shown that factoring can be undertaken in multiple steps, guided by these parts.
Publisher
EUT Edizioni Università di Trieste
Source
Ernst-Erich Doberkat, "Congruences for stochastic automata" in: "Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)", EUT Edizioni Università di Trieste, Trieste, 2021. pp.
Languages
en
Rights
Attribution-NonCommercial-NoDerivatives 4.0 Internazionale
File(s)