localized automaton

Мат. локализованный автомат