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

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

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

 

 -Статистика

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

Автомат с абстрактным состоянием. Булев автомат

Дневник

Среда, 22 Декабря 2010 г. 21:08 + в цитатник
Широко распространенным типом автомата является модель, описываемая одной многозначной внутренней переменной q и многими входными и выходными булевыми переменными х1, х2, … , хп и у1, у2, … , ут. Поведение такого автомата задается системой уравнений

q+ = х1, х2, … , хп; q;
y1 = 1х1, х2, … , хп; q;
y2 = 2х1, х2, … , хп; q;

ym = mх1, х2, … , хп; q,

более компактно представляемой в векторной форме

q+ = х, q;
y = х, q.

Функции отличаются от введенных ранее только тем, что многозначные входная и выходная переменные оказались замененными на соответствующие булевы векторы, но внутренняя переменная осталась многозначной.

Описанная модель называется автоматом с абстрактным состоянием. Ею удобно пользоваться на начальных этапах логического проектирования дискретных устройств, когда вход и выход устройства описываются как некоторые множества булевых переменных, имеющих конкретную техническую интерпретацию, в то время как множество внутренних переменных представляется пока в простейшей форме, в виде одной многозначной переменной q. Число значений переменной q полагается равным числу различных состояний автомата, при котором он может реализовать заданное функциональное отношение между входом и выходом.

Метки:  

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