Компьютерное моделирование. Лабораторный практикум. Алтаев А.А - 5 стр.

UptoLike

Составители: 

9
Лабораторная работа 2.
Дискретно-стохастические модели
Теория
Дискретно-стохастические модели принято называть
Р-автоматами (англ. probabilistic automat). В отличие от F-
автоматов функции переходов
ϕ
и выходов
ψ
в
Р-автоматах описываются матрицами вероятностей
переходов и выходов. Каждый символ x
i
входного алфавита
имеет свою матрицу вероятностей переходов A
i
=(a
jk
) и
матрицу вероятностей выходов B
i
=(b
j
), где a
jk
вероятность
перехода автомата из j состояния в k состояние при
поступлении на вход i-го сигнала, b
j
вероятность
выработки на выходе сигнала . Если обозначить через N и
M - соответственно, количество символов во входном и
выходном алфавитах, через Pчисло состояний, то для
описания вероятностного автомата потребуется N матриц A
и B. Сумма элементов одной строки этих матриц должна
быть равна 1:
=
=
P
k
jk
a
1
1 и
=
=
M
j
b
1
1
λ
λ
. Помимо указанных
матриц описание Р-автомата должно быть дополнено
вектором вероятностей начальных состояний C, элемент c
i
которого вероятность того, что в начале работы Р-
автомат будет находиться в состоянии i. Должно
выполняться условие
=
=
P
i
i
c
1
1.
Рассмотрим пример задания Р-автомата для
следующих данных: N=2, M=2 и P=3. Примем, что
}2;1{
x ,
}'';'{' nmy , }'';'';'{' cbaz
. Для задания автомата в таком
случае достаточно заполнить четыре матрицы и один вектор
(табл. 2.1).
Таблица 2.1
10
x
i
A
i
B
i
C
1
=
1,03,03,0
001
5,005,0
1
A
=
10
01
6,04,0
1
B
2
=
1,009,0
7,03,00
5,05,00
2
A
=
3,07,0
5,05,0
10
2
B
=
6,0
2,0
2,0
C
Такой автомат назовем полным вероятностным P-
автоматом. Существуют другие разновидности P-автоматов,
у которых либо переход в новое состояние, либо выходной
сигнал определяются детерминированно. Если выходной
сигнал Р-автомата определяется детерминированно, то
такой автомат называется Y-детерминированным
вероятностным автоматом. Аналогично, Z-
детерминированным вероятностным автоматом называется
Р-автомат, у которого выбор нового состояния является
детерминированным. Y-детерминированные вероятностные
автоматы по аналогии с F-автоматами можно еще
подразделить на автоматы Мили и Мура.
Задание
В соответствии с заданием разработать программу,
моделирующую работу вероятностного автомата.
Программа должна выводить информацию о состоянии
автомата на каждом такте в виде таблицы
x z_old r_1 z_new r_2 y
где x и y символы входного и выходного слова, z_old
и z_newсоответственно, текущее и будущее состояния
автомата, r_1 и r_2случайные числа из диапазона [0; 1],
используемые для определения перехода z_new и выходного
сигнала y. Обеспечить получение статистики.
Алгоритм определения следующего состояния z_new
                                                                             xi           Ai                     Bi              C
             Лабораторная работа 2.                                                     0,5 0 0,5            0,4 0,6 
          Дискретно-стохастические модели                                                                            
                                                                             1    A1 =  1    0   0     B1 =  1    0 
                                                                                        0,3 0,3 0,1          0                 0,2 
                         Теория                                                                                   1          
                                                                                                                             C =  0,2 
      Дискретно-стохастические модели принято называть                                  0 0,5 0,5            0    1           0,6 
Р-автоматами (англ. probabilistic automat). В отличие от F-                                                                   
                                                                             2    A2 =  0 0,3 0,7      B2 =  0,5 0,5 
автоматов функции переходов ϕ           и выходов ψ        в                            0,9 0 0,1            0,7 0,3 
Р-автоматах   описываются        матрицами     вероятностей                                                          
переходов и выходов. Каждый символ xi входного алфавита                            Такой автомат назовем полным вероятностным P-
имеет свою матрицу вероятностей переходов Ai=(ajk) и                         автоматом. Существуют другие разновидности P-автоматов,
матрицу вероятностей выходов Bi=(bjℓ), где ajk – вероятность                 у которых либо переход в новое состояние, либо выходной
перехода автомата из j состояния в k состояние при                           сигнал определяются детерминированно. Если выходной
поступлении на вход i-го сигнала, bjℓ –вероятность                           сигнал Р-автомата определяется детерминированно, то
выработки на выходе сигнала ℓ. Если обозначить через N и                     такой    автомат     называется    Y-детерминированным
M - соответственно, количество символов во входном и                         вероятностным       автоматом.      Аналогично,      Z-
выходном алфавитах, через P – число состояний, то для                        детерминированным вероятностным автоматом называется
описания вероятностного автомата потребуется N матриц A                      Р-автомат, у которого выбор нового состояния является
и B. Сумма элементов одной строки этих матриц должна                         детерминированным. Y-детерминированные вероятностные
                     P                    M                                  автоматы по аналогии с F-автоматами можно еще
быть равна 1:       ∑ a jk = 1 и
                    k =1
                                         ∑b
                                         λ=1
                                               jλ   = 1 . Помимо указанных   подразделить на автоматы Мили и Мура.
матриц описание Р-автомата должно быть дополнено                                                      Задание
вектором вероятностей начальных состояний C, элемент ci
                                                                                   В соответствии с заданием разработать программу,
которого — вероятность того, что в начале работы Р-
                                                                             моделирующую        работу    вероятностного    автомата.
автомат будет находиться в состоянии i. Должно
                             P                                               Программа должна выводить информацию о состоянии
выполняться условие        ∑c      i   = 1.                                  автомата на каждом такте в виде таблицы
                            i =1                                                 x        z_old      r_1       z_new      r_2        y
         Рассмотрим пример задания                        Р-автомата для         где x и y – символы входного и выходного слова, z_old
следующих данных: N=2, M=2 и P=3. Примем, что x ∈{1;2} ,                     и z_new – соответственно, текущее и будущее состояния
 y ∈ {' m'; ' n'} , z ∈{' a '; ' b'; ' c'} . Для задания автомата в таком    автомата, r_1 и r_2 – случайные числа из диапазона [0; 1],
случае достаточно заполнить четыре матрицы и один вектор                     используемые для определения перехода z_new и выходного
(табл. 2.1).                                                                 сигнала y. Обеспечить получение статистики.
                                                               Таблица 2.1         Алгоритм определения следующего состояния z_new

                                         9                                                               10