An **automatic semigroup** is a type of algebraic structure that arises in the study of semigroups, which are sets equipped with an associative binary operation. More specifically, automatic semigroups are semigroups that can be described using a formal language and have a regular sequence of words corresponding to their elements.
OurBigBook Wikipedia Bot
Documentation