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

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

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

1. наличие начального и конечного состояний;
2. дискретность;
3. массовость (обрабатываемые данные должны лежать в некотором диапазоне);
4. определенность (четкий переход от состояния к состоянию при заданной последовательности входных сигналов);
5. понятность (исполнителю);
6.  результативность (конечность);
7. корректность (получение правильного результата).

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

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

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

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

1. быстродействие (в абстрактном автомате переходы совершаются мгновенно);
2. объем памяти (мощность множества состояний);
3. мощности множеств входных и выходных сигналов;
4. закон функционирования;
5. сложность;
6. тип.

Данный материал является фрагментом из: Триханов А.В. Теория автоматов: Учебное пособие © Томский политехнический университет, 1999