On the Properties of Language Classes Defined by Bounded Reaction Automata
Abstract
Reaction automata are a formal model that has been introduced to investigate the computing powers of interactive behaviors of biochemical reactions([14]). Reaction automata are language acceptors with multiset rewriting mechanism whose basic frameworks are based on reaction systems introduced in [4]. In this paper we continue the investigation of reaction automata with a focus on the formal language theoretic properties of subclasses of reaction automata, called linearbounded reaction automata (LRAs) and exponentially-bounded reaction automata (ERAs). Besides LRAs, we newly introduce an extended model (denoted by lambda-LRAs) by allowing lambda-moves in the accepting process of reaction, and investigate the closure properties of language classes accepted by both LRAs and lambda-LRAs. Further, we establish new relationships of language classes accepted by LRAs and by ERAs with the Chomsky hierarchy. The main results include the following : (i) the class of languages accepted by lambda-LRAs forms an AFL with additional closure properties, (ii) any recursively enumerable language can be expressed as a homomorphic image of a language accepted by an LRA, (iii) the class of languages accepted by ERAs coincides with the class of context-sensitive languages.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2012
- DOI:
- 10.48550/arXiv.1201.3082
- arXiv:
- arXiv:1201.3082
- Bibcode:
- 2012arXiv1201.3082O
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 68Q45 (Primary) 68Q05 (Secondary)
- E-Print:
- 23 pages with 3 figures