Finitely presented monoid