On Stateless Automata and P Systems

We introduce the notion of stateless multihead two-way (respectively, oneway) NFAs and stateless multicounter systems and relate them to P systems and vector addition systems. In particular, we investigate the decidability of the emptiness and reachability problems for these stateless automata and show that the results are applicable to similar questions concerning certain variants of P systems, namely, token systems and sequential tissue-like P systems.

• Type: Journal
• Year: 2008
• Where: IJFCS
• Authors: Linmin Yang, Zhe Dang, Oscar H. Ibarra
• Keywords: IJFCS 2008, Stateless Multicounter Systems, Systems, Vector Addition Systems