![](/user_photo/2706_HbeT2.jpg)
TVPS_posobie_13_06_2013
.pdf![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8181x1.jpg)
Каждый символ входного алфавита ai (i , k ) имеет свою матрицу вероятностей переходов Ai=(ajs), где ajs – вероятность перехода автомата из состояния qj в состояние qs при поступлении на вход сигнала ai.
Также для каждого символа входного алфавита ai определена матрица вероятностей выходов Bi=(bjl), где bjl – вероятность выработки на выходе автомата, находящегося в состоянии qj, сигнала bl.
Таким образом, если k=|А|, r=|Q|, p=|B|, то для задания автомата потребуется k матриц Ai и Bi. Сумма элементов каждой строки матриц равна 1.
Помимо указанных матриц описание автомата должно быть дополнено вектором вероятностей начальных состояний автомата C, элемент cj которого – вероятность того, что в начале работы автомат будет находится в состоянии j. Сумма элементов вектора равна 1.
Пример 65. Имеется вероятностный автомат. k=2, r=3, p=2. A={a1, a2}, Q={q1, q2, q3}, B={b1, b2}. Тогда для задания автомата потребуются две матрицы вероятностей переходов и две матрицы вероятностей выходов, а также вектор вероятностей начальных состояний.
Для определения нового состояния и выходного символа также необходимо разыграть значения двух случайных величин R1 и R2.
Пусть в начальный момент времени автомат находится в состоянии q3 и на вход поступает символ a1. Для вычисления нового состояния автомата выбирается 3-я строка в матрице A1 (на вход поступил a1), в нашем примере это (0.3 0.3 0.4):
если случайное число R1 ≤ a31, то новым состоянием будет q1, 181
если случайное число a31 < R1 ≤ a31+a32, то новым состоянием будет q2,
если случайное число R1 > a31+a32, то новым состоянием будет q3.
Например, если R1=0.64, то новым состоянием будет q3. Аналогично определяются выходные сигналы.
Приведенный выше автомат является полным вероятностным автоматом. Существуют другие разновидности вероятностных автоматов, у которых либо переход в новое состояние, либо выходной сигнал определяются детерминировано.
Если выходной сигнал автомата определяется детерминировано, то такой автомат называется B-детерминированным вероятностным автоматом. Аналогично, Q-детерминированным вероятностным автоматом называется вероятностный автомат, у которого выбор нового состояния является детерминированным.
B-детерминированные вероятностные автоматы по аналогии с детерминированными автоматами делятся на автоматы Мили и Мура.
Задание. Требуется заполнить табл. 25, иллюстрирующую работу полного вероятностного автомата автомата из примера 65. a, b
– символы входного и выходного слов, q_old и q_new – текущее и будущее состояние автомата, R1 и R2 – случайные числа из диапазона [0, 1], используемые для определения перехода q_new и выходного сигнала b.
Пусть на вход автомата поступили символы, полученные случайным образом, a1a1a2a1a2. А генератор случайных чисел выдал следующую последовательность (значения округлены): 0.23, 0.46,
0.08, 0.79, 0.48, 0.94, 0.73, 0.37, 0.48, 0.91, 0.57. Первое случайное число используется для определения начального состояния автомата
(c1 <0.23≤ c1+c2, то q_old=q2).
182
![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8183x1.jpg)
|
|
|
|
|
|
|
Таблица 25 |
|
|
Иллюстрация работы вероятностного автомата |
|
||||
|
|
|
|
|
|
|
|
a |
q_old |
|
R1 |
q_new |
R2 |
|
b |
|
|
|
|
|
|
|
|
a1 |
q2 |
|
0.46 |
|
0.08 |
|
|
|
|
|
|
|
|
|
|
a1 |
|
|
0.79 |
|
0.48 |
|
|
|
|
|
|
|
|
|
|
a2 |
|
|
0.94 |
|
0.73 |
|
|
|
|
|
|
|
|
|
|
a1 |
|
|
0.37 |
|
0.48 |
|
|
|
|
|
|
|
|
|
|
a2 |
|
|
0.91 |
|
0.57 |
|
|
|
|
|
|
|
|
|
|
Автоматы 3 группы
Определение. Под термом понимается конечное ориентированное дерево, каждой вершине которого приписана некоторая буква а алфавита А, причем число выходящих из вершины дуг равно (а), выходящие из каждой вершины дуги пронумерованы.
Автоматы над термами используются для распознавания множеств термов.
Определение. Конечные автоматы над термами представляют собой систему
(A, Q, В, , , ),
где A, Q, В – конечные множества входных символов, состояний и выходных символов;
– функция, сопоставляющая каждому элементу а A некоторое целое число, причем так, что существует хотя бы один элемент а A:
(а)=0;
, – функции, сопоставляющие каждому символу а A отображения следующего вида:
а: Q Q … Q Q, (а)
а: Q Q … Q B. (а)
183
![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8184x1.jpg)
Функционирование автомата заключается в сопоставлении каждой вершине терма некоторого состояния из Q и выходного символа из B.
В начальный момент времени каждой концевой вершине
сопоставляется состояние а и выходной символ а ( (а)=0, а и |
а |
– элементы множеств Q и B соответственно). |
|
Пусть некоторой вершине терма v сопоставлен входной символ |
|
а, (а)=m. Тогда обозначим v1, v2, …, vm – вершины, к которым от |
v |
ведут стрелки. Если вершинам уже сопоставлены состояния q1, q2, …, qm, то вершине v сопоставляется состояние а(q1, q2, …, qm) и выходной символ а(q1, q2, …, qm).
После того, как найдено состояние и выходной символ, соответствующий корню терма, выходной символ анализируется. Если b B' (B' – выделенное заранее подмножество), то говорят, что автомат принимает терм, в противном случае – отвергает терм.
Автоматы над термами используются в математической логике для доказательства разрешимости некоторых математических теорий.
184
3.12.Упражнения
Упражнение 10
Конечный автомат (КА) как распознаватель. Построить КА, распознающий во входной последовательности подслова одного из видов a1, a2, а3 и выдающий на выходе единицу в точности в те моменты, когда на входе появляется последняя буква одного из этих подслов (Таблица 26).
Таблица 26
Слова для распознавания
Вариант |
a1 |
а2 |
а3 |
Вариант |
a1 |
а2 |
а3 |
|
|
||||||
|
|
|
|
|
|
|
|
1 |
0001 |
1010 |
111 |
21 |
1100 |
0101 |
111 |
2 |
1000 |
1111 |
010 |
22 |
0101 |
0000 |
110 |
3 |
0011 |
0000 |
110 |
23 |
1011 |
0001 |
010 |
4 |
0111 |
1001 |
000 |
24 |
0010 |
1011 |
000 |
5 |
1011 |
0110 |
101 |
25 |
1101 |
0100 |
000 |
6 |
0011 |
0001 |
110 |
26 |
0101 |
1000 |
011 |
7 |
1000 |
0101 |
111 |
27 |
0001 |
1110 |
101 |
8 |
0000 |
1010 |
111 |
28 |
0010 |
1001 |
011 |
9 |
1000 |
0100 |
011 |
29 |
0101 |
1011 |
001 |
10 |
0010 |
1011 |
100 |
30 |
1000 |
0010 |
011 |
11 |
1001 |
0100 |
011 |
31 |
0011 |
0110 |
101 |
12 |
1000 |
0010 |
101 |
32 |
1011 |
0100 |
001 |
13 |
0001 |
0111 |
010 |
33 |
0001 |
1001 |
011 |
14 |
1001 |
0011 |
000 |
34 |
0111 |
0011 |
010 |
15 |
1011 |
1100 |
111 |
35 |
0101 |
1011 |
110 |
16 |
1011 |
0101 |
001 |
36 |
1001 |
0010 |
101 |
17 |
0011 |
1000 |
010 |
37 |
0110 |
1000 |
111 |
18 |
1100 |
0001 |
101 |
38 |
0011 |
1101 |
000 |
19 |
0110 |
0111 |
001 |
39 |
1011 |
0101 |
100 |
20 |
0101 |
1001 |
110 |
40 |
1000 |
0100 |
110 |
185
![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8186x1.jpg)
Упражнение 11
КА как преобразователь. Построить КA с наименьшим числом состояний, удовлетворяющий условиям Ф(q,ai)=bi, где q – начальное состояние автомата. Информация о входных словах ai содержится в
табл. 26, о выходных словах bi (i=1, 2, 3) |
в табл. 27. |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
Таблица 27 |
|
|
|
Выходные слова КА |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
Вариант |
b1 |
b2 |
b3 |
Вариант |
|
b1 |
b2 |
b3 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1001 |
1110 |
101 |
21 |
|
0100 |
1010 |
011 |
|
|
2 |
0110 |
0001 |
100 |
22 |
|
1000 |
1010 |
010 |
|
|
3 |
1100 |
1110 |
001 |
23 |
|
1001 |
1011 |
011 |
|
|
4 |
1001 |
0101 |
111 |
24 |
|
1000 |
1111 |
101 |
|
|
5 |
0110 |
1100 |
010 |
25 |
|
0110 |
1000 |
111 |
|
|
6 |
1101 |
1111 |
000 |
26 |
|
1011 |
0100 |
100 |
|
|
7 |
0110 |
1001 |
010 |
27 |
|
1011 |
0001 |
010 |
|
|
8 |
1001 |
0110 |
001 |
28 |
|
1001 |
0110 |
111 |
|
|
9 |
0101 |
1100 |
111 |
29 |
|
1011 |
0000 |
110 |
|
|
10 |
0010 |
1111 |
110 |
30 |
|
1100 |
1110 |
100 |
|
|
11 |
0111 |
1110 |
110 |
31 |
|
1001 |
1110 |
000 |
|
|
12 |
0111 |
1001 |
010 |
32 |
|
0110 |
1100 |
101 |
|
|
13 |
1001 |
0111 |
010 |
33 |
|
1001 |
0110 |
111 |
|
|
14 |
0000 |
1010 |
101 |
34 |
|
1100 |
1001 |
111 |
|
|
15 |
0110 |
0100 |
011 |
35 |
|
1101 |
0000 |
001 |
|
|
16 |
0110 |
1001 |
111 |
36 |
|
0111 |
1001 |
010 |
|
|
17 |
1001 |
0011 |
110 |
37 |
|
0100 |
1101 |
100 |
|
|
18 |
0110 |
1001 |
000 |
38 |
|
1000 |
1011 |
101 |
|
|
19 |
1010 |
1010 |
110 |
39 |
|
1101 |
0001 |
110 |
|
|
20 |
0100 |
0101 |
011 |
40 |
|
0110 |
1001 |
000 |
|
Упражнение 12
Для данного конечного автомата построить диаграмму Мура и канонические уравнения. Информацию о конечном автомате следует взять из задания 11.
186
![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8187x1.jpg)
Упражнение 13
КА как перечислитель. Определить множество тех слов, которые могут быть получены на выходе неинициального КА при его различных начальных состояниях. Информация о КА есть результат выполнения задания 12.
Упражнение 14
Придумать КА, моделирующий работу светофора.
Придумать КА, являющийся лексическим анализатором некоторого языка программирования (количество команд языка ограничить для уменьшения размеров КА).
Упражнение 15
Диагностика КА. Задан инициальный КА, имеющий начальное состояние q1. Возможные неисправности этого автомата заключаются в изменении его начального состояния. Требуется указать такое входное слово а наименьшей длины, чтобы по реакции автомата на слово а можно было определить неизвестное начальное состояние. Информация о КА содержится в табл. 28.
Таблица 28
КА для упражнения 14
a |
q |
q1 |
q2 q3 |
|
0q1, 0 q3, 0 q1, 1
1q2, 0 q1, 1 q2, 0
Упражнение 16
Автомат М имеет входной алфавит А={0, 1, 2}, В={0, 1} и задан в табл. 29, в которой запись i, j соответствует qi, j. Найти для автомата М минимальный автомат М'.
187
![](/html/2706/288/html_ujSZWK_so1._UXC/htmlconvd-_C6Lf8188x1.jpg)
Таблица 29
КА для упражнения 15
|
|
Вариант |
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
|
|
|
|
|
|
|
|
|
|
|
|
|
Вариант |
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
q1 |
|
|
q2 |
|
|
q3 |
|
|
q4 |
|
|
q5 |
|
|
q6 |
|
|
q7 |
|
|
q8 |
|
|
|
x |
|
q1 |
|
|
q2 |
|
|
q3 |
|
|
q4 |
|
|
q5 |
|
|
q6 |
|
|
q7 |
|
q8 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1,1 |
|
|
4,0 |
|
|
4,0 |
|
|
4,1 |
|
|
3,1 |
|
|
4,0 |
|
|
1,1 |
|
|
1,1 |
|
|
|
|
0 |
|
5,0 |
|
|
2,0 |
|
|
5,0 |
|
|
2,1 |
|
|
2,1 |
|
|
6,0 |
|
|
6,0 |
|
|
1,0 |
|
|
1 |
|
|
1 |
|
3,0 |
|
|
2,0 |
|
|
3,1 |
|
|
1,0 |
|
|
5,1 |
|
|
1,0 |
|
|
4,0 |
|
|
7,1 |
|
15 |
|
|
1 |
|
1,1 |
|
|
3,0 |
|
|
1,0 |
|
|
6,0 |
|
|
5,1 |
|
|
4,1 |
|
|
7,1 |
|
|
6,0 |
|
|
|
|
|
2 |
|
1,0 |
|
|
2,0 |
|
|
3,1 |
|
|
7,0 |
|
|
8,0 |
|
|
2,1 |
|
|
7,0 |
|
|
3,0 |
|
|
|
|
2 |
|
4,0 |
|
|
6,1 |
|
|
7,0 |
|
|
2,1 |
|
|
6,1 |
|
|
4,0 |
|
|
5,0 |
|
|
6,0 |
|
|
|
|
0 |
2,1 |
|
1,0 |
|
2,0 |
|
8,1 |
|
2,1 |
|
2,0 |
|
2,0 |
|
2,1 |
|
|
|
0 |
1,1 |
|
3,0 |
|
8,1 |
|
1,0 |
|
3,1 |
|
3,1 |
|
3,1 |
|
2,1 |
||||||||||||||||||
|
2 |
|
1 |
1,1 |
|
7,0 |
|
3,0 |
|
1,1 |
|
2,1 |
|
3,0 |
|
2,0 |
|
4,1 |
16 |
|
1 |
1,0 |
|
3,0 |
|
4,0 |
|
7,0 |
|
7,0 |
|
6,0 |
|
3,1 |
|
4,1 |
||||||||||||||||||||
|
|
|
|
2 |
7,0 |
|
4,1 |
|
2,1 |
|
6,1 |
|
8,0 |
|
6,1 |
|
5,0 |
|
8,1 |
|
|
|
2 |
5,1 |
|
1,1 |
|
4,0 |
|
7,1 |
|
8,1 |
|
6,1 |
|
7,1 |
|
2,0 |
||||||||||||||||||
|
|
|
|
|
0 |
|
1,1 |
|
|
3,0 |
|
|
5,0 |
|
|
4,0 |
|
|
6,1 |
|
|
5,1 |
|
|
4,0 |
|
|
6,1 |
|
|
|
|
0 |
|
6,0 |
|
|
2,1 |
|
|
5,1 |
|
|
4,0 |
|
|
6,1 |
|
|
5,1 |
|
|
7,0 |
|
|
1,1 |
|
|
3 |
|
|
1 |
|
4,0 |
|
|
1,0 |
|
|
5,1 |
|
|
3,0 |
|
|
3,0 |
|
|
6,1 |
|
|
3,0 |
|
|
1,0 |
|
17 |
|
|
1 |
|
1,0 |
|
|
3,1 |
|
|
6,0 |
|
|
5,0 |
|
|
5,1 |
|
|
1,1 |
|
|
1,0 |
|
|
2,1 |
|
|
|
|
|
2 |
|
4,1 |
|
|
5,1 |
|
|
3,1 |
|
|
7,1 |
|
|
1,1 |
|
|
1,0 |
|
|
4,0 |
|
|
3,1 |
|
|
|
|
2 |
|
2,0 |
|
|
4,1 |
|
|
5,0 |
|
|
5,1 |
|
|
1,0 |
|
|
6,1 |
|
|
2,1 |
|
|
1,1 |
|
|
|
|
0 |
7,0 |
|
2,1 |
|
6,1 |
|
1,0 |
|
4,0 |
|
7,1 |
|
7,1 |
|
5,0 |
|
|
|
0 |
7,0 |
|
1,1 |
|
1,1 |
|
6,1 |
|
3,1 |
|
2,1 |
|
4,0 |
|
3,0 |
||||||||||||||||||
|
4 |
|
1 |
4,0 |
|
1,1 |
|
4,0 |
|
6,0 |
|
5,0 |
|
1,1 |
|
8,1 |
|
4,1 |
18 |
|
1 |
1,1 |
|
2,0 |
|
3,0 |
|
2,1 |
|
1,0 |
|
3,0 |
|
1,0 |
|
8,1 |
||||||||||||||||||||
|
|
|
|
2 |
4,0 |
|
1,0 |
|
4,0 |
|
8,0 |
|
7,1 |
|
4,0 |
|
8,0 |
|
4,0 |
|
|
|
2 |
2,0 |
|
2,1 |
|
8.0 |
|
2,5 |
|
2,0 |
|
6,0 |
|
7,1 |
|
4,0 |
||||||||||||||||||
|
|
|
|
|
0 |
|
1,1 |
|
|
6,0 |
|
|
2,1 |
|
|
2,1 |
|
|
1,0 |
|
|
3,1 |
|
|
2,1 |
|
|
6,0 |
|
|
|
|
0 |
|
1,1 |
|
|
5,1 |
|
|
4,0 |
|
|
3,0 |
|
|
4,1 |
|
|
4,1 |
|
|
5,1 |
|
|
5,0 |
|
|
5 |
|
|
1 |
|
2,0 |
|
|
1,1 |
|
|
1,0 |
|
|
1,0 |
|
|
6,1 |
|
|
2,0 |
|
|
5,0 |
|
|
6,0 |
|
19 |
|
|
1 |
|
3,0 |
|
|
1,0 |
|
|
5,1 |
|
|
6,0 |
|
|
1,0 |
|
|
4,0 |
|
|
7,0 |
|
|
1,0 |
|
|
|
|
|
2 |
|
3,0 |
|
|
7,0 |
|
|
3,0 |
|
|
4,1 |
|
|
8,1 |
|
|
5,1 |
|
|
6,1 |
|
|
6,1 |
|
|
|
|
2 |
|
1,1 |
|
|
3,0 |
|
|
4,1 |
|
|
3,1 |
|
|
1,1 |
|
|
6,0 |
|
|
7,1 |
|
|
7,1 |
|
|
|
|
0 |
3,1 |
|
1,1 |
|
4,0 |
|
8,0 |
|
1,1 |
|
7,1 |
|
1,0 |
|
4,0 |
|
|
|
0 |
2,1 |
|
4,1 |
|
6,0 |
|
5,1 |
|
5,0 |
|
5,1 |
|
8,1 |
|
2,1 |
||||||||||||||||||
|
6 |
|
1 |
2,0 |
|
8,1 |
|
3,0 |
|
8,1 |
|
8,1 |
|
1,1 |
|
7,1 |
|
5,1 |
20 |
|
1 |
4,1 |
|
1,0 |
|
8,1 |
|
7,1 |
|
6,0 |
|
6,1 |
|
1,1 |
|
5,0 |
||||||||||||||||||||
|
|
|
|
2 |
7,1 |
|
1.0 |
|
5,1 |
|
2,1 |
|
4,1 |
|
3,0 |
|
7,1 |
|
6,0 |
|
|
|
2 |
6,0 |
|
2,1 |
|
6,1 |
|
7,0 |
|
6,0 |
|
5,1 |
|
7,0 |
|
8,1 |
||||||||||||||||||
|
|
|
|
|
0 |
|
2,1 |
|
|
7,0 |
|
|
1,1 |
|
|
5,1 |
|
|
3,0 |
|
|
2,0 |
|
|
3,1 |
|
|
4,1 |
|
|
|
|
0 |
|
1,1 |
|
|
7,0 |
|
|
4,0 |
|
|
8,0 |
|
|
3,1 |
|
|
1,0 |
|
|
6,1 |
|
|
1,0 |
|
|
7 |
|
|
1 |
|
3,0 |
|
|
5,0 |
|
|
3,1 |
|
|
8,1 |
|
|
1,1 |
|
|
4,0 |
|
|
7,0 |
|
|
1,1 |
|
21 |
|
|
1 |
|
2,0 |
|
|
1,1 |
|
|
3,0 |
|
|
8,0 |
|
|
7,0 |
|
|
6,1 |
|
|
7,0 |
|
|
8,1 |
|
|
|
|
|
2 |
|
1,1 |
|
|
2,1 |
|
|
4,0 |
|
|
8,0 |
|
|
1,1 |
|
|
6,0 |
|
|
6,1 |
|
|
8,0 |
|
|
|
|
2 |
|
5,0 |
|
|
2,1 |
|
|
3,1 |
|
|
3,0 |
|
|
1,1 |
|
|
1,1 |
|
|
1,1 |
|
|
8,1 |
|
|
|
|
0 |
2,1 |
|
3,0 |
|
1,1 |
|
4,1 |
|
2,0 |
|
3,1 |
|
4,1 |
|
2,0 |
|
|
|
0 |
6,0 |
|
8,1 |
|
8,1 |
|
7,0 |
|
5,0 |
|
4,0 |
|
4,1 |
|
4,0 |
||||||||||||||||||
|
8 |
|
1 |
1,1 |
|
5,0 |
|
3,0 |
|
6,1 |
|
7,1 |
|
3,0 |
|
1,1 |
|
8,0 |
22 |
|
1 |
1,1 |
|
8,1 |
|
5,1 |
|
4,0 |
|
6,0 |
|
4,0 |
|
4,1 |
|
1,0 |
||||||||||||||||||||
|
|
|
|
2 |
2,0 |
|
6,1 |
|
3,0 |
|
8,0 |
|
6,0 |
|
3,1 |
|
7,0 |
|
5,1 |
|
|
|
2 |
1,0 |
|
1,1 |
|
8,0 |
|
3,1 |
|
2,1 |
|
6,1 |
|
7,1 |
|
1,1 |
||||||||||||||||||
|
|
|
|
|
0 |
|
4,1 |
|
|
2,0 |
|
|
5,1 |
|
|
3,1 |
|
|
4,1 |
|
|
8,0 |
|
|
1,1 |
|
|
3,0 |
|
|
|
|
0 |
|
1,0 |
|
|
3,1 |
|
|
6,0 |
|
|
5,1 |
|
|
4,1 |
|
|
8,1 |
|
|
3,0 |
|
|
1,0 |
|
|
9 |
|
|
1 |
|
3,0 |
|
|
1,1 |
|
|
6,0 |
|
|
3,1 |
|
|
5,0 |
|
|
1,0 |
|
|
7,0 |
|
|
1,0 |
|
23 |
|
|
1 |
|
2,0 |
|
|
1,0 |
|
|
2,1 |
|
|
1,1 |
|
|
7,0 |
|
|
5,0 |
|
|
4,0 |
|
|
8,0 |
|
|
|
|
|
2 |
|
1,1 |
|
|
7,0 |
|
|
1,1 |
|
|
3,0 |
|
|
6,1 |
|
|
7,1 |
|
|
8,0 |
|
|
8,1 |
|
|
|
|
2 |
|
7,1 |
|
|
5,1 |
|
|
2,1 |
|
|
8,0 |
|
|
4,1 |
|
|
5,1 |
|
|
1,1 |
|
|
7,0 |
|
|
|
|
0 |
2,0 |
|
1,1 |
|
7,0 |
|
5,0 |
|
2,1 |
|
4,1 |
|
8,1 |
|
6,0 |
|
|
|
0 |
3,1 |
|
2,0 |
|
4,0 |
|
2,0 |
|
5,1 |
|
3,1 |
|
2,1 |
|
3,0 |
||||||||||||||||||
|
10 |
|
1 |
4,0 |
|
2,0 |
|
6,0 |
|
4,1 |
|
3,1 |
|
1,0 |
|
5,1 |
|
3,0 |
24 |
|
1 |
1,1 |
|
5,1 |
|
1,1 |
|
2,0 |
|
3,1 |
|
1,1 |
|
6,1 |
|
8,1 |
||||||||||||||||||||
|
|
|
|
2 |
2,1 |
|
5,0 |
|
1,1 |
|
3,0 |
|
2,1 |
|
4,1 |
|
7,1 |
|
1,1 |
|
|
|
2 |
4,0 |
|
6,0 |
|
7,1 |
|
2,1 |
|
3,0 |
|
5,1 |
|
8,0 |
|
7,1 |
||||||||||||||||||
|
|
|
|
|
0 |
|
1,0 |
|
|
1,0 |
|
|
7,1 |
|
|
4,1 |
|
|
8,0 |
|
|
6,0 |
|
|
1,1 |
|
|
1,1 |
|
|
|
|
0 |
|
2,0 |
|
|
1,1 |
|
|
2,0 |
|
|
3,1 |
|
|
3,0 |
|
|
5,1 |
|
|
1,1 |
|
|
3,1 |
|
|
11 |
|
|
1 |
|
2,0 |
|
|
3,0 |
|
|
6,0 |
|
|
2,0 |
|
|
4,0 |
|
|
4,0 |
|
|
7,1 |
|
|
2,0 |
|
25 |
|
|
1 |
|
4,0 |
|
|
2,1 |
|
|
5.0 |
|
|
4.0 |
|
|
1,0 |
|
|
2,0 |
|
|
6,0 |
|
|
3,0 |
|
|
|
|
|
2 |
|
4,1 |
|
|
2,0 |
|
|
6,1 |
|
|
2,0 |
|
|
4,1 |
|
|
3,1 |
|
|
2,1 |
|
|
6,1 |
|
|
|
|
2 |
|
1,1 |
|
|
8,0 |
|
|
8,1 |
|
|
4,1 |
|
|
7,0 |
|
|
6,1 |
|
|
1,1 |
|
|
2,0 |
|
|
|
|
0 |
2,0 |
|
4,0 |
|
8,1 |
|
3,0 |
|
3,1 |
|
6,0 |
|
2,1 |
|
6,0 |
|
|
|
0 |
2,0 |
|
2,0 |
|
4,0 |
|
4,0 |
|
3,1 |
|
6,0 |
|
4,0 |
|
4,0 |
||||||||||||||||||
|
12 |
|
1 |
1,0 |
|
1,0 |
|
3,0 |
|
3,0 |
|
2,0 |
|
6,0 |
|
7,0 |
|
8,0 |
26 |
|
1 |
1,0 |
|
1,1 |
|
3,0 |
|
3,0 |
|
5,1 |
|
4,1 |
|
1,0 |
|
1,0 |
||||||||||||||||||||
|
|
|
|
2 |
3,0 |
|
1,0 |
|
2,0 |
|
3,0 |
|
2,0 |
|
1,0 |
|
7,0 |
|
1,0 |
|
|
|
2 |
3,0 |
|
7,0 |
|
5,1 |
|
7,1 |
|
8,0 |
|
4,0 |
|
7,1 |
|
1,1 |
||||||||||||||||||
|
|
|
|
|
0 |
|
1,1 |
|
|
2,0 |
|
|
7,0 |
|
|
6,1 |
|
|
7,0 |
|
|
3,1 |
|
|
4,1 |
|
|
3,0 |
|
|
|
|
0 |
|
1,1 |
|
|
1,1 |
|
|
1,1 |
|
|
1,0 |
|
|
2,1 |
|
|
3,1 |
|
|
5,1 |
|
|
1,0 |
|
|
13 |
|
|
1 |
|
1,1 |
|
|
1,0 |
|
|
1,0 |
|
|
1,1 |
|
|
1,0 |
|
|
1,0 |
|
|
7,1 |
|
|
2,0 |
|
27 |
|
|
1 |
|
1,1 |
|
|
2,0 |
|
|
3,1 |
|
|
6,0 |
|
|
2,1 |
|
|
6,0 |
|
|
7,0 |
|
|
8,0 |
|
|
|
|
|
2 |
|
2,0 |
|
|
5,1 |
|
|
5,0 |
|
|
3,0 |
|
|
6,1 |
|
|
6,1 |
|
|
1,0 |
|
|
3,0 |
|
|
|
|
2 |
|
2,0 |
|
|
5,0 |
|
|
4,0 |
|
|
8,0 |
|
|
8,0 |
|
|
6,1 |
|
|
7,1 |
|
|
7,0 |
|
|
|
|
0 |
3,0 |
|
4,1 |
|
6,0 |
|
7,1 |
|
4,0 |
|
2,1 |
|
8,0 |
|
4,0 |
|
|
|
0 |
3,0 |
|
1,0 |
|
1,1 |
|
2,1 |
|
6,1 |
|
5,1 |
|
8,1 |
|
3,0 |
||||||||||||||||||
|
14 |
|
1 |
1,0 |
|
1,0 |
|
1,0 |
|
4,1 |
|
1,1 |
|
7,1 |
|
7,1 |
|
5,1 |
28 |
|
1 |
1,0 |
|
3,0 |
|
3,0 |
|
1,0 |
|
3,0 |
|
1,1 |
|
1,1 |
|
8,1 |
||||||||||||||||||||
|
|
|
|
2 |
2,1 |
|
6,1 |
|
3,0 |
|
6,0 |
|
8,1 |
|
6,0 |
|
1,1 |
|
5,1 |
|
|
|
2 |
2,1 |
|
2,0 |
|
3,0 |
|
4,1 |
|
1,1 |
|
6,1 |
|
7,0 |
|
7,1 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
188
Вопросы для самоконтроля
1.Дайте определение понятия «конечный автомат».
2.Чем отличаются автоматы Мили и Мура?
3.Какие способы задания КА Вы знаете?
4.Назовите основные этапы синтеза КА.
5.Какие состояния двух автоматов называются эквивалентными?
6.Какие автоматы называются эквивалентными?
7.Назовите основные этапы минимизации КА.
8.Какие специальные классы КА Вы знаете?
9.Дайте определение автомата без памяти, автомат без потери информации, связного КА, сильно связного КА.
10.Какие обобщения КА Вы знаете?
11.Расскажите, что представляет собой автомат Тьюринга.
12.Опишите работу вероятностного автомата и его отличия от детерминированного автомата.
189
Экзаменационные вопросы к дисциплине
Раздел 1. Асинхронные процессы (АП)
1.Понятие дискретной динамической системы.
2.Дискретное время. Дискретная информация.
3.Понятие асинхронного процесса. Траектория АП. Максимальная траектория.
4.Отношение F. Отношение М.
5.Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности.
6.Эффективный асинхронный процесс.
7.Управляемый асинхронный процесс.
8.Простой асинхронный процесс. Протокол простого АП.
9.Репозиция АП. Автономный асинхронный процесс.
10.Конвейерный принцип обработки информации.
11.Редукция асинхронного процесса. Свойства редукции.
12.Структурирование ситуаций АП.
13.Диаграмма переходов (ДП). Конфликтная ситуация. Полумодулярная ДП.
14.Редукция диаграммы переходов.
Раздел 2: Сети Петри (СП)
15.Основная идея теории комплектов, сравнение с теорией множеств. Свойства комплектов.
16.Операции над комплектами. Пространство комплектов.
17.Структура сетей Петри. Граф сети Петри.
18.Маркировка СП. Маркированная СП. Расширенная входная функция. Расширенная выходная функция.
19.Двойственная сеть Петри. Пример. Инверсная сеть Петри. Пример.
20.Функционирование сетей Петри. Схема изменения маркировки позиции pi в результате запуска перехода tj.
21.Правила выполнения сети Петри. Пример выполнения сети Петри.
22.Пространство состояний сети Петри. Функция следующего состояния.
190