Rational monoid

A **rational monoid** is a type of algebraic structure that arises in the context of formal language theory and automata. It can be defined as a monoid that can be represented by a finite automaton or described by a regular expression. ### Definitions: 1. **Monoid**: A monoid is an algebraic structure consisting of a set equipped with an associative binary operation and an identity element.