רוסית ⇄ אנגלית +

определение автомата с магазинной памятью מתח
.תִכנו	definition of the pushdown automaton (ssn)