TURING COMPLEXITY OF THE ORDINALS

被引:3
|
作者
DEHORNOY, P
机构
[1] Univ of Caen, Caen, Fr, Univ of Caen, Caen, Fr
关键词
AUTOMATA THEORY - Turing Machines;
D O I
10.1016/0020-0190(86)90130-4
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The ordinals arise as relevant tools for measuring the strength of some construction schemes, especially in recursion theory and logic. It is a very natural idea to try to define on the ordinals the Tuning complexity classes, for instance, the notion of a polynomial time computable ordinal, etc. It is shown that this approach is irrelevant for the hierarchies below the recursive level - at least when the question is raised in the same way it has been (successfully) raised in the literature for the hierarchies above the recursive level.
引用
收藏
页码:167 / 170
页数:4
相关论文
共 50 条