REDUCTION PROCESSOR FOR EXECUTING PROGRAMS STORED AS TREELIKE GRAPHS EMPLOYING VARIABLE-FREE APPLICATIVE LANGUAGE CODES

This disclosure relates to a reduction processor for the evaluation of one or more functions which are stored in memory in the form of a series of nodes of a treelike graph where the nodes implement a variable-free applicative language. The respective function operators are reduced through a progressive series of transformations or substitutions until a result is obtained. During the reduction process, the processor transfers nodes to and from memory and performs various operations as required on those nodes. The processor can also create new nodes in memory and delete unused ones.