语义

E.g., all?. The Prototype methods were meant to mimic Ruby's enumerable methods.

all？。 prototype 方法被认为是模仿了 Ruby 的可枚举方法的语义。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

In experiment 2, we examined the generation of episodic association with the consistent semantic similarity between prime and target.

实验二是在维持促发字与目标字的语义相似程度的情况下，检验事件连结性的产生。

The structure of transferred epithet is simple,but its semantic relationship is quite complicated.

转移修饰语的结构比较简单，但其语义关系却相当复杂，因而给理解和翻译带来一定的困难。

However, semantic actions attached to epsilon itself will always be called.

然而，挂接到空集自身的语义动作却总是被调用。

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

However, the semantics of modify functions are not entirely equivalent to replace functions.

但是，修改函数的语义并不完全等同于替换函数。

In Chapter Three we mainly discuss equivalent comparative sentence, put forward a simple scheme of equivalent comparative sentence production, and explore the semantic difference and transformation possibility of the equivalent comparative sentence.

第三章我们主要讨论了等同比较句，提出了一个生成等同比较句的简易方案，并且对各种等同比较句式之间的语义差别以及变换的可能性进行了探讨。

When it comes to the non-parameter density estimation technique for characterizing the region feature distribution, it also takes the collective distribution into consideration because of inaccurate segmentation.

此外，在应用非参数密度估计技术来构造语义类的特征分布时，针对区域分割的不精确性，该文还考虑了区域特征空间的总体分布因素，进而对区域的后验分布进行更可靠地估计。

The conclusion that income out is the Han ethnologic culture especially the special thought method it included has the important influence to the structure and acceptation of the Chinese language colorific words and phrase.

所得出的结论是：汉民族文化尤其是它所包含的独特的思维方式对汉语色彩词的构造、语义具有重要的影响。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！