-Поиск по дневнику

Поиск сообщений в zhurnalist

 -Подписка по e-mail

 

 -Статистика

Статистика LiveInternet.ru: показано количество хитов и посетителей
Создан: 26.11.2010
Записей:
Комментариев:
Написано: 18

Кодирование состояний асинхронного автомата

Дневник

Вторник, 04 Января 2011 г. 20:28 + в цитатник
Рассмотрим процесс перехода из состояния в состояние для асинхронного автомата, поведение которого представлено в табл. 22.1 с выделенными устойчивыми состояниями, где крайний правый столбец представляет произвольно выполненное кодирование состояний. Переход из одного состояния в другое в реальной схеме реализуется как смена набора состояний элементов памяти. Пусть сначала действует входной сигнал а1 и автомат находится в устойчивом состоянии q1 (код 000). Затем входной сигнал меняется на а3, и автомат согласно заданному поведению должен пойти в состояние q4 (код 011). В зависимости от того, какой из двух элементов памяти, z2 или z3, меняет свое состояние первым, автомат может оказаться на какое-то время в промежуточном состоянии, представленном набором состояний элементов памяти 010 либо 001. Если первым меняет свое состояние элемент z3, то автомат окажется в состоянии q2 (код 001), которое является устойчивым для входного сигнала а3, т. е. вместо того, чтобы идти в состояние q4, автомат остается в состоянии q2.

Таблица 22.1
Таблица переходов асинхронного автомата
а1 а2 а3 z1 z2 z3
q1 q1 q3 q4 0 0 0
q2 q1 q3 q2 0 0 1
q3 q1 q3 0 1 0
q4 q5 – q4 0 1 1
q5 q5 q3 q2 1 0 0

Рассмотренное явление носит название состязаний или гонок элементов памяти. Принято называть состязания неопасными, если все промежуточные состояния, в которых автомат может оказаться при переходе из одного состояния в другое под воздействием некоторого входного сигнала а, являются неустойчивыми для сигнала а, т. е. при любом порядке переключений элементов памяти автомат из некоторого состояния qi под воздействием входного сигнала а переходит всегда в состояние qj (a, qi). Если же при этом автомат может оказаться в некотором устойчивом состоянии qk, отличном от qj, то состязания называются опасными.

Метки:  

 Страницы: [1]