Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Начнем с вероятностных автоматов и выделим категорию множеств со случайными отображениями. Морфизмы ц А - В - случайные отображения, которые можно интерпретировать как стохастические матрицы. Строки матрицы ц нумеруются элементами множества А, а столбцы - элементами из В.
