Terms for subject Programming containing transition current

English	Russian
next internal state predicted by the transition table is the same as the current internal state	следующее внутреннее состояние, предсказываемое таблицей переходов, является точно таким же, как и текущее внутреннее состояние (ssn)
product of the current state's minterm and the transition expression	произведение минтерма текущего состояния и выражения перехода (ssn)
the transition can be taken only if the current values of the clocks satisfy the clock constraint	Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
transition from the current state	переход из текущего состояния (ssn)