Canonical Algebraic Generators in Automata Learning