Part 2. Special Issues in Intellectual Systems Theory

Main concepts of a theory of probabilistic automata

A. M. Mironov


Abstract: The basic concepts of a theory of probabilistic automata are presented. We deliver new proofs of classical theorems related to equivalence and reduction of probabilistic automata. We provide and prove a new criterion of realizability of probabilistic reactions by finite probability automata of general form.

Keywords: probabilistic automata, equivalence, reduction, realizability, probabilistic reaction.