On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the other hand, the paradigm of rules is profusely used in computer science for representing and dealing with knowledge. Therefore , it makes much scene to establish a " bridge " between these domains, for instance, by designing P systems… (More)
We prove that the one dimensional heat equation with memory cannot be steered to the rest for large classes of memory kernels and controls. The approach is based on the application of the theory of interpolation in Paley–Wiener spaces.
The aim of this paper is to introduce the class of languages generated by the transitional model of membrane systems without cooperation and without additional ingredients. The fundamental nature of these basic systems makes it possible to also define the corresponding class of languages it in terms of derivation trees of context-free grammars. We also… (More)
We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in array grammars. First we show that the emptiness problem for P systems with (one-dimensional) insertion rules is unde-cidable. Then we show computational completeness of P systems… (More)
Array insertion grammars have already been considered as contextual array grammars in , whereas the inverse interpretation of a contextual array rule as a deletion rule has newly been introduced in  and . The results described in this extended abstract were elaborated in  for one-dimensional arrays and in  for two-dimensional arrays.
The focus of this paper is the family of languages generated by transitional non-cooperative P systems without further ingredients. This family can also be defined by so-called time yields of derivation trees of context-free grammars. In this paper we prove that such languages can be parsed in polynomial time, where the degree of polynomial may depend on… (More)