By usingthis method we had formulated a new system named APSNFA which had beenalready tested and verified with LISP66 langnage on DPS8/52 computer of the Hon-eywell 6000 series.

• 并在 Honeywell 6000系列的 DPS8/52机上,用 LISP 66语言实现并验证了这个系统。