PUSH-DOWN AUTOMATON Англо-русский перевод PUSH-DOWN AUTOMATON магазинный автомат; автомат с магазинной памятью. English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012