| 摘要 |
PURPOSE:To express concisely a program and execute an efficient work by using connector expressions, where the Cartesian product structure is introduced, and an evaluating system based on reduction of them for a function or action type programming language. CONSTITUTION:A program to be executed is converted to connector expressions having the Cartesian product structure where variables are not included and is stored in a main storage device (MMD) 102 in an internal format. A main processor (MPU) 101 performs reduction operation procedures by micro instructions. A stack storage device (STM) 103 is used, and a push command, a pop command, etc. are sent to the STM 103 through a command line 109 for push and pop of reduction stacks to perform reduction. Especially, when a slave node in the stack top is pushed, a push register command is sent to the STM 103 through the line 109 instead of the push command, and simultaneously, a slave node index is sent to a register 104 through a line 111, and the value read preliminarily to the register 104 is pushed, and thus, the high-speed processing is possible.
|
