3) classified lexicon
分类词库
1.
This paper introduces the definition and the structure of classified word and classified lexicon, and expounds the general method of the formation of the words in the classified lexicon and some usages of the classified lexicon.
介绍了分类词的定义和分类词库的结构,阐述了分类词库中的词生成的一般方法和分类词库的几种方法。
4) word segmentation repository
分词知识库
1.
To extend word segmentation repository and enhance word segmentation capacity,a Chinese word segmentation system based on automatic learning is proposed in this paper.
为扩展分词知识库,提高自动分词能力,本文提出了一种基于自学习机制的汉语自动分词系统。
5) partition quantifiers
分划量词
1.
Monadic partition quantifiers are obtained through multi-partition extensionsof Malitz quantifier Q￣(m,n) deleting its cardinality restriction.
将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。
6) lexical analysis class library
词法分析类库
1.
Class library plays the vital role in the construction of compiler by object-oriented method and lexical analysis class library is an important part of object-oriented compiling class library.
类库在编译程序的面向对象构造过程中起重要作用,词法分析类库是编译类库的重要组成部分。
2.
With an example of PL/0,a construction method of lexical analysis class library and syntax parsing class library was put forward by using the analysis of universe of discourse.
以PL/0语言为例,通过论域分析给出了词法分析类库和语法分析类库的一种构造方法,类库的建立使得编译程序的构造更加简单高效。
补充资料：量词
量词
quantifier
盘词[印.以币er:拙aoTop] 一种逻辑运算的一般名称，该逻辑运算利用谓词尸(x)构造刻划尸(x)的有效域的语句.在数理逻辑中，最广泛使用的量词是全称量词(~玲al qUanti-fier)丫和存在量词(existential qUalltifier)日.语句丫x尸(劝意思是尸(x)的有效域与变元x的值域相同.语句日x尸(x)意思是尸(x)的有效域非空.如果只对尸(x)在由谓词R(x)挑选出的x的部分值域(而不是x的整个值域)上的行为感兴趣，通常使用琴制鼻娜(res‘ric‘ed quantifier)(日x);(，)和(丫x):(二).在这种情况下，语句(日x)只(芜)p(x)与日x(R(义)%26p(x))表示相同的意思，而(丫x)。(二)p(x)与丫x(R(x)D尸(x))表示相同的意思，其中%26是合取(conJ~tion)符号，。是蕴涵(implicat10n)符号.B.E.n几‘eKo撰【补注】当今量词的主题远比上述提及的多，因为有比上述讨沦的两(或四)种量词更多的量词(例如，对策量词，概率量词). 更一般地，任意量词Q(与丫和日有相同的语法行为)的模型论解释可以(据A， Mostowski)由一个映射给出，该映射把每个模型(A，二)映到A的一个子集类Q.然后规定Q的真假值定义，例如，语句Qx小(劝在(A，…)中为真，当且仅当集合{aoA:中(a)在(A，…)中为真}在Q中.因此，存在量词日对应于A的非空子集类，全称量词丫对应于类{A}然而，有很多可能的量词，例如分别由{B CA:B有限}，{B CA:B与A有同样的基数}(张(辰中)量词(Changq珑ult血r))，{B C=A:B不可数}等给出的量词.这种结构可以推广到约束出现在多个公式中的多个变元的量词(例如，等基数量词(eq山一cardin田jty ql笼l们t诵er)Q约束出现在两个公式。(x)和甲(x)中的两个变元x和y，产生公式Qx夕(。(x)，甲(夕))，由遭(B，C):刀和C有相同基数}解释).更一般的是Lindstr6m量词(L力ld-st~ql迢而玩r).每个量词都有自己的逻辑.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条