Terms containing finite automaton

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.	construction of a nondeterministic finite automaton from a regular expression	построение недетерминированного конечного автомата из регулярного выражения (ssn)
progr.	conversion of a nondeterministic finite automaton to a deterministic finite automaton	преобразование недетерминированного конечного автомата в детерминированный конечный автомат (ssn)
progr.	converting a nondeterministic finite automaton into a deterministic finite automaton	преобразование недетерминированного конечного автомата в детерминированный конечный автомат (ssn)
progr.	efficiency of nondeterministic finite automaton simulation	эффективность моделирования недетерминированного конечного автомата (ssn)
progr.	finite automaton augmented with a finite set of real-valued clocks	конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
progr.	finite automaton concept	концепция конечного автомата (ssn)
progr.	finite automaton's internal state	внутреннее состояние конечного автомата (ssn)