nested automaton

Мат. вложенный автомат