初等等价的相关硕士博士期刊学术论文

两个群当适合形式语言■={·,1}中完全相同的形状为（■x1…xn）Ψ（x1…xn）（ψ中无量词）的语句时,称为■n-等价的。其他“部分初等等价......