Anglais ⇄ Russe +

stubbed transition contraintes
progr.	суррогатный переход (нотация, указывающая на то, что переход идёт непосредственно в композитное состояние, однако подробности этого не указываются ssn)