Variants of P systems with activation and blocking of rules

Abstract : We introduce new possibilities to control the application of rules based on the preceding applications, which can be defined in a general way for (hierarchical) P systems and the main known derivation modes. Computational completeness can be obtained even with non-cooperative rules and using both activation and blocking of rules, especially for the set modes of derivation, when allowing derivation steps with no rules being applied. When we allow the application of rules to influence the application of rules in previous derivation steps, applying a non-conservative semantics for what we consider to be a valid infinite derivation, we can even “go beyond Turing”.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02275967
Contributor : Frédéric Davesne <>
Submitted on : Monday, September 2, 2019 - 10:42:41 AM
Last modification on : Friday, November 29, 2019 - 2:28:02 PM

Links full text

Identifiers

Citation

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. Variants of P systems with activation and blocking of rules. Natural Computing, Springer Verlag, 2019, 18 (3), pp.593--608. ⟨10.1007/s11047-019-09747-5⟩. ⟨hal-02275967⟩

Share

Metrics

Record views

23