Sets generated by stochastic automata of Markov’s chain type

Abstract

In the earlier paper of the author [2] it has been introduced the concept of the generability for stochastic automaton. Here we give new necessary and sufficient conditions for the generability of the set of infinite sequences of automaton states. Moreover, we consider the generability of subset, complement, union, intersection and difference of generable sets.