Аналитические и имитационные модели. Финаев В.И - 135 стр.

UptoLike

135
Вероятностный автомат будет называться
автоматом с
детерминированной функцией выходов
, если выходной
параметр однозначно задается через предшествующее и
текущее состояние и входной параметр:
ϕ
ϕ=
=
).z,x,z(y ,0
),z,x,z(y ,1
)z,x,z/y(P
tt1tt
tt1tt
tt1tt
Вероятностный автомат первого рода с
детерминированной функцией переходов называется
автоматом со случайными реакциями.
Вероятностный автомат первого рода с
детерминированной функцией выходов называется
марковским.
Правильный ВА второго рода с детерминированной
функцией выходов называется
автоматом с отмеченными
состояниями
. Каждому состоянию соответствует свой
входной параметр. Причем, если у этого ВА стохастическое
отображение элементов множества
Z в элементы
множества
Y задается взаимно однозначно, то ВА
называется
абстрактным и для него достаточно
рассматривать алфавит внутренних состояний.
Абстрактный ВА задается в виде набора
ВА=<Х,Z,Р
0
{Р(z
t
/z
t-1
,х
t
}>.
Если мощность множества Z равна единице, то такой
автомат называется
автоматом без памяти.
Если мощность множества
Х равна единице, то такой
автомат называется автономным.
Автономный абстрактный ВА называется
дискретной цепью Маркова
и задается в следующем
виде:
ВА=<Z,Р
0
{Р(z
t
/z
t-1
)}>.