Condition concentrator and control store for a reduction processor evaluating programs stored as binary directed graphs employing variable- free applicative language codes

摘要

Parallel register-transfer mechanism and control section have been disclosed above for use in a reduction processor for the evaluation of expressions of a variable-free applicative language stored as binary directed graphs. The expressions are reduced through a series of transformations until a result is obtained.