EQUIVALENCE PROBLEM FOR DETERMINISTIC FINITE-TURN PUSHDOWN AUTOMATA

被引：75

作者：

VALIANT, LG ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV, DEPT COMP SCI, SCHENLEY PK, PITTSBURGH, PA 15213 USA

来源：

INFORMATION AND CONTROL | 1974年 / 25卷 / 02期

关键词：

D O I：

10.1016/S0019-9958(74)90839-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：123 / 133

页数：11

共 6 条

[1]

Bird M., 1973, Journal of Computer and System Sciences, V7, P218, DOI 10.1016/S0022-0000(73)80045-5

[2] DETERMINISTIC CONTEXT FREE LANGUAGES [J].

GINSBURG, S ;

GREIBACH, S .

INFORMATION AND CONTROL, 1966, 9 (06) :620-&

[3]

Ginsburg S., 1966, SIAM J CONTROL, V4, P423

[4]

HARRISON MA, 1972, SIAM J COMPUTING

[5] PROPERTIES OF DETERMINISTIC TOP-DOWN GRAMMARS [J].

ROSENKRANTZ, DJ ;

STEARNS, RE .

INFORMATION AND CONTROL, 1970, 17 (03) :226-+

[6]

VALIANT LG, 1973, 7 U WARW COMP CTR RE