English ⇄ Russian

to be a finite automaton augmented with a finite set of real-valued clocks stresses
progr.	представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)