The algebra generator Try DP online
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.
background image
university bielefeld AG PI BiBiServ
ambient picture