| 摘要 |
PURPOSE:To systematically lead out various recursive programs from completely declarative specifications by preparing a step or the like for leading recursive structure to data expressed by a set theory and leading a recursive structure pattern correspondingly to the lead result. CONSTITUTION:Under the control of a program leading-out processor, set theory specifications inputted from a keyboard 3 are successively stored in a memory 5. The main function of the set theory specifications stored in the memory 5 is selected as an objective function, the objective function is converted into a recursive format and the converted result is stored in a memory 6. Whether a function to be converted are still left or not is decided, and when the function exists, the function is selected as an objective function and similar operation is repeated. Finally, the recursive program stored in the memory 6 is displayed on a display device 2. Consequently, various correct recursive programs can be systematically led out only by describing completely declarative set theory specifications, conventional design work depending upon a designer's experience and intuition can be omitted and testing work requiring much labor can also be omitted.
|
