Основные понятия теории вероятностных автоматов (часть 2)

Настоящая работа является продолжением статьи [1] и использует понятия и обозначения, введeнные в [1]. В работе излагаются основные понятия теории вероятностных автоматов Мура с числовым выходом и теории вероятностных языков. Приводятся новые доказательства классических результатов теории вероятностных автоматов, связанных с эквивалентностью и редукцией вероятностных автоматов Мура с числовым выходом, а также с регулярностью вероятностных языков.