本文给出ＵＰ、βｎ和ＦｅｗＰ与ＮＰ和ＰＳＰＡＣＥ相对于Ｔａｌｌｙ集的分离结果。同时还引入强ｎ－范畴机和强ｐ－范畴机等概念，并比较它们所接受的语言类在Ｐ－ＮＰ情况下的性质，得到如下结......