Finitely generated monoid