INTERSECTION-CLOSED FULL AFL AND RECURSIVELY ENUMERABLE LANGUAGES

被引：10

作者：

GINSBURG, S ^{[1
]}

GOLDSTINE, J ^{[1
]}

机构：

[1] UNIV SO CALIF, COMP SCI PROGRAM, LOS ANGELES, CA 90007 USA

来源：

INFORMATION AND CONTROL | 1973年 / 22卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(73)90274-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：201 / 231

页数：31

共 6 条

[1]

GINSBURG S, 1969, MEM AM MATH SOC, P1

[2]

GOLDSTINE J, 1970, TM73805900 SYST DEV

[3]

GREIBACH S, 1972, J ACM, V19, P193, DOI 10.1145/321694.321695

[4]

Hartmanis Juris, 1970, J COMPUT SYST SCI, V4, P368

MINSKY, ML .

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

RABIN, MO ;

SCOTT, D .