Edit code: Toy grammar
Here you may work either from the toy grammar: Choose your own set of productions.
Or you may upgrade the existing grammar by two steps:
  • in the grammar heading, add the new function of the signature at the appropriate position in the algebra's function list (Running the grammar now with the modified algebras should reproduce the results before modification, because the new case is not yet used.).
  • choose a grammar rule where to add an alternative that actually uses the new function. Call (grammar (pretty *** count) x) for some small x to check whether all counts are 1. Otherwise you have introduced ambiguity. Check the literature if you have run into this delicate problem.
Use your modified optimization algebras on some small examples and check whether the new case comes out optimal when it should.
background image
university bielefeld AG PI BiBiServ
ambient picture