алгебраический автомат

Мат. algebraic automaton