PanLinx: магазинный автомат

русский	rus-000
магазинный автомат

English	eng-000	push-down automaton
English	eng-000	stack automaton

PanLex-PanLinx