Figure 5.

Four evaluation algebras for grammar wuchty98. Arguments a and b denote bases, (i, j) represents the input subword w_{i + 1} .... w_j, and s denotes answer values. Function dots(r) in algebra pretty yields a string of r dots ('.').