首页
学术期刊
论文检测
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 条
[31]
DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR SYNCHRONOUS DETERMINISTIC PUSHDOWN-AUTOMATA
NEPOMNJASHCHAJA, AS
论文数:
0
引用数:
0
h-index:
0
NEPOMNJASHCHAJA, AS
LECTURE NOTES IN COMPUTER SCIENCE,
1984,
176
: 425
-
432
[32]
Pushdown automata with bounded nondeterminism and bounded ambiguity
Herzog, C
论文数:
0
引用数:
0
h-index:
0
机构:
Fachbereich Informatik, J.W. Goethe-Universität, D-60054 Frankfurt am Main
Herzog, C
THEORETICAL COMPUTER SCIENCE,
1997,
181
(01)
: 141
-
157
[33]
Insertion operations on deterministic reversal-bounded counter machines
Eremondi, Joey
论文数:
0
引用数:
0
h-index:
0
机构:
Univ British Columbia, Dept Comp Sci, Vancouver, BC V6T 1Z4, Canada
Univ British Columbia, Dept Comp Sci, Vancouver, BC V6T 1Z4, Canada
Eremondi, Joey
Ibarra, Oscar H.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA
Univ British Columbia, Dept Comp Sci, Vancouver, BC V6T 1Z4, Canada
Ibarra, Oscar H.
McQuillan, Ian
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Saskatchewan, Dept Comp Sci, Saskatoon, SK S7N 5A9, Canada
Univ British Columbia, Dept Comp Sci, Vancouver, BC V6T 1Z4, Canada
McQuillan, Ian
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
2019,
104
: 244
-
257
[34]
Closure property of space-bounded two-dimensional alternating turing machines, pushdown automata, and counter automata
论文数:
引用数:
h-index:
机构:
Okazaki, T
Inoue, K
论文数:
0
引用数:
0
h-index:
0
机构:
Sci Univ Tokyo Yamaguchi, Fac Sci & Engn, Dept Elect & Comp Sci, Yamaguchi 7560884, Japan
Inoue, K
Ito, A
论文数:
0
引用数:
0
h-index:
0
机构:
Sci Univ Tokyo Yamaguchi, Fac Sci & Engn, Dept Elect & Comp Sci, Yamaguchi 7560884, Japan
Ito, A
Wang, Y
论文数:
0
引用数:
0
h-index:
0
机构:
Sci Univ Tokyo Yamaguchi, Fac Sci & Engn, Dept Elect & Comp Sci, Yamaguchi 7560884, Japan
Wang, Y
INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE,
2001,
15
(07)
: 1143
-
1165
[35]
A SIMULATION RESULT FOR 2-WAY PUSHDOWN-AUTOMATA
RYTTER, W
论文数:
0
引用数:
0
h-index:
0
RYTTER, W
INFORMATION PROCESSING LETTERS,
1983,
16
(04)
: 199
-
202
[36]
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
LECTURE NOTES IN COMPUTER SCIENCE,
1987,
294
: 118
-
125
[37]
ON THE DETERMINACY PROBLEM FOR 2-WAY PUSHDOWN-AUTOMATA
PETERSEN, H
论文数:
0
引用数:
0
h-index:
0
机构:
Fachbereich Informatik, Universität Hamburg, 22527 Hamburg
PETERSEN, H
INFORMATION PROCESSING LETTERS,
1994,
52
(06)
: 323
-
324
[38]
On bounded languages and reversal-bounded automata
Ibarra, Oscar H.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA
Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA
Ibarra, Oscar H.
Ravikumar, Bala
论文数:
0
引用数:
0
h-index:
0
机构:
Sonoma State Univ, Dept Comp & Engn Sci, Rohnert Pk, CA 94928 USA
Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA
Ravikumar, Bala
INFORMATION AND COMPUTATION,
2016,
246
: 30
-
42
[39]
Bounded-oscillation Pushdown Automata
Ganty, Pierre
论文数:
0
引用数:
0
h-index:
0
机构:
IMDEA Software Inst, Madrid, Spain
IMDEA Software Inst, Madrid, Spain
Ganty, Pierre
Valput, Damir
论文数:
0
引用数:
0
h-index:
0
机构:
IMDEA Software Inst, Madrid, Spain
IMDEA Software Inst, Madrid, Spain
Valput, Damir
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
2016,
(226):
: 178
-
197
[40]
A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS
GREIBACH, SA
论文数:
0
引用数:
0
h-index:
0
GREIBACH, SA
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1967,
18
(02)
: 263
-
&
←
1
2
3
4
5
→