Abstract
Counter machines are finite state automata equipped with a fixed, finite number of counters. The machine can check whether a counter is zero or not. In each step, a counter’s value can be increased by one, decreased by one, or left unchanged. Counter machines with two counters are Turing universal [5]. 5′ → 3′ Watson- Crick automata are two-head finite automata whose reading heads start from the two opposite ends of the input in the beginning of the computation [3,4]. Stateless multicounter 5′ → 3′ Watson-Crick automata were defined in [1,2]. The following is a more general definition, allowing to read strings in a transition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eğecioğlu, Ö., Hegedüs, L., Nagy, B.: Stateless multicounter 5′ → 3′ Watson-Crick automata. In: IEEE Fifth Int. Conf. BIC-TA, pp. 1599–1606 (2010)
Hegedüs, L., Nagy, B., Eğecioğlu, Ö.: Stateless multicounter 5′ → 3′ Watson-Crick automata: the deterministic case. Natural Computing 11, 361–368 (2012)
Nagy, B.: On 5′ →3′ sensing Watson-Crick finite automata. In: Garzon, M.H., Yan, H. (eds.) DNA 2007. LNCS, vol. 4848, pp. 256–262. Springer, Heidelberg (2008)
Freund, R., Păun, G., Rozenberg, G., Salomaa, A.: Watson-Crick Finite Automata. In: Third Ann. DIMACS Symp. on DNA Based Computers, pp. 535–546 (1994)
Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hegedüs, L., Nagy, B. (2013). On String Reading Stateless Multicounter 5′ → 3′ Watson-Crick Automata. In: Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A.E. (eds) Unconventional Computation and Natural Computation. UCNC 2013. Lecture Notes in Computer Science, vol 7956. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39074-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-39074-6_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39073-9
Online ISBN: 978-3-642-39074-6
eBook Packages: Computer ScienceComputer Science (R0)