Presentation
Time-freeness and Clock-freeness and Related Concepts in P Systems
Author/s | Alhazov, Artiom
Freund, Rudolf Ivanov, Sergiu Pan, Linqiang Song, Bosheng |
Publication Date | 2017 |
Deposit Date | 2017-12-15 |
Published in |
|
ISBN/ISSN | 978-84-946316-9-6 |
Abstract | In the majority of models of P systems, rules are applied at the ticks of a
global clock and their products are introduced into the system for the following step. In
timed P systems, di erent integer durations are ... In the majority of models of P systems, rules are applied at the ticks of a global clock and their products are introduced into the system for the following step. In timed P systems, di erent integer durations are statically assigned to rules; time-free P systems are P systems yielding the same languages independently of these durations. In clock-free P systems, durations are real and are assigned to individual rule applications; thus, different applications of the same rule may last for a different amount of time. In this paper, we formalise timed, time-free, and clock-free P system within a framework for generalised parallel rewriting. We then explore the relationship between these variants of semantics. We show that clock-free P systems cannot effi ciently solve intractable problems. Moreover, we consider un-timed systems where we collect the results using arbitrary timing functions as well as un-clocked P systems where we take the union over all possible per-instance rule durations. Finally, we also introduce and study mode-free P systems, whose results do not depend on the choice of a mode within a fixed family of modes, and compare mode-freeness with clock-freeness. |
Citation | Alhazov, A., Freund, R., Ivanov, S., Pan, L. y Song, B. (2017). Time-freeness and Clock-freeness and Related Concepts in P Systems. En BWMC 2017: 15th Brainstorming Week on Membrane Computing (43-70), Sevilla, España: Fenix Editora. |
Files | Size | Format | View | Description |
---|---|---|---|---|
043_Timefreeness.pdf | 412.1Kb | [PDF] | View/ | |