1) Special semantic strings
专指语义串
2) meaning of technical terms
专业语义
3) Denotational Semantics
指称语义
1.
Equivalence proving of operational and denotational semantics about Repeat-until statement;
Repeat-until语句的操作语义与指称语义的等价性证明
2.
The static and dy-namic denotational semantics of Smalltalk-80 are described through the formal model.
本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
3.
The fixed point of continuous function is an important content in denotational semantics,which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。
4) semantic orientation
语义指向
1.
By analysizing their grammatical functions,grammatical positions,their overlapping use with other adverbs and their semantic orientation respectively,we can peep at the use of blanket range adverbs in those dynasties,which is of great value for the systematic research in the evolution of the Chinese blanket range adverbs.
全面统计分析其中总括范围副词,分为新、旧两种,并逐一分析其语法功能、语法位置、与其它副词叠用情况以及语义指向等,以管窥魏晋南北朝时期总括范围副词的使用情况,这对于系统研究汉语总括范围副词的发展演变具有重要的参考价值。
2.
The theory of semantic orientation analysis may contribute to multi-angle and multi-layered analysis of grammatical phenomena.
语义指向分析理论可以对语法现象进行多角度、多层面的分析。
3.
This article makes an investigation into the theoretical study of semantic orientation carried out by domestic scholars since the mid-80s as well as their application of the analytical methods of semantic orientation into analyzing specific linguistic facts.
考察了20世纪80年代中期以来国内学者对语义指向进行的理论研究和运用语义指向分析方法对具体语言事实的分析,对语义指向的定义、研究对象、内涵、表现形式、原则方法等问题进行整理、比较、归纳与综合。
5) semantic direction
语义指向
1.
The verb of "de" sentence and semantic direction of its complement;
“得”字句动词和补语的语义指向
2.
Analysis of Semantic Direction of "Adjective+'yidian'" in Modern Chinese
现代汉语“形容词+‘一点’”的语义指向分析
3.
The study of the semantic direction focuses on the sentenc to contain one verb at present ,but it is little to study more verb sentence in "Lian-dong sentence".
目前语法学界对语义指向的研究主要集中在单核句法结构中语义指向的分析,而连动式这种多核句法结构中语义指向的研究尚不多见。
6) Denotational Semantic
指称语义
1.
This paper also gives the denotational semantics of the based I/O CCALL operational.
针对PeytonJones&Wadler在IOMonad设计的一个基于状态转换的函数I/O系统中 ,存在着某状态没有显式地反应在IO类型中 ,为了克服诸于此类问题 ,定义了状态转换器及其状态组合子 ,统一处理了PeytonJones&Wadler的IO类型 ,并给出了基本I/O操作ccall的指称语义 。
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条