time-variable automaton

Мат. автомат с бесконечным последовательно структурированным числом состояний

Источник: Полный англо-русский словарь на Gufo.me