In this paper, we first derive LNF calculus from reference [4], and then introduce the reduction-machine implementation technique of this language, and discuss the result.

• 本文在[4]的基础上首先引出了LNF演算，而后详细介绍了该语言的归约机实现技术，对结果作了讨论。