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

Выражения переходов у стрелок, выходящих из данного состояния, должны быть взаимно исключающими и исчерпывающими в совокупности מתח
.תִכנו	the transition expressions on arcs leaving a particular state must be mutually exclusive and all inclusive