Akademik

технич. устройства (или части технич. устройств), в к-рых зависимость между входными и выходными сигналами выражается логич. функцией. Л. с. а. делятся на два основных класса – Л. с. а. без памяти (однотактные или комбинационные схемы), в к-рых выходной сигнал в настоящий момент времени зависит только от входных сигналов в этот же момент, и Л. с. а. с памятью (многотактные или последовательностные схемы), в которых выходной сигнал зависит еще и от входных сигналов в предыдущие моменты времени. Структурные свойства Л. с. а. изучает абстрактная теория автоматов. Осн. задачами теории автоматов являются вопросы анализа и синтеза Л. с. а., т.е. выяснение того, какое преобразование информации реализует заданная Л. с. а. (анализ) и построения Л. с. а., реализующей заданное преобразование (синтез); минимизация числа элементов в Л. с. а., синтез надежных схем из элементов, обладающих нек-рой вероятностью отказа в работе, и др. При разработке этих вопросов широко используются средства логики, причем не только логики высказываний, но и нек-рые разделы логики предикатов, многозначные логики и т.п. Т.о., с одной стороны, Л. с. а. моделируют логич. операции, а с другой стороны, при исследовании Л. с. а. используется аппарат современной формальной (математической) логики.

Результаты, получаемые при изучении Л. с. а., имеют важное значение для кибернетики, в частности для описания процессов обработки информации человеком в его содержательном мышлении.

Лит.: Кобринский Н. Е., Трахтенброт Б. Α., Введение в теорию конечных автоматов, М., 1962; Глушков В. М., Синтез цифровых автоматов, М., 1962; Яблонский С. В., Функциональные построения в k-значной логике, Тр. Матем. ин-та им. В. А. Стеклова, т. 51, М., 1958; Автоматы. Сб., пер. с англ. М., 1956; Айзерман М. А. и др., Логика. Автоматы; Алгоритмы, М., 1963.