English push-down automaton: תרגום לשפות אחרות