Repository logo
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics
  5. Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)
  6. Congruences for stochastic automata
 
  • Details
  • Metrics
Options

Congruences for stochastic automata

Doberkat, Ernst-Erich
2021
Loading...
Thumbnail Image
ISSN
0049-4704
DOI
10.13137/2464-8728/33313
http://hdl.handle.net/10077/33313
  • Article

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.
Journal
Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics 
Subjects
  • Stochastic automata

  • Giry functor

  • congruences

  • factoring

  • stepwise reduction

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
Licence
http://creativecommons.org/licenses/by-nc-nd/4.0/
File(s)
Loading...
Thumbnail Image
Download
Name

27_Doberkat.pdf

Format

Adobe PDF

Size

425.88 KB

Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback