Ponencia
The Power of Symport-3 with Few Extra Symbols
Autor/es | Alhazov, Artiom
Rogozhin, Yurii |
Fecha de publicación | 2012 |
Fecha de depósito | 2016-02-03 |
Publicado en |
|
ISBN/ISSN | 978-84-940056-5-7 |
Resumen | Membrane systems (with symbol objects) are formal models of distributed
parallel multiset processing. Symport rules move multiple objects to a neighboring region.
It is known that P systems with symport rules of weight ... Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move multiple objects to a neighboring region. It is known that P systems with symport rules of weight at most 3 and a single membrane are computationally complete with 7 superfluous symbols. It is also known that without any superfluous symbols such systems only generate finite sets. We improve the lower bounds on the generative power of P systems with few superfluous objects as follows. 0: empty set and all singletons; k: all sets with at most k elements and all sets of numbers k+regular with up to k states, 1 k 5; 6: all regular sets of non-negative integers. All results except the last one are also valid for different modes, e.g., sequential one, also for higher values of k. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
YuriiArtiom.pdf | 84.59Kb | [PDF] | Ver/ | |