Sage supports free monoids and free abelian monoids in any finite number of indeterminates.
Semigroups defined by generators living in an ambient semigroup and represented by an automaton.
Enter search terms or a module, class or function name.