49 Штрих Шеффера
(элемент «и-не») обозначается символом l и определяется формулой
X
l
Y
= 
=
V
50)Стрелка
Пирса(элемент »или-не» функция Вебба,
функция Даггера) обозначается символом
и определяется формулой
X
Y=
=
&
52 конечным автоматом с памятью называется такая логическая схема, в которой значения выходной функции Y(t) зависят не только от входных переменных X(t), но и от их предыдущих значений.
Для описания функционирования автомата необходимо установить соответствие между последовательностями выходных и входных сигналов.
Правило определения значений выходных сигналов:
1) Описывается переход из одного состояния в другое под воздействием каждого входного сигнала т.е. необходимо определить функции выходов и переходов.
Различают 2 модели КА:
Автоматы Мили
Автоматы Мура
В (1) значение выходного сигнала y(t) зависит от входного сигнала x(t) и сигнала состояния y(t)=A[x(t)a(t)] функция выходов.
В (2) значение выходного сигнала y(t) полностью определено состоянием автомата в тот же момент времени.
Любой конечный автомат можно описать как по модели Мили так по модели Мура.
53 Способы представления конечных автоматов с памятью.
Существуют 3 формы представления КА:
1) Табличная
2) Графическая
3) Матричная
1.В табличной представляется 2-мя таблицами, которые описывают функцию переходов и табличных выходов описывающих функцию выходов.
2. Матричная: в ней автомат представляется матрицей состояний, которая составляет аналогичную матрицу смежности для графа состояния автомата.
54 Анализ ка.
Существует 2 вида анализа:
1) Анализ автомата с целью выявления правильности функционирования автомата.
2) Анализ для выявления характерных типов состояний автоматов и последовательность входящих сигналов по которым записываются переходы из одного состояния в другое для соответствия входной последовательности и формируются при этом выходные сигналы.