ALTERNATION BOUNDED AUXILIARY PUSHDOWN-AUTOMATA

被引：8

作者：

LADNER, RE

STOCKMEYER, LJ

LIPTON, RJ

机构：

[1] IBM CORP,RES LAB,SAN JOSE,CA 95193

[2] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544

来源：

INFORMATION AND CONTROL | 1984年 / 62卷 / 2-3期

关键词：

D O I：

10.1016/S0019-9958(84)80029-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：93 / 108

页数：16

共 50 条

[1] SOME MODIFICATIONS OF AUXILIARY PUSHDOWN-AUTOMATA
BUNTROCK, G
DREWES, F
LAUTEMANN, C
MOSSAKOWSKI, T
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 545 - 556
[2] THE EXPRESSIBILITY OF NONDETERMINISTIC AUXILIARY STACK AUTOMATA AND ITS RELATION TO TREESIZE BOUNDED ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA
VINAY, V
CHANDRU, V
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 104 - 114
[3] PUSHDOWN-AUTOMATA WITH BOUNDED NONDETERMINISM AND BOUNDED AMBIGUITY
HERZOG, C
LATIN '95: THEORETICAL INFORMATICS, 1995, 911 : 358 - 370
[4] UNAMBIGUOUS SIMULATIONS OF AUXILIARY PUSHDOWN-AUTOMATA AND CIRCUITS
NIEDERMEIER, R
ROSSMANITH, P
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 583 : 387 - 400
[5] PUSHDOWN-AUTOMATA WITH REVERSAL-BOUNDED COUNTERS
CHAN, TH
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1988, 37 (03) : 269 - 291
[6] A NOTE ON ONE-WAY AUXILIARY PUSHDOWN-AUTOMATA
WANG, Y
XU, JL
INOUE, K
ITO, A
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (06) : 778 - 782
[7] CHARACTERIZING THE POLYNOMIAL HIERARCHY BY ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA
JENNER, B
KIRSIG, B
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1989, 23 (01): : 87 - 99
[8] CHARACTERIZING THE POLYNOMIAL HIERARCHY BY ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA
JENNER, B
KIRSIG, B
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 294 : 118 - 125
[9] ON THE POWER OF BOUNDED CONCURRENCY .2. PUSHDOWN-AUTOMATA
HIRST, T
HAREL, D
JOURNAL OF THE ACM, 1994, 41 (03) : 540 - 554
[10] PUSHDOWN-AUTOMATA ON ARRAYS
SHAH, A
INFORMATION SCIENCES, 1981, 25 (03) : 175 - 193

← 1 2 3 4 5 →