push-down automaton

Автомат с магазинной памятью, магазинный автомат