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