USEFUL DEVICE FOR SHOWING SOLVABILITY OF SOME DECISION PROBLEMS

被引：15

作者：

IBARRA, OH ^{[1
]}

KIM, CE ^{[1
]}

机构：

[1] UNIV MINNESOTA,DEPT COMP SCI,MINNEAPOLIS,MN 55455

来源：

关键词：

D O I：

10.1016/S0022-0000(76)80026-8

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：153 / 160

页数：8

共 12 条

[1] BOUNDED ALGOL-LIKE LANGUAGES [J].

GINSBURG, S ;

SPANIER, EH .

[2]

GINSBURG S, 1966, MATHEMATICAL THEORY

[3]

GREIBACH SA, 1975, IEEE T COMPUT, P741

[4] MULTI-TAPE AND MULTI-HEAD PUSHDOWN AUTOMATA [J].

HARRISON, MA ;

IBARRA, OH .

INFORMATION AND CONTROL, 1968, 13 (05) :433-&

[5]

HOPCROFT JE, 1969, FORMAL LANGUAGES REL

[6]

Ibarra O. H., 1974, Information Processing Letters, V3, P25, DOI 10.1016/0020-0190(74)90043-X

[7]

IBARRA OH, 1974, 747 U MINN COMP SCI

[8]

Karp R.M., 1969, J COMPUT SYST SCI, V3, P147

[9] ON CONTEXT-FREE LANGUAGES [J].

PARIKH, RJ .

[10] A VARIANT OF A RECURSIVELY UNSOLVABLE PROBLEM [J].

POST, EL .