2.7. Основные сведения по общей теории дискретных автоматов.

Для изучения релейных устройств с единой точки зрения их непосредственное изучение заменяют анализом абстрактной модели, называемой дискретным автоматом [2, 3] (рис. 5.1).

Часть дискретного автомата, в которой сосредоточены логические элементы (элементы, реализующие операции алгебры логики  И,  ИЛИ,  НЕ), образующие однотактную комбинационную схему, называют логическим преобразователем (ЛП).

К входу логического преобразователя подключены входные элементы  А, В, С, …, которые контролируют работу объекта управления и, соответственно, вырабатывают входные переменные  а, b, с,…, являющиеся независимыми аргументами, а к выходу логического преобразователя присоединены выходные элементы  X, Y, Z,  включение которых определяется функциями  F_X,  F_Y, F_Z,  являющимися выходными переменными.

Переменные  m₁ , m₂ , m₃ , определяемые состояниями элементов памяти  М₁ , М₂ , М₃ , называются внутренними переменными. Они действуют на вход логического преобразователя совместно с входными переменными и влияют на работу выходных элементов и элементов памяти.

Совокупность состояний элементов памяти называют внутренним состоянием дискретного автомата. Совокупность состояний входа {а , b , с ,…}  и внутренних состояний  {m₁, m₂ , m₃ ,…}  называется полным состоянием или просто состоянием дискретного автомата. Автомат с  n  входами и  S  элементами памяти может находиться в  2^n+S состояниях.

Период, в течение которого состояние автомата не меняется, называется тактом. Длительность всех тактов принимается одинаковой, хотя реальное время работы элементов, связанных с рабочими органами машины, естественно, может быть различным. Такт – условная единица времени работы дискретного автомата. Каждому такту приписывается порядковый номер.

Переход от одного такта к следующему обусловлен переключением одного из входных элементов или элементов памяти и сопровождается изменением состояния дискретного автомата. Переходы считаются мгновенными.