Subject	English	Russian
IT	automaton time	автоматное время
progr.	reduced-time automaton	автомат с ограничением по времени (ssn)
progr.	time automaton	временной автомат (ssn)
progr.	time automaton for processing station	временной автомат для обрабатывающего устройства (ssn)
math.	time-variable automaton	автомат с бесконечным последовательно структурированным числом состояний