Hierarchies and characterizations of stateless multicounter machines

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

Volumn 5609 LNCS, Issue , 2009, Pages 408-417

  Ibarra, Oscar H ^a   Eǧecioǧlu, Ömer ^a  

^a University of California   (United States)

Author keywords

Closure properties; Hierarchy; Non realtime; Reversal bounded; Semilinear set; Stateless multicounter machine; Stateless multihead automata

Indexed keywords

BOUNDED LANGUAGE; CLOSURE PROPERTY; COMPUTING POWER; COUNTER MACHINES; REAL TIME; REVERSAL-BOUNDED COUNTERS; SEMILINEAR; SEMILINEAR SETS;

TRANSLATION (LANGUAGES);

ROBOTS;

EID: 76249126756     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02882-3_41     Document Type: Conference Paper

References (9)

1. E'gecio'glu, Ö., Ibarra, O.H.: On stateless multicounter machines. TR2009-01, Department of Computer Science, UCSB. In: Proceedings of Computability in Europe 2009 (CiE), Heidelberg, Germany (2009)
2. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Series in Computer Science. Addison-Wesley, Reading (1979)
3. Ibarra, O.H.: Reversal-bounded multicounter machines and their decision problems. J. Assoc. for Computing Machinery 25, 116-133 (1978)
4. Ibarra, O.H., Karhumäki, J., Okhotin, A.: On stateless multihead automata: Hierarchies and the emptiness problem. In: Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds.) LATIN 2008. LNCS, vol. 4957, pp. 94-105. Springer, Heidelberg (2008)
5. Korenjak, A.J., Hopcroft, J.E.: Simple deterministic languages. In: Proceedings of IEEE 7th Annu. Symp. on Switching and Automata Theory, pp. 36-46 (1966)
6. Kutrib, M., Messerschmidt, H., Otto, F.: On stateless two-pushdown automata and restarting automata. In: Pre-Proceedings of the 8th Automata and Formal Languages (May 2008)
7. P'aun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108-143 (2000); Turku Center for Computer Science-TUCS Report 208 (November 1998), www.tucs.fi
8. P'aun, G.: Computing with Membranes: An Introduction. Springer, Berlin (2002)
9. Yang, L., Dang, Z., Ibarra, O.H.: On stateless automata and P systems. In: Pre-Proceedings of Workshop on Automata for Cellular and Molecular Computing (August 2007)