设<L,≤>是格。任取a∈L.令证明<S,≤>是<L,≤>的子格,
设<L,≤>是格。任取a∈L.令
证明<S,≤>是<L,≤>的子格,
设<L,≤>是格。任取a∈L.令
证明<S,≤>是<L,≤>的子格,
设向量组α1,α2,...,αs的秩为r,在其中任取m个向量,证明:此向量组的秩≥r+m-s。
设η0是线性方程组的一个解,η1,η2,...,ηt是它的导出方程组的一个基础解系,令证明:线性方程组的任一个解γ,都可表成其中u1+u2+...+ut+1=1。
设f(x1,...,xn)是一秩为n的二次型,证明:存在R+的一个维子空间V1(其中s为符号差数),使对任一(x1,...,xn)∈V1有(x1,...,xn)=0。
A.D=#11:30:00 PM#
B.A= "182" * 182
C.S=Date
D.L="5487D4"
A.从s出发推导的、仅包含T中符号的符号串
B.从N中符号出发推导的、仅包含T中符号的符号串
C.从S出发推导的、包含V中符号的符号串
D.从N中符号出发推导的、包含V中符号的符号串
设语言L={w|w∈{a,b}+且w中a和b的个数相等},产生语言L的上下文无关文法是(28)。
A.Ga=(VT={a,b},VN={S,A,B},S,P),其中P为, S→a|aA|bSS A→aB|bS B→b|bA|aBB
B.Gb=(VT={a,b},VN={S,A,B},S,P),其中P为, S→b|bB|aSS B→aS|bA A→a|aB|bAA
C.Gc=(VT={a,b},VN{S,A,B},S,P),其中P为, S→aB|bA A→a|aS|bAA B→b|bS|aBB
D.Gd=(VT={a,b},VN={S,A,B},S,P),其中P为, S→aB|bA|s A→aS|bAA B→bS|aBB