Buscar
Mostrando ítems 1-3 de 3
Ponencia
Matrix Languages, Register Machines, Vector Addition Systems
(Fénix Editora, 2005)
We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with appearance checking with the sets of vectors generated by register machines. As a particular case, we ...
Ponencia
P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete
(Fénix Editora, 2005)
We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set of k-dimensional vectors of natural numbers can be generated (accepted) by using at most k + 4 ...
Ponencia
Event-Related Outputs of Computations in P Systems
(Fénix Editora, 2005)
We briefly investigate the idea to consider as the result of a computation in a P system the number of steps elapsed between two events produced during the computation. Specifically, we first consider the case when the ...