АВТОМАТ АВТОНОМНЫЙ

— автомат, функционирование которого не зависит от подаваемых на его вход букв. В этом смысле говорят, что А. а. является автоматом без входов. Формально А. это четверка и функционирование его определяется рекуррентным соотношением: . Бесконечным А. а. является, напр., Тьюринга машина, когда мн-во всех ее конфигураций рассматривается как мн-во состояний данного автомата. Если А. а. является автоматом конечным, то его выходная последовательность — периодическая, причем период не превышает числа состояний (см. Поведение автоматов).