22Графический метод задания.
Граф перходов представляет собой ориентированный связный граф.В вершинах которого состояния (Мили) или состояния и соответствующие выходные сигналы(Мура).На рёбрах записываются входные сигналы, вызывающиесоотвующий переход (Мура) или входные и выходные сигналы, соответствующие этому переходу(Мили).
Замечания:
1)Связность графа переходов означает, что все состояния достижимы.
2)Автомат у которого для некоторой пары (ai,zi) отсутствует переход, наз-ся частичным автоматом ,у него в таблице переходов – выходов имеются прочерки.Иначе, автомат полностью определён.
3)У полностью определённого автомата из каждого узла графа перехода должно выходить число дуг, равное кол-ву символов входного алфавита.
4
)Все
рассмотренные автоматы должны быть
детерминированы,
т.е.
для них недопустимы переходы в различные
состояния из одного и того же состояния
под действием одинаковых
входных сигналов.
z1
z2
недопустимо
35Риск в асинхронных автоматах.
Возникает
если лог.
выр-е ф-ий
возбужд.
этого автомата содержит одновременно
и прямое и инверсное значение какой-
либо переменной.Пример:
Причины неправильного срабатывания:
1)Не одновременность появления единичного и нулевого сигналов на входах триггера (прямой и инверсный). В результате оказывается, что на прямом и инверсном выходах в какой-то момент оказываются равными (Из-за неодинаковой задержки на триггере).
Q
Наличие задержки на лог. элементах из-за которой прямой и инверсный сигналы вырабатываются не одновременно, когда используется элемент “НЕ”. В результате прямой и инверсный сигналы сливаются.
x
(
)
T2=0001
1001
Риск
опасе для элементов, которые не должны
менять своё состояние.
В
данном выше случае ложный сигнал-1.Тоже
самое наблюдается и при
Такие ситуации наз-ся статическим риском в 1 или нуле. Глушков доказал, что СДНФ булевой ф-ии свободна от любого риска по всем переменным.
Меры
по устранению риска
-ф-ия
задана в мин.
ддизъюнктивной
норм.
форме
.Если
ф-ия образованна на элементах “Не
И”(
элемент Шифера)-риск в 1.
Если ф-ия образованна на элементах “Не
Или”
(
элемент Пирса)-риск в 0.
1)Н-ти знач-я наборов аргументов, при которых ф-ия остаётся постоянной при изменении анализируемого элемента c 0 на 1 и с 1 на 0, остальные элементы не меняются
|
N |
x |
y |
z |
f |
|
0 |
0 |
0 |
0 |
0 |
|
1 |
0 |
0 |
1 |
1 |
|
2 |
0 |
1 |
0 |
0 |
|
3 |
0 |
1 |
1 |
1 |
|
4 |
1 |
0 |
0 |
0 |
|
5 |
1 |
0 |
1 |
0 |
|
6 |
1 |
1 |
0 |
1 |
|
7 |
1 |
1 |
1 |
1 |
Ф-ия не зависит от x на наборах:(0,4),(3,7)
|
N |
x |
y |
z |
f |
|
0 |
0 |
0 |
0 |
0 |
|
3 |
0 |
1 |
1 |
1 |
|
4 |
1 |
0 |
0 |
0 |
|
7 |
1 |
1 |
1 |
1 |
3)Необходимо
н-ти лог выр-е ф-ии
,в
которой принять
4)Определить знач-я ф-ии на выбранных наборах аргументов.
|
N |
x |
y |
z |
f |
|
|
0 |
0 |
0 |
0 |
0 |
0-риска нет |
|
3 |
0 |
1 |
1 |
1 |
0-риска нет |
|
4 |
1 |
0 |
0 |
0 |
0-единичн риск |
|
7 |
1 |
1 |
1 |
1 |
1 |
5)Сравнить
знач-я ф-ии f
и
на
выбранных наборах.
Чтобы
избавиться от риска,
необходимо записать вместо минимальной
ДНФ,
сокращённую
ДНФ.В
сокращённой Днф присутствуют лишние
импликанты.
|
|
|
1 |
|
|
|
|
1 |
1 |
1
Лишняя импликанта
6)Проверяем
знач-е
и
на
тех же наборах.
|
N |
x |
y |
z |
f |
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
3 |
0 |
1 |
1 |
1 |
0 |
0 |
|
4 |
1 |
0 |
0 |
0 |
0 |
1 |
|
7 |
1 |
1 |
1 |
1 |
1 |
1 |
Поэтому для того чтобы гарантировать не отказ схемы необходимо когда встречаются и прямые и инверсные выр-я записать в Сокращённой ДНФ добавив лишнюю импликанту.