обобщенный автомат

Мат. generalized automaton