NONDETERMINISTIC SPACE IS CLOSED UNDER COMPLEMENTATION

被引：337

作者：

IMMERMAN, N

机构：

[1] Yale Univ, United States

来源：

关键词：

D O I：

10.1137/0217058

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：935 / 938

页数：4

共 17 条

[11] CLASSES OF LANGUAGES + LINEAR-BOUNDED AUTOMATA [J].

KURODA, SY .

INFORMATION AND CONTROL, 1964, 7 (02) :207-&

[12]

LANGE KJ, 1987, 14TH INT C AUT LANG

[13] SYMMETRIC SPACE-BOUNDED COMPUTATION [J].

LEWIS, HR ;

PAPADIMITRIOU, CH .

MAHANEY, SR .

[15] SYMMETRIC COMPLEMENTATION [J].

REIF, JH .

[16]

Savitch W.J., 1970, J COMPUT SYSTEM SCI, V4, P177, DOI [10.1016/S0022-0000(70)80006-X, DOI 10.1016/S0022-0000(70)80006-X]

[17]

SCHONING U, 1987, 140 U AUGSB MATH I