Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday

Description

Gheorghe Păun 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 Păun’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 Păun on the occasion of his 60th 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 Păun’s lifelong teacher and mentor, and are organized in topical sections on general computing, grammar systems, membrane systems, and inspirations from natural computing. Front Matter....Pages - Introduction: Impact of GP’s Scientific Work....Pages 1-4 Front Matter....Pages 5-5 Knowing All Optimal Solutions Does Not Help for TSP Reoptimization....Pages 7-15 A Recurrent Enumeration of Free Hypermultisets....Pages 16-23 Context Insertions....Pages 24-34 A General Framework for Regulated Rewriting Based on the Applicability of Rules....Pages 35-53 Front Matter....Pages 55-55 CD Grammar Systems: Competence and Confidence....Pages 57-69 Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence....Pages 70-89 On the Expressive Power of Valences in Cooperating Distributed Grammar Systems....Pages 90-106 Generative Power of Eco-Colonies....Pages 107-121 Front Matter....Pages 123-123 Selected Topics in Computational Complexity of Membrane Systems....Pages 125-137 A Temporal Logic for Mutual Mobile Membranes with Objects on Surface....Pages 138-150 Computing the Maximum Bisimulation with Spiking Neural P Systems....Pages 151-157 P Colonies and Their Extensions....Pages 158-169 On the Parallelizability of Languages Accepted by P Automata....Pages 170-178 Front Matter....Pages 179-179 On Some Biologically Motivated Control Devices for Parallel Rewriting....Pages 181-190 Reaction Systems with Duration....Pages 191-202 Nanomachine Computing by Quorum Sensing....Pages 203-215 Back Matter....Pages -