_n^p和■_n^p的递归可表示性

通过对△np与△np(A)两类复杂性语言中的多项式图灵完全集之间关系的研究,证明了pn、■pn等计算复杂性语言类的递归可表示性。