Academic
Publications
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts

Partial Halting in P Systems Using Membrane Rules with Permitting Contexts,10.1007/978-3-540-74593-8_10,Artiom Alhazov,Rudolf Freund,Marion Oswald,Ser

Partial Halting in P Systems Using Membrane Rules with Permitting Contexts   (Citations: 3)
BibTex | RIS | RefWorks Download
We consider a new variant of the halting condition in P sys- tems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable anymore at the same time, whereas usually a computation is called halting if no rule is applicable anymore in the whole system. This new variant of partial halting is especially in- vestigated for several variants of P systems using membrane rules with permitting contexts and working in dierent derivation modes.
Conference: Machines, Computations, and Universality - MCU , pp. 110-121, 2007
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...(see [2], [3], [10]), a computation may only continue as long as from each set of a covering of the whole rule set at least one rule can still be applied...
    • ...The main parts of notions, definitions, and results presented in the following are taken from [12] and [13] as well as from [3] and [10]...
    • ...The proof follows the ideas of a similar result proved for a general variant of P systems with permitting contexts in [3] and therefore is omitted...

    Rudolf Freund. Transition and Halting Modes in (Tissue) P Systems

    • ...conditions have been investigated; for example, when using partial halting (see [2], [3], [10]), a computation may only continue as long as from each set of a rule partitioning at least one rule can still be applied...
    • ...The main parts of notions, deflnitions, and results presented in the following are taken from [12] and [13] as well as from [3] and [10]...
    • ...The proof follows the ideas of a similar result proved for a general variant of P systems with permitting contexts in [3] and therefore is omitted...

    Rudolf Freund. Transition and Halting Modes for Tissue P Systems

Sort by: