真子集

在Dual68000机上已实现了PL/O语言的编译程序，并在此基础上实现了PL/O语言的扩充.扩充了的PL/O语言是Pascal语言的一个真子集。

Two languages have been implemented in the Dual 68000 . The extended PL / O language is a proper subset of PASCAL .

使用F规则和FP规则时，接受的语言恰好是上下文无关语言.使用口规则和FP规则时，接受的语言包含上下文无关语言为其真子集。

With F rule and FP rule the languages accepted are exactly the context-free languages , while with B rule and FP rule , context-free languages is included as a proper subset .

它是LR（k）文法较大的子集，并且包含了作为它的真子集的LALR（k）和SLR（k）文法。

The BCLR ( K ) grammar is a larger subset of LR ( k ) grammar and includes LALR ( k ) and SLR ( k ) grammars as its proper subsets .

本文给出了广义最速下降法强收敛于定义在一致光滑实Banach空间的真子集上的局部有界拟增生算子的零点的一特征条件。

In this paper , characteristic condition is given for a generalized steepest descent method to converge to the zeros of quasi-accretive locally bounded operators defined on proper subsets of a uniformly smooth real Banach space .

本文通过测试和访谈，让高学生比较两个无穷（其中一个是另一个的真子集）集合元素的多少，发现：③两集合是包含关系，故子集的元素少于全集的元素；

Through a questionnaire test and interviews , the students ' strategies of comparing the two infinite sets are found to fall into four classes : ( 1 ) the two sets are both infinite , therefore they have the same number of elements ;