| Russian | English |
| Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | 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) |
| Действий при входе и выходе невозможно избежать, даже при выбрасывании исключений. Эти действия представляют собой механизм инкапсуляции, служащий для спецификации поведения конечного автомата, и гарантируют выполнение неких обязательных действий при любых условиях | Entry and exit actions may not be evaded by any means, including the occurrence of exceptions. They provide an encapsulation mechanism for the specification of state machine behavior, with a guarantee that necessary actions will be performed under all circumstances (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
| представлять собой конечный автомат | to be a finite automaton (ssn) |
| представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
