[176805] |
Title: On the Decomposition of Generalized Semiautomata. |
Written by: Merve Cakir and Karl-Heinz Zimmermann |
in: <em>arXiv</em>. May (2020). |
Volume: Number: |
on pages: |
Chapter: |
Editor: |
Publisher: |
Series: https://arxiv.org/pdf/2004.08805.pdf |
Address: |
Edition: |
ISBN: |
how published: CaZi20b |
Organization: |
School: |
Institution: |
Type: |
DOI: |
URL: |
ARXIVID: |
PMID: |
Note: khzimmermann, AEG
Abstract: Semiautomata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by dropping the restrictions imposed by probability. It is well-known that each stochastic semiautomaton can be decomposed into a sequential product of a dependent source and a deterministic semiautomaton making partly use of the celebrated theorem of Birkhoff-von Neumann. It will be shown that the each generalised semiautomaton can be partitioned into a sequential product of a generalized dependent source and a deterministic semiautomaton.