time-variable automaton

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