Выдержка из книги
Кудрявцев В.Б.
Введение в теорию абстрактных автоматов
Первой из таких модификаций является вероятностный автомат, представляющий собой объект % ( А, Q, В, ф, г э), где A, Q, В - конечные алфавиты, имеющие тот же -, смысл, что и у абстрактного конечного автомата, а ф и г з - случайные функции, отображающие QX 4 в Q и В соответственно и задаваемые системами вероятностных мер фд а, tyq а, определенных для любых q из Q и а из А соответственно на множествах Q и В.