证明题:语言A={|M是图灵机,L(M)是上下文无关语言},证明A是不可判定的

如何设计一个图灵机,使其能够判断一个整数a是素数,并举例证明. 一直A是m×n矩阵,B是n×p矩阵,如AB=C,且r（C）=m,证明A的行向量线性无关 计算理论基础的问题证明：若一个集合的每一个子集都是上下文无关语言,那么这个集合是正则的. 设A和B分别是n*m型和m*n型矩阵,C=AB为可逆阵,证明：B的列向量组线性无关 设A和B分别是n×m型和m×n型矩阵,C=AB为可逆阵,证明：B的列向量线性无关 设A是a x m矩阵,B是m x n矩阵,n小于m,E是n介单位阵,若AB=E,证明B的列向量组线性无关. m>1,[(m-1)!+1]/m=a,a是整数,证明m为质数 证明：两个非零向量a和b平行的充要条件是存在非零实数l、m,使l向量a+m向量b=0向量 设A是n×m矩阵，B是m×n矩阵，其中n＜m，I是n阶单位矩阵，若AB=I，证明B的列向量组线性无关． A是m*n矩阵,B是n*m矩阵,m>n,证明：|AB|=0 已知A是m*n阶矩阵,B是n*p阶矩阵,AB=C且r(C)=m,证明A的列向量组线性无关 线性代数证明题27.设A是m×n实矩阵,n＜m,且线性方程组Ax=b有惟一解.证明ATA是可逆矩阵.证明的是A的转置矩阵