Section 6.2 Page 3 of 5 Free monoid