A note on realtime one-way alternating and deterministic multi-counter automata

被引：0

作者：

Yoshinaga, T ^{[1
]}

Inoue, K

机构：

[1] Tokuyama Coll Technol, Dept Comp Sci & Elect Engn, Tokuyama, Yamaguchi 7458585, Japan

[2] Yamaguchi Univ, Fac Engn, Dept Comp Sci & Syst Engn, Ube, Yamaguchi 7558611, Japan

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2002年 / E85D卷 / 02期

关键词：

alternating multi-counter automata; deterministic multi-counter automata; one-way computation; realtime computation; computational complexity;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper investigates the accepting powers of one-way alternating and deterministic multi-counter automata operating in realtime. We partially solve the open problem posed in [4], and show that for each k greater than or equal to 1. there is a language accepted by a realtune one-way deterministic (k + 3)-counter automaton, but not accepted by any realtime one-way alternating k-counter automaton.

引用

页码：346 / 349

页数：4

共 50 条

[1] A note on realtime one-way alternating and deterministic multi-counter automata
Yoshinaga, Tsunehiro
Inoue, Katsushi
2002, Institute of Electronics, Information and Communication, Engineers, IEICE (E85-D)
[2] A NOTE ON REALTIME ONE-WAY SYNCHRONIZED ALTERNATING ONE-COUNTER AUTOMATA
HROMKOVIC, J
INOUE, K
THEORETICAL COMPUTER SCIENCE, 1993, 108 (02) : 393 - 400
[3] HIERARCHICAL PROPERTIES OF REALTIME ONE-WAY ALTERNATING MULTI-STACK-COUNTER AUTOMATA
YOSHINAGA, T
INOUE, K
TAKANAMI, I
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (04) : 621 - 629
[4] Las Vegas, self-verifying nondeterministic and deterministic one-way multi-counter automata with bounded time
Yoshinaga, T
Inoue, K
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (05) : 1207 - 1212
[5] ONE-WAY MULTIHEAD DETERMINISTIC FINITE AUTOMATA
HROMKOVIC, J
ACTA INFORMATICA, 1983, 19 (04) : 377 - 384
[6] ON POSSIBILITIES OF ONE-WAY SYNCHRONIZED AND ALTERNATING AUTOMATA
GEIDMANIS, D
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 292 - 299
[7] Reversible Computations of One-Way Counter Automata
Kutrib, Martin
Malcher, Andreas
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (367): : 126 - 142
[8] Reversible Computations of One-Way Counter Automata
Kutrib, Martin
Malcher, Andreas
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2024, 58
[9] A NOTE ON THE REDUCTION OF 2-WAY AUTOMATA TO ONE-WAY AUTOMATA
VARDI, MY
INFORMATION PROCESSING LETTERS, 1989, 30 (05) : 261 - 264
[10] A Note on Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States
Fujimoto, Tatsuya
Yoshinaga, Tsunehiro
Sakamoto, Makoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014, E97A (06): : 1375 - 1377

← 1 2 3 4 5 →