The algebra generator

To develop your own ADP programs, you can either start with a modification of one of the examples already studied, or start with your own application. The first step is always to specify a signature.

Let's assume that in the first round you modify a given example, say by adding a new case distinction reflected by a new function in the algebra.

Given (only) the signature, the algebra generator can create several standard components of the program yet to be developed. These are

- suitable data type definitions,
- the counting and the enumeration algebra,
- an implementation of the generic *** operation for this type of algebra,
- a simple tree grammar "grammar that generates the complete term algebra.