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

labelled transition system מתח
.טכנול	помеченная система переходов (Alex_Odeychuk)