МИНОБРНАУКИ РОССИИ ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ

Федеральное государственное бюджетное

образовательное учреждение
высшего образования
«МИРЭА – Российский технологический
университет»
Институт кибернетики
Дисциплина:
«Дискретная математика»
№10.05.02 «Информационная безопасность
телекоммуникационных систем»

Кафедра ВМ Форма обучения: очная

2020/2021 учебный год
Курс 2 Семестр 3

1. Соединение автоматов: параллельное, последовательное и  с контуром обратной связи. Условия

согласования и связь между Алфавитами автоматов Соединения.
Пример. Составить автоматную таблицу соединения S автоматов S1 и M :
S1 : A\Q 1 2 M: A\Q 1 2
00 2∕0 1∕1 0 2 1
01 1∕1 2∕0 1 1 2
10 2∕1 1∕1 F(q) 01 10
11 1∕0 1∕0
2.
Реализовать в виде ССА над а={ T- триггер , 0 = { , ,}} автомат S :

X\Q 1 2
0 2∕0 1∕0
1 1∕1 2∕0

3. Построить нагруженное A-дерево O-D функции, порождённой автоматом S из пункта 2.

4. Проверить, выполняется ли тождество регулярных формул — a(baa)* = (aba)*a ?

5. Составить программу для машины Тьюринга, которая правильно вычисляет значения функции
 x  1, при x  1
f ( x)   .
 0, при x  0
Решение:

№1. Соединение автоматов: параллельное, последовательное и  с контуром обратной связи.

Условия согласования и связь между алфавитами автоматов соединения (теория).

Способы соединения автоматов в сеть:

(можно привести только общий случай).

Пример. Составить автоматную таблицу соединения S автоматов S1 и M :

S1 : A\Q 1 2 M: A\Q 1 2
00 2∕0 1∕1 0 2 1
01 1∕1 2∕0 1 1 2
10 2∕1 1∕1 F(q) 01 10
11 1∕0 1∕0

Имеем контурное соединение.

𝑋𝑆 = 𝑋1′ = {0, 1}, 𝑌𝑆 = 𝑧 = 𝑌1′ = {0, 1}, 𝑄𝑠 = {1, 2} × {1, 2} = {11, 12, 21, 22}
№2.

Реализовать в виде ССА над а={ T- триггер , 0 = { , ,}} автомат S :

X\Q 1 2
0 2∕0 1∕0
1 1∕1 2∕0

Решение: необходимо построить ССА на Т-триггере.

X={0,1}=Y, Q={1, 2}.

Кодируем состояния:

1->0, 2->1, т.е. Q={0, 1}. Т.о. имеем логический автомат: X\Q 1 2

Т-триггер: 0

Таблица управления памятью:

№3. Построить нагруженное A-дерево O-D функции, порождённой автоматом S из пункта 2.

Решение:
X\Q 1 2
0 2∕0 1∕0
1 1∕1 2∕0

№4. Проверить, выполняется ли тождество регулярных формул — a(baa)* = (aba)*a ?

Решение: Строим минимальные (настроенные) автоматы для левой и правой частей

равенства.

Левая часть:

Имеем:
Правая часть:

Получили такой же автомат, как для левой части. Т.о. языки совпадают (формулы
тождествены).

№5. Составить программу для машины Тьюринга, которая правильно вычисляет значения функции

 x  1, при x  1
f ( x)   .
 0, при x  0

Решение:

𝑞1 → 𝑞𝑧 𝜆𝑆

𝑞1 1 → 𝑞𝑧 𝜆𝑅