algebraic automaton

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