Buscar
Mostrando ítems 1-4 de 4
Ponencia
Life-Death Ratio Approach by a Multiset-Based Type System
(Fénix Editora, 2014)
We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. ...
Ponencia
Red-Green P Automata
(Fénix Editora, 2014)
In this short note we extend the notion of red-green Turing machines to speci c variants of P automata. Acceptance and recognizability of nite strings by red- green automata are de ned via in nite runs of the automaton ...
Ponencia
Matter and Anti-Matter in Membrane Systems
(Fénix Editora, 2014)
The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in ...
Ponencia
Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
(Fénix Editora, 2014)
In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial ...