time-variable automaton в энциклопедиях
мат. автомат с бесконечным последовательно структурированным числом состояний