论计算的相似性与对偶性

【摘要】 <正> 一、引言我们有成打的计算模型、多种的计算类型(决定型、非决定型、交错性,…)和多种不同的资源.因此有成百个复杂性的分类和上千个关于各模型之间关系的定理.整个的情况不是很清楚的.所以当前最重要的问题不是去证明一个个孤立的定理,而是去统一整个的理论.从这一更多还原