16 janvier 2017

Sergiu Ivanov

In this talk we will consider membrane (P) systems working with
multisets with integer multiplicities.  We will focus on a model in
which rule applicability is not influenced by the contents of the
membrane.  We show that this variant is closely related to blind
register machines and integer vector addition systems.  Furthermore, we
describe the computational power of these models in terms of linear and
semilinear sets of integer vectors.