部分递归函数

Based on the above work, a method is presented for translating LFC function definitions into the intermediate representation, which includes analyses of recursive parameters and definition forms of functions, parameter substitution, representation translation of patterns and expressions, transformation of function definitions from incomplete construction forms to complete construction forms, and pattern-matching translation.

在此基础上，设计了LFC函数定义到中间表示形式的翻译和变换方法，包括对函数递归参数和定义形式的分析，参数一致化，模式和表达式表示形式的翻译，部分构造式到完全构造式的变换，和模式匹配翻译等。

The partial recursive function is constructed by Hopfield neural networks.

由于部分递归函数与图灵机等价，故Hopfield网与图灵机等价。

Chapter 5 proves the equivalence of Hopfield neural networks and Turing machine.

给出了用Hopfield网计算部分递归函数的构造性证明。

It can also be used as a powerful tool in data base systems. A kind of Mini-LISP language used on VAX/VMS 11-780 and PDP11/45 under the support of RSX-11M operating system is presented with an introduction of the LISP language structure, composition and its programming ...

全文分三部分连载：第一部分介绍Mini-LISP的基本成份、简单原语和基本函数，是LISP程序设计的基础；第二部分介绍λ函数、递归函数及过程函数的表示法，并列举Mini-LISP的常用函数；第三部分介绍LISP语言在符号处理、人工智能和数据库系统设计中的应用实例。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。