RESULT ON EQUIVALENCE PROBLEM FOR DETERMINISTIC PUSHDOWN AUTOMATA

被引：20

作者：

TANIGUCHI, K ^{[1
]}

KASAMI, T ^{[1
]}

机构：

[1] OSAKA UNIV,FAC ENGN SCI,DEPT INFORMATION & COMP SCI,TOYONAKA,OSAKA 560,JAPAN

来源：

关键词：

D O I：

10.1016/S0022-0000(76)80049-9

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：38 / 50

页数：13

共 5 条

[1]

Hopcroft J.E., 1969, FORMAL LANGUAGES THE

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

ROSENKRANTZ, DJ ;

STEARNS, RE .

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

VALIANT, LG .

INFORMATION AND CONTROL, 1974, 25 (02) :123-133

[4] DETERMINISTIC ONE-COUNTER AUTOMATA [J].

VALIANT, LG ;

PATERSON, MS .

[5]

VALIANT LG, 1973, 7 U WARW COMP CTR RE