| Subject | Russian | English |
| 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. | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | finite automaton augmented with a finite set of real-valued clocks (ssn) |
| progr. | конечный набор часов, принимающих действительные значения | finite set of real-valued clocks (ssn) |
| progr. | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
| progr. | часы, принимающие действительные значения | real-valued clock (ssn) |
