Encoding-Decoding Transitional Systems for Classes of P Systems

摘要

A useful tool in the research on computation systems, and in particular on P systems, is the translation of a system under investigation into another one which is, in some sense, better known. Such kinds of translations were the bases of many computational universality and equivalence results in formal languages theory and in membrane computing. Here we outline a general framework for comparing systems at various descriptive levels and very different in nature.