Terms containing finite automaton augmented with a finite set of real-valued clocks

Subject	English	Russian
progr.	A timed automaton is a finite automaton augmented with a finite set of real-valued clocks	Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	to be a finite automaton augmented with a finite set of real-valued clocks	представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
progr.	finite automaton augmented with a finite set of real-valued clocks	конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)