Конечный автомат

Finite-state machine

Конечный автомат - математическая модель устройства с конечной памятью. Конечный автомат перерабатывает множество входных дискретных сигналов в множество выходных сигналов. Различают синхронные и асинхронные конечные автоматы.

Абстрактная вычислительная машина

Абстрактная вычислительная машина - теоретическое построение, с помощью которого вводится строгое, математическое определение алгоритма.

Асинхронный автомат

Асинхронный автомат - конечный автомат, в котором выходные сигналы считываются в любое время, а переход в новое состояние определяется лишь временем срабатывания всех логических элементов, входящих в логический преобразователь.

Логическая схема

Логическая схема - объект, который в ответ на двоичные дискретные сигналы, подаваемые на его входы, выполняя логические преобразования, выдает двоичные сигналы, появляющиеся на его выходах.

Логический преобразователь

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

Мажоритарный элемент

Majority element

Мажоритарный элемент - объект, имеющий нечетное число ходов и один выход; причем сигнал на выходе совпадает со значением, на большинстве входов. Использование мажоритарных элементов позволяет выявлять и устранять в устройствах возникающие ошибки.

Синхронный автомат

Синхронный автомат - конечный автомат, в котором:
- генератор тактовых импульсов воздействует на автомат;
- выходные сигналы считываются только во время выдачи тактовых импульсов, когда под воздействием входных и промежуточных сигналов автомат уже перешел в новое состояние.