首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
ON REVERSAL-BOUNDED COUNTER MACHINES AND ON PUSHDOWN-AUTOMATA WITH A BOUND ON THE SIZE OF THE PUSHDOWN STORE
被引:21
|
作者
:
DURIS, P
论文数:
0
引用数:
0
h-index:
0
机构:
COLUMBIA UNIV,DEPT COMP SCI,NEW YORK,NY 10027
DURIS, P
GALIL, Z
论文数:
0
引用数:
0
h-index:
0
机构:
COLUMBIA UNIV,DEPT COMP SCI,NEW YORK,NY 10027
GALIL, Z
机构
:
[1]
COLUMBIA UNIV,DEPT COMP SCI,NEW YORK,NY 10027
[2]
TEL AVIV UNIV,TEL AVIV,ISRAEL
来源
:
INFORMATION AND CONTROL
|
1982年
/ 54卷
/ 03期
关键词
:
D O I
:
10.1016/S0019-9958(82)80023-5
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:217 / 227
页数:11
相关论文
共 50 条
[21]
TIME-VARYING PUSHDOWN-AUTOMATA
KRITHIVASAN, K
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT COMP SCI,MADISON,WI 53706
UNIV WISCONSIN,DEPT COMP SCI,MADISON,WI 53706
KRITHIVASAN, K
SRINIVASAN, V
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT COMP SCI,MADISON,WI 53706
UNIV WISCONSIN,DEPT COMP SCI,MADISON,WI 53706
SRINIVASAN, V
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS,
1988,
24
(3-4)
: 223
-
236
[22]
REMARKS ON MULTIHEAD PUSHDOWN-AUTOMATA AND MULTIHEAD STACK AUTOMATA
MIYANO, S
论文数:
0
引用数:
0
h-index:
0
MIYANO, S
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
1983,
27
(01)
: 116
-
124
[23]
UNAMBIGUOUS SIMULATIONS OF AUXILIARY PUSHDOWN-AUTOMATA AND CIRCUITS
NIEDERMEIER, R
论文数:
0
引用数:
0
h-index:
0
NIEDERMEIER, R
ROSSMANITH, P
论文数:
0
引用数:
0
h-index:
0
ROSSMANITH, P
LECTURE NOTES IN COMPUTER SCIENCE,
1992,
583
: 387
-
400
[24]
CHARACTERIZING UNAMBIGUOUS AUGMENTED PUSHDOWN-AUTOMATA BY CIRCUITS
LANGE, KJ
论文数:
0
引用数:
0
h-index:
0
LANGE, KJ
ROSSMANITH, P
论文数:
0
引用数:
0
h-index:
0
ROSSMANITH, P
LECTURE NOTES IN COMPUTER SCIENCE,
1990,
452
: 399
-
406
[25]
DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR DETERMINISTIC PUSHDOWN-AUTOMATA
MEITUS, VY
论文数:
0
引用数:
0
h-index:
0
MEITUS, VY
CYBERNETICS AND SYSTEMS ANALYSIS,
1992,
28
(05)
: 672
-
690
[26]
SYNCHRONIZABLE DETERMINISTIC PUSHDOWN-AUTOMATA AND THE DECIDABILITY OF THEIR EQUIVALENCE
CULIK, K
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV TURKU,DEPT MATH,SF-20500 TURKU 50,FINLAND
UNIV TURKU,DEPT MATH,SF-20500 TURKU 50,FINLAND
CULIK, K
KARHUMAKI, J
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV TURKU,DEPT MATH,SF-20500 TURKU 50,FINLAND
UNIV TURKU,DEPT MATH,SF-20500 TURKU 50,FINLAND
KARHUMAKI, J
ACTA INFORMATICA,
1986,
23
(05)
: 597
-
605
[27]
CHARACTERIZING THE POLYNOMIAL HIERARCHY BY ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA
JENNER, B
论文数:
0
引用数:
0
h-index:
0
JENNER, B
KIRSIG, B
论文数:
0
引用数:
0
h-index:
0
KIRSIG, B
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS,
1989,
23
(01):
: 87
-
99
[28]
A NOTE ON ONE-WAY AUXILIARY PUSHDOWN-AUTOMATA
WANG, Y
论文数:
0
引用数:
0
h-index:
0
机构:
Yamaguchi Univ, Ube-shi, Japan
WANG, Y
XU, JL
论文数:
0
引用数:
0
h-index:
0
机构:
Yamaguchi Univ, Ube-shi, Japan
XU, JL
INOUE, K
论文数:
0
引用数:
0
h-index:
0
机构:
Yamaguchi Univ, Ube-shi, Japan
INOUE, K
ITO, A
论文数:
0
引用数:
0
h-index:
0
机构:
Yamaguchi Univ, Ube-shi, Japan
ITO, A
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,
1995,
E78D
(06)
: 778
-
782
[29]
A NOTE ON 2-WAY NONDETERMINISTIC PUSHDOWN-AUTOMATA
RYTTER, W
论文数:
0
引用数:
0
h-index:
0
RYTTER, W
INFORMATION PROCESSING LETTERS,
1982,
15
(01)
: 5
-
9
[30]
THE EXPRESSIBILITY OF NONDETERMINISTIC AUXILIARY STACK AUTOMATA AND ITS RELATION TO TREESIZE BOUNDED ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA
VINAY, V
论文数:
0
引用数:
0
h-index:
0
机构:
PURDUE UNIV, IND ENGN, W LAFAYETTE, IN 47907 USA
PURDUE UNIV, IND ENGN, W LAFAYETTE, IN 47907 USA
VINAY, V
CHANDRU, V
论文数:
0
引用数:
0
h-index:
0
机构:
PURDUE UNIV, IND ENGN, W LAFAYETTE, IN 47907 USA
PURDUE UNIV, IND ENGN, W LAFAYETTE, IN 47907 USA
CHANDRU, V
LECTURE NOTES IN COMPUTER SCIENCE,
1990,
472
: 104
-
114
←
1
2
3
4
5
→