Unreliable Colonies – The Sequential Case
Ján Gašo · Journal of automata, languages and combinatorics · 2000
A colony is a formal model of reactive systems which usually act in a real world. The unreliability is an important and typical feature of reactive systems. In this paper we discuss a possibility to add unreliability into colonies. Stochastic regular grammars are used to enhance the architecture of colonies and to establish the model of unreliable colonies. Some properties of this model are examined, including relations of languages and classes of languages between several types of models of (unreliable) colonies.