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

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

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

последовательности.
Мы рассмотрим только одну заданную последовательность

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

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

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

начале из 00 (0) имеем переход в 01 (1). Это

если последовательность правильная. А если не правильная?

а неправильно





Т.е. возможен возврат, в 00.

(3) в 01 (1).

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

строки и столбца, представленные в виде десятичного числа;
Очевидно, что кружки

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