Anglais ⇄ Russe +

for the duration of a state contraintes
progr.	в течение всего времени пребывания в некотором состоянии (напр., конечного автомата ssn); в течение всего времени пребывания в данном состоянии (напр., конечного автомата ssn)