Computation, Cooperation, and Life

Gheorghe Pun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature. He has significantly contributed to the development of these diverse fields, initiating and pioneering some of them with remarkable imaginativeness and enthusiasm. Gheorghe Pun's research focusses on systems inspired by structures and processes found in living systems, with the field of membrane computing or P systems being the most important of his initiatives. This Festschrift volume, published to honor Gheorghe Pun on the occasion of his 60 th birthday, includes 16 contributions by his students and collaborators. The research presented aims to gain a better understanding of what computation is, to find better models of computation, and to look for new computing devices inspired by the structure and/or functioning of natural or societal systems. The papers are preceded by an introduction by Solomon Marcus, Gheorghe Pun's lifelong teacher and mentor, and are organized in topical sections on general computing, grammar systems, membrane systems, and inspirations from natural computing.

Inhalt
Introduction: Impact of GP's Scientific Work.- Knowing All Optimal Solutions Does Not Help for TSP Reoptimization.- A Recurrent Enumeration of Free Hypermultisets.- Context Insertions.- A General Framework for Regulated Rewriting Based on the Applicability of Rules.- CD Grammar Systems: Competence and Confidence.- Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence.- On the Expressive Power of Valences in Cooperating Distributed Grammar Systems.-Generative Power of Eco-Colonies.- Selected Topics in Computational Complexity of Membrane Systems.- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface.- Computing the Maximum Bisimulation with Spiking Neural P Systems.- P Colonies and their Extensions.- On the Parallelizability of Languages Accepted by P Automata.- On Some Biologically Motivated Control Devices for Parallel Rewriting.- Reaction Systems with Duration.- Nanomachine Computing by Quorum Sensing.