конечный автомат Автомат с конечным числом состояний.
English-Russian Computer dictionary
push - down automaton
магазинный автомат, автомат с магазинной памятью
English-Russian Computer dictionary
linear - bounded automaton
автомат с линейно ограниченной памятью Автомат (например, машина Тьюринга), которому для распознавания последовательности длины N необходима память объемом не более kN, где k - независящее от входной последовательности число.