4 research outputs found
Minimization Strategies for Maximally Parallel Multiset Rewriting Systems
Maximally parallel multiset rewriting systems (MPMRS) give a convenient way
to express relations between unstructured objects. The functioning of various
computational devices may be expressed in terms of MPMRS (e.g., register
machines and many variants of P systems). In particular, this means that MPMRS
are computationally complete; however, a direct translation leads to quite a
big number of rules. Like for other classes of computationally complete
devices, there is a challenge to find a universal system having the smallest
number of rules. In this article we present different rule minimization
strategies for MPMRS based on encodings and structural transformations. We
apply these strategies to the translation of a small universal register machine
(Korec, 1996) and we show that there exists a universal MPMRS with 23 rules.
Since MPMRS are identical to a restricted variant of P systems with antiport
rules, the results we obtained improve previously known results on the number
of rules for those systems.Comment: This article is an improved version of [1
New Choice for Small Universal Devices: Symport/Antiport P Systems
Symport/antiport P systems provide a very simple machinery inspired by
corresponding operations in the living cell. It turns out that systems of small
descriptional complexity are needed to achieve the universality by these
systems. This makes them a good candidate for small universal devices replacing
register machines for different simulations, especially when a simulating
parallel machinery is involved. This article contains survey of these systems
and presents different trade-offs between parameters
On the Properties of Language Classes Defined by Bounded Reaction Automata
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.Comment: 23 pages with 3 figure