Рассмотрим идеи, лежащие в основе современной теории автоматов. В кибернетике автоматы рассматриваются как универсальная модель устройств, перерабатывающих дискретную информацию. Поэтому интересно сравнить функциональные (возможности этих устройств при решении задач с возможностями человека.

На любой из входных каналов х может поступать входной сигнал (входное воздействие) из заданного конечного множества допустимых (различимых) сигналов. Если по каждому входному каналу может поступать различных сигналов, то число различных состояний на всех входных каналах в совокупности будет 1п.

Входные сигналы в каналах кодируются символами или группами символов входного алфавита (например двоичного). Аналогично, если на любом выходном канале z может появиться любой из г возможных выходных сигналов (реакций), то общее число всех выходных обобщенных реакций автомата будет равно.

Введем дискретное время и будем говорить, что автомат есть конечный детерминированный автомат без памяти, если его функционирование однозначно определяется отображением X(t)- Z(t). Здесь X(t)-состояние входа автомата в момент времени, a Z(t) -состояние его выхода в этот же момент. Иными словами, в таком автомате состояние выхода в любой момент времени однозначно определяется входным- воздействием, поступившим в тот же момент времени на автомат.

Целесообразный характер работы автомата обусловлен тем, что его организация обеспечивает определенную зависимость между возбуждением его входа (т. е. последовательностью символов входного алфавита) и возбуждением выходов (последовательностью символов выходного алфавита), которая задается предписанным алгоритмом переработки информации.

В автоматах другого типа состояние выхода, вырабатываемое в некоторый дискретный момент времени, зависит не только от состояния входа в тот же момент времени, но и от сигналов, поступивших ранее. Эти предшествующие воздействия фиксируются в автомате путем изменения его внутреннего состояния. Следовательно, реакция такого автомата однозначно определяется поступившим набором входных сигналов и внутренним состоянием автомата в данный момент времени.