Свойства и характеристики автоматов. Автоматы распознаватели и преобразователи

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

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

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

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

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

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

диапазоне);

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

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

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

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

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

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

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

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

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

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

мгновенно);

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

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

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

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

6) тип.

7)