5. Under the covers, the code configures the simulator for the disk (where it loads the LISPinterpreter), the card reader (where it reads the job), and the printer (where it emits the output).
6. The Lisp compiler or interpreter can translate certain forms of recursion to iteration, allowing a simpler, cleaner way to work with recursive data structures, such as trees.
7. Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
8. Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.