DETERMINISTIC ONE-COUNTER AUTOMATA

被引：81

作者：

VALIANT, LG

PATERSON, MS

机构：

[1] UNIV LEEDS,CTR COMP STUDIES,LEEDS LS2 9JT,YORKSHIRE,ENGLAND

[2] UNIV WARWICK,DEPT COMP SCI,COVENTRY CV4 7AL,WARWICKSHIRE,ENGLAND

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1975年 / 10卷 / 03期

关键词：

D O I：

10.1016/S0022-0000(75)80005-5

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：340 / 350

页数：11

相关论文

共 6 条

[1]

Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[2]

Landau E., 1909, HDB LEHRE VERTEILUNG

[3]

Minsky M., 1967, COMPUTATION FINITE I

[4]

PATERSON MS, 1972, P ACM C PROVING ASSE

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

ROSENKRANTZ, DJ ;

STEARNS, RE .

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

[6]

VALIANT LG, 1973, THESIS U WARWICK COM