英语 ⇄ 俄语 +

time-variable automaton 强调
数学	автомат с бесконечным последовательно структурированным числом состояний