Regelsysteme

liefert nichtdeterministisches Berechnungsmodell (vgl. Grammatiken/Wortersetzungssysteme)

Fragen:

dabei: Resultat = Term, auf den keine Regel anwendbar ist = Normalform.



Johannes Waldmann 2007-01-30