Аннотация:
Излагаются основные понятия теории вероятностных автоматов, приводятся новые доказательства классических результатов теории вероятностных автоматов, связанных с эквивалентностью и редукцией вероятностных автоматов, а также излагается и доказывается критерий реализуемости вероятностных реакций конечными вероятностными автоматами общего вида, являющийся усилением соответствующего критерия Р.Г.Бухараева и Х.Хомута ([22], [23]).