АВТОМАТ КОНЕЧНЫЙ

— автомат, у которого мн-во внутренних состояний и мн-во входных значений (а, следовательно, и мн-во выходных значений) являются конечными мн-вами. Абстрактно, А. к. - это пятерка , где А, X, Y — конечные мн-ва, называемые соответственно мн-вом внутренних состояний, мн-вом входных сигналов и мн-вом выходных сигналов, а — однозначные ф-ции ф-ция переходов, — ф-ция выходов. Понятие А. к. было предложено в качестве математической модели тех. устройств дискретного действия, т. к. любое такое устр-во (в силу конечности своих размеров) может иметь только конечное число состояний. Теория А. к., являясь осн. составной частью общей теории автоматов, имеет большое прикладное значение, в частности, ее методы применяются при проектировании ЦВМ и др. автоматических дискретных устройств.

Лит.: Глушков В. М. Синтез цифровых автоматов. М., 1962 [библиогр. с. 464—469]. М. И. Кратко.