Talk:Semi-Thue system/to do


 * Give two example at the begining: some simple game (e.g. MU puzzle) that requires no algebra to understand, and a more serious motivating example of some word problem, although there is one of those in the monoid presentation section. But we really need a page on equational logic to properly motivate the 2nd example, i.e. Birkhoff's (1935) theorem that equational logic is complete.
 * Discuss the algorithm for computing normal forms for a finite SRS.