On the power of input-synchronized alternating finite automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1858, Issue , 2000, Pages 457-466

  Yamamoto, Hiroaki ^a  

^a SHINSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

TWO WAYS;

COMBINATORIAL MATHEMATICS;

EID: 84949441757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44968-x_45     Document Type: Conference Paper

References (11)

1. A.K. Chandra, D.C. Kozen and L.J. Stockmeyer, Alternation, J. Assoc. Comput. Mach. 28, 1, 114-133, 1981.
2. O.H. Ibarra and N.Q. Tran, On communication-bounded synchronized alternating finite automata, Acta Informatica, 31, 4, 315-327, 1994.
3. J. Dassow, J. Hromkovic, J. Karhuaki, B. Rovan and A. Slobodova, On the power of synchronization in parallel computation, In Proc. 14th MFCS’89, LNCS 379, 196-206, 1989.
4. J.E. Hopcroft and J.D. Ullman, Introduction to automata theory language and computation, Addison Wesley, Reading Mass, 1979.
5. J. Hromkovic, K. Inoue, B. Rovan, A. Slobodova, I. Takanami and K.W. Wagner, On the power of one-way synchronized alternating machines with small space, International Journal of Foundations of Computer Science, 3, 1, 65-79, 1992.
6. J. Hromkovic and K. Inoue, A note on realtime one-way synchronized alternating one-counter automata, Theoret. Comput. Sci., 108, 2, 393-400, 1993.
7. J. Hromkovic, B. Rovan and A. Slobodova, Deterministic versus nondeterministic space in terms of synchronized alternating machines, Theoret. Comput. Sci., 132, 2, 319-336, 1994.
8. R.E. Ladner, R.J. Ripton and L.J. Stockmeyer, Alternating pushdown and stack automata, SIAM J. Computing, 13, 1, 1984.
9. A. Slobodova, On the power of communication in alternating machines, In Proc. 13th MFCS’88, LNCS 324, 518-528, 1988.
10. M.Y. Vardi, Alternating automata and program verification, In Computer Science Today-Recent Trends and Developments, LNCS 1000, 471-485, 1996.
11. H. Yamamoto, An automata-based recognition algorithm for semi-extended regular expressions, manuscript, 2000.