pysemigroup (pypi): A tool to manipulate transitions semigroups and display them
Keywords: automata|semigroups|monoid|regular|language