Синтез автомата при недетерминированной последовательности входов

Сентябрь 3, 2022

Главная
Алгебра
Синтез автомата при недетерминированной последовательности входов

Содержание

2. 1. Особенности абстрактного синтеза. На вход автомата поступает не одна, а несколько последовательностей. Автомат – акцептор
3. 2.Определение всех последовательностей. Дано: кодовая последовательность 0132 двоичного двухразрядного сигнала (в десятичном коде); Получить ПФ, описывающие
4. «Чёрный ящик» – распознаватель 0132 Распознаватель
5. Анализ последовательности двоичных сигналов
6. 0132 Это правильная последовательность изменения входов a,b в соответствии с заданием. Возможны и неправильные последовательности из
7. Анализ последовательностей Ограничим возможные неправильные коды изменением только одного двоичного разряда (соседнее кодирование входных наборов). Рассмотрим
8. Анализ последовательностей Направление изменения входных кодов показано стрелками. Видно, что в начале из 00 (0) имеем
9. Анализ последовательностей На втором шаге правильно: 01 (1) в 11 (3), а неправильно Т.е. возможен возврат,
10. Анализ последовательностей Аналогично на третьем шаге неправильным будет переход из 11 (3) в 01 (1).
11. Граф последовательностей
12. Список всех последовательностей Таким образом, имеем всего 4 последовательности: 0132 (правильная,z1=1); 02 (неправильная z2=1); 010 (неправильная
13. 3.Получение таблицы переходов-выходов.
14. Сжатие таблицы переходов
15. Минимизированная таблица переходов
16. Таблица переходов-выходов
17. ПФ, описывающие абстрактный автомат
18. Как получить ПФ? Код клетки – это соединение (конкатенация) двоичного кода строки и столбца, представленные в
19. Структура автомата-распознавателя
21. Скачать презентацию

Слайд 2

1. Особенности абстрактного синтеза.
На вход автомата поступает не одна, а несколько

последовательностей.
Автомат – акцептор (распознаватель) распознаёт заданную или заданные последовательности.
Мы рассмотрим только одну заданную последовательность

Слайд 3

2.Определение всех последовательностей.
Дано: кодовая последовательность 0132 двоичного двухразрядного сигнала (в

десятичном коде);
Получить ПФ, описывающие соответствующий конечный автомат-распознаватель последовательности;

Слайд 4

«Чёрный ящик» – распознаватель 0132
Распознаватель

Слайд 5

Анализ последовательности двоичных сигналов

Слайд 6

0132
Это правильная последовательность изменения входов a,b в соответствии с заданием.
Возможны и

неправильные последовательности из алфавита А={0,1,2,3}.

Слайд 7

Анализ последовательностей
Ограничим возможные неправильные коды изменением только одного двоичного разряда (соседнее

кодирование входных наборов).
Рассмотрим соответствующий квадрат соседних чисел

Слайд 8

Анализ последовательностей
Направление изменения входных кодов показано стрелками. Видно, что в начале

из 00 (0) имеем переход в 01 (1). Это если последовательность правильная. А если не правильная?

Слайд 9

Анализ последовательностей
На втором шаге правильно: 01 (1) в 11 (3), а

неправильно
Т.е. возможен возврат, в 00.

Слайд 10

Анализ последовательностей
Аналогично на третьем шаге неправильным будет переход из 11 (3)

в 01 (1).

Слайд 11

Граф последовательностей

Слайд 12

Список всех последовательностей
Таким образом, имеем всего 4 последовательности:
0132 (правильная,z1=1);
02 (неправильная z2=1);
010 (неправильная

z2=1);
0131 (неправильная z2=1).

Слайд 13

3.Получение таблицы переходов-выходов.

Слайд 14

Сжатие таблицы переходов

Слайд 15

Минимизированная таблица переходов

Слайд 16

Таблица переходов-выходов

Слайд 17

ПФ, описывающие абстрактный автомат

Слайд 18

Как получить ПФ?
Код клетки – это соединение (конкатенация) двоичного кода строки

и столбца, представленные в виде десятичного числа;
Очевидно, что кружки в МТП и ТПВ располагаются в одинаковых клетках.
Если такт устойчивый, то в кружке ТПВ в числителе указывается номер соответствующей строки.
Если такт неустойчивый – то указывается код той строки, в которую осуществляется переход.
В знаменателе указываются выходные сигналы z2z1. Они берутся из первичной таблицы переходов-выходов

Слайд 19

Синтез автомата при недетерминированной последовательности входов

Содержание

1. Особенности абстрактного синтеза. На вход автомата поступает не одна, а несколько

2.Определение всех последовательностей.Дано: кодовая последовательность 0132 двоичного двухразрядного сигнала (в

«Чёрный ящик» – распознаватель 0132Распознаватель

Анализ последовательности двоичных сигналов

0132Это правильная последовательность изменения входов a,b в соответствии с заданием.Возможны и

Анализ последовательностейОграничим возможные неправильные коды изменением только одного двоичного разряда (соседнее

Анализ последовательностейНаправление изменения входных кодов показано стрелками. Видно, что в начале

Анализ последовательностейНа втором шаге правильно: 01 (1) в 11 (3), а

Анализ последовательностейАналогично на третьем шаге неправильным будет переход из 11 (3)