Terms containing be a finite automaton

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