Computer equipped for processing and transmitting symbols - has reduction processor determining reducibility into lambda reduction language

摘要

The computer is equipped with a control element, a calculating element, input and output units and memories which are interconnected for transmitting processing and storing symbols. The calculating element consists of a number of register stacks of great length, which are used for storing terms derived from the rows of symbols. They are shifted along the register stack, which incorporates a reduction processor. The reduction processor is used to determine the reducibility into a lambda reduction language of the terms stored in the stack register and if necessary to carry out the reduction. The reduction processor is designed to generate a transposed form of a term stored in one stack register in another stack register.