We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: On the Theory of Stochastic Automata

Abstract: The theory of discrete stochastic systems has been initiated by the work of Shannon and von Neumann. While Shannon has considered memory-less communication channels and their generalization by introducing states, von Neumann has studied the synthesis of reliable systems from unreliable components. The fundamental work of Rabin and Scott about deterministic finite-state automata has led to two generalizations. First, the generalization of transition functions to conditional distributions studied by Carlyle and Starke. This in turn has led to a generalization of time-discrete Markov chains in which the chains are governed by more than one transition probability matrix. Second, the generalization of regular sets by introducing stochastic automata as described by Rabin. Stochastic automata are well-investigated. This report provides a short introduction to stochastic automata based on the valuable book of Claus. This includes the basic topics of the theory of stochastic automata: equivalence, minimization, reduction, covering, observability, and determinism. Then stochastic versions of Mealy and Moore automata are studied and finally stochastic language acceptors are considered as a generalization of nondeterministic finite-state acceptors.
Comments: 50 pages, 11 figures, index included
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL); Probability (math.PR)
MSC classes: 68Q70, 68Q87, 20M35
Cite as: arXiv:2103.14423 [cs.FL]
  (or arXiv:2103.14423v1 [cs.FL] for this version)

Submission history

From: Karl-Heinz Zimmermann [view email]
[v1] Fri, 26 Mar 2021 12:05:42 GMT (53kb)

Link back to: arXiv, form interface, contact.