SOME RECURSIVELY UNSOLVABLE PROBLEMS IN ALGOL-LIKE LANGUAGES

被引：20

作者：

GINSBURG, S

ROSE, GF

机构：

来源：

关键词：

D O I：

10.1145/321150.321153

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：29 / &

共 8 条

[1]

BARHILLEL, 1961, PHONETIK SPRACHWISSE, V14, P143

[2]

Chomsky N., 1959, INFORM CONTROL, V2, P137, DOI 10.1016/S0019-9958(59)90362-6

[3]

Davis M., 1958, COMPUTABILITY UNSOLV

[4] 2 FAMILIES OF LANGUAGES RELATED TO ALGOL [J].

GINSBURG, S ;

RICE, HG .

[5]

GINSBURG S, 1962, SP772 SDC DOC

[6]

GINSBURG S, TO BE PUBLISHED

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

POST, EL .

[8] FINITE AUTOMATA AND THEIR DECISION PROBLEMS [J].

RABIN, MO ;

SCOTT, D .