General form recursive equations .1.

被引:0
|
作者
Marandjian, HB
机构
来源
COMPUTER SCIENCE LOGIC | 1995年 / 933卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this article the general form recursive equations (GFRE) are considered. A necessary and sufficient condition for these equations to have a solution in the family of partial recursive functions is found. We show that there exists such a GFRE that, in contrast with usual case, it has a non-computable solution but has no solution in the class P of partial recursive functions. The problem of solution existence to GFRE is shown to be Sigma(3)(0)-complete and Sigma(1)(1)-complete in the classes P and the class of total recursive functions respectively.
引用
收藏
页码:501 / 511
页数:11
相关论文
共 50 条