In fact, every monoid has a presentation of the form ( Σ , R ) {\displaystyle (\Sigma ,R)} , i.e. it may always be presented by a semi-Thue system, possibly over an infinite alphabet.
По суті, кожен моноїд має представлення форми ( Σ , R ) {\displaystyle (\Sigma ,R)} , тобто він завжди може бути представлен системою semi-Thue, можливо, над нескінченним алфавітом.