string-reductie

Betekenis string-reductie

De betekenis van string-reductie is: "zuiver reductiesysteem:de expressies worden voorgesteld door karakter-strings;de besturing van de reductie(welke herschrijfregel wordt wanneer toegepast)wordt elke reductiestap opnieuw bepaald uit de vorm van de huidige string
".

Defenitie string-reductie

De definitie van string-reductie is: "zuiver reductiesysteem:de expressies worden voorgesteld door karakter-strings;de besturing van de reductie(welke herschrijfregel wordt wanneer toegepast)wordt elke reductiestap opnieuw bepaald uit de vorm van de huidige string
".