This applet shows how elements of the free commutative monoid on two generators generate a submonoid.

Some notes on the applet itself:

Another version of this applet, using separate grids for the generators and the generated monoid, can be found here. It is not as complete as this applet since the one grid approach seems to me to be much better.

Comments? Thanks.