 This is an analogue of a group presentation in group theory.As a mathematical structure, a monoid presentation is identical to a string rewriting system (also known as a semi-Thue system).Every monoid may be presented by a semi-Thue system (possibly over an infinite alphabet).