STRUCTURED TURING MACHINES

被引：3

作者：

PRATHER, RE ^{[1
]}

机构：

[1] UNIV DENVER,DEPT MATH,DENVER,CO 80208

来源：

INFORMATION AND CONTROL | 1977年 / 35卷 / 02期

关键词：

D O I：

10.1016/S0019-9958(77)90344-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：159 / 171

页数：13

共 11 条

[1]

Brainerd W. S., 1974, THEORY COMPUTATION

[2]

Dahl O. - J., 1972, STRUCTURED PROGRAMMI

[3]

Davis M., 1958, COMPUTABILITY UNSOLV

[4]

DEAN RA, 1966, ELEMENTS ABSTRACT AL

[5]

EILENBERG S, 1970, RECURSIVENESS

[6]

HERMES H, 1965, ENUMERABILITY DECIDA

[7]

Manna Z., 1974, MATH THEORY COMPUTAT

[8]

Nelson R. J, 1968, INTRO AUTOMATA

[9] CONVENIENT CRYPTOMORPHIC VERSION OF RECURSIVE FUNCTION THEORY [J].

PRATHER, RE .

INFORMATION AND CONTROL, 1975, 27 (02) :178-195

[10]

Wirth N., 1973, SYSTEMATIC PROGRAMMI