VDict - Definition of string reduction

Computing (FOLDOC) dictionary

string reduction

A reduction system where an expression is represented as a

string of function names, constants and parentheses. It is

reduced by replacing parts of the string representing subterms

by their value.

It is harder to represent sharing of subexpressions in string

reduction than in graph reduction.

(1995-02-06)

Related search result for "string reduction"

Words contain "string reduction" in its definition in Computing (FOLDOC) dictionary:
string reduction reduction reduction strategy parallel reduction graph reduction beta reduction Computational Adequacy Theorem XPL string Weak Head Normal Form more...