We define a generalization of the Turing machine that computes on general sets. Our main theorem states that the class of generalized Turing machine computable functions and the class of Set Recursive functions coincide.
翻译:我们定义了图灵机器的概略化,它计算了普通集。 我们的主要理论指出,通用图灵机器计算函数的等级和Set 递归函数的等级是相同的。