Свойства и характеристики автоматов

Принято считать, что цифровой автомат является следствием алгоритма.

При том обычно ссылаются на связь: модель алгоритм - автомат. Свойства того или иного объекта, прежде всего, нужны для идентификации объекта.

Представляется, что известные свойства алгоритма в определенной степени относятся и к автоматам. Свойства эти - следующие:

1) наличие начального и конечного состояний;

2) дискретность;

3) массовость (обрабатываемые данные должны лежать в некотором

диапазоне);

4) определенность (четкий переход от состояния к состоянию при за-

данной последовательности входных сигналов);

5) понятность (исполнителю);

6) результативность (конечность);

7) корректность (получение правильного результата).

Ясно, что все эти свойства в полном объеме пригодны к реальному устройству (автомату).

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

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

С характеристиками автомата особых проблем нет. К ним можно отнести:

1) быстродействие (в абстрактном автомате переходы совершаются

мгновенно);

2) объем памяти (мощность множества состояний);

3) мощности множеств входных и выходных сигналов;

4) закон функционирования;

4) сложность;

5) тип.

1.7. Автоматы, выполняющие роль "0" и

"1" в алгебре автоматов. С - автомат

Любая алгебра должна иметь конструкции, выполняющие в ней роль "0" и "1". По аналогии с алгеброй алгоритмов роль "0" выполняет пустой автомат (ноль-автомат), его следует обозначать с отступлением от принятых правил как ЦА0. Пустой автомат- это автомат, в котором запрещены всевозможные переходы. Естественно, что ЦАА \/ ЦА0 = ЦАА, ЦАА /\ ЦА0 = ЦА0.

Роль "1" возлагается на полный ЦА (ЦА1), в простейшем случае такой автомат представляет собой настраиваемое объединение рассматриваемых автоматов. Естественно, что ЦАА \/ ЦА1 = ЦА1, ЦАА /\ ЦА1 = ЦАА, дополнение ЦА1 = ЦА0, дополнение ЦА0 = ЦА1.

В данном вопросе следует затронуть ещё одно объединение, в котором одновременно реализуются автомат Мили и автомат Мура (рис.8). Как известно, первая функция автоматов Мили и Мура является одинаковой. Следовательно, в объединении она реализуется один раз. Что касается вторых функций, то они - разные и имеют свои логические схемы.

Закон функционирования С -автомата следует записать следующим образом:

s(t) = d(s(t-1), x(t)),

y(t)_ми= l(s(t-1), x(t));

y(t)_му= l(s(t)).

Дата добавления: 2015-07-26; просмотров: 158; Нарушение авторских прав

Мы поможем в написании ваших работ!