Computing with Cells: Advances in Membrane Computing

Pierluigi Frisco

мај 2009. · OUP Oxford

O ovoj e-knjizi

Membrane systems are a new class of distributed and parallel model of computation inspired by the subdivision of living cells into compartments delimited by membranes. Their hierarchical internal structure, their locality of interactions, their inherent parallelism and also their capacity to create new compartments, represent the distinguishing hallmarks of membrane systems. Membrane computing, the study of membrane systems, is a fascinating and fast growing area of research. The main streams of current investigations in Membrane Computing concern theoretical computer science and the modelling of complex systems. In this monograph Pierluigi Frisco considers the former trend: he presents an in-depth study of the formal language and computational complexity aspects of the most widely investigated models of membrane systems. This study gives a comprehensive understanding of the computational power of the models considered, shows different proof techniques used for such study, and introduces links highlighting the similarities and differences between the their computational power. These models cover a broad range of features, giving a grasp of the enormous flexibility of the framework offered by membrane systems. Aimed at graduates and researchers in the field, who can use it as a reference text, and to people with an initial interest in Membrane Computing, who can use it as a clear and up to date starting point for Membrane Computing.

O autoru

Dr. P. Frisco graduated in Computer Science in 1997 at the Università degli studi di Milano (Italy) following a thesis in the field of Molecular Computing. After graduating he worked as software developer. In 1998 he obtained a two-year scholarship for a stay at the Leiden Institute for Advanced Computer Science (LIACS), Universiteit Leiden (The Netherlands). In 2000 he became a PhD student in this institute. In June 2004 he successfully completed his PhD thesis titled: `Theory of Molecular Computing - Splicing and Membrane Systems'. In September of the same year he was appointed lecturer at the Department of Computer Science at the University of Exeter. In March 2006 he was appointed lecturer at the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh, where he currently works.