A NOTE ON REAL-TIME ONE-WAY ALTERNATING MULTICOUNTER MACHINES

被引:3
作者
INOUE, K
ITO, A
TAKANAMI, I
机构
[1] Department of Computer Science and Systems Engineering, Faculty of Engineering, Yamaguchi University, Ube
关键词
D O I
10.1016/0304-3975(91)90378-F
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper investigates several properties of one-way alternating multicounter machines which operate in real time, and shows that (1) for each k greater-than-or-equal-to 1, one-way alternating k-counter machines (1 acm(k)'s) which operate in real time are less powerful than 1acm(k + 1)'s which operate in real time, (2) for each k greater-than-or-equal-to 2, 1acm(k)'s which operate in real time are less powerful than 1acm(k)'s which operate in linear time, and (3) for each k greater-than-or-equal-to 1, the class of sets accepted by 1acm(k)'s which operate in real time is not closed under concatenation with regular sets, Kleene closure, reversal and length-preserving homomorphism.
引用
收藏
页码:287 / 296
页数:10
相关论文
共 12 条
[1]  
Book R., 1972, Mathematical Systems Theory, V6, P37, DOI 10.1007/BF01706072
[2]   ALTERNATION [J].
CHANDRA, AK ;
KOZEN, DC ;
STOCKMEYER, LJ .
JOURNAL OF THE ACM, 1981, 28 (01) :114-133
[3]  
FISHER PC, 1968, MATH SYST THEORY, V2, P265
[4]  
Greibach S. A., 1976, Theoretical Computer Science, V1, P269, DOI 10.1016/0304-3975(76)90072-4
[5]   ERASABLE CONTEXT-FREE LANGUAGES [J].
GREIBACH, SA .
INFORMATION AND CONTROL, 1975, 29 (04) :301-326
[6]   ALTERNATING MULTICOUNTER MACHINES WITH CONSTANT NUMBER OF REVERSALS [J].
HROMKOVIC, J .
INFORMATION PROCESSING LETTERS, 1985, 21 (01) :7-9
[7]   ON THE POWER OF ALTERNATION IN AUTOMATA THEORY [J].
HROMKOVIC, J .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (01) :28-39
[8]  
KING KN, 1981, LECTURE NOTES COMPUT, V115, P506
[9]  
LADNER RE, 1978, 19TH IEEE ANN S F CO, P92
[10]   ALTERNATING SIMPLE MULTIHEAD FINITE AUTOMATA [J].
MATSUNO, H ;
INOUE, K ;
TANIGUCHI, H ;
TAKANAMI, I .
THEORETICAL COMPUTER SCIENCE, 1985, 36 (2-3) :291-308