The conformon-P system: a molecular and cell biology-inspired computability model

A new theoretical computational model, called conformon-P system, based on simple and basic concepts inspired from a theoretical model of the living cell and membrane computing is presented.The computational power of it and of some natural variants are studied.Links with Petri nets, reversible computation, other interpretations and variants of the model are briefly outlined.

[1]  G Kemeny,et al.  Quantum Mechanical Model for Conformons. , 1974, Journal of theoretical biology.

[2]  I. Goklany,et al.  Polarons and conformons. , 1973, Journal of theoretical biology.

[3]  Andrei Paun,et al.  Computing by Communication in Networks of Membranes , 2002, Int. J. Found. Comput. Sci..

[4]  Victor Mitrana,et al.  P Systems with Valuations , 2000, UMC.

[5]  T. Head.  Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. , 1987, Bulletin of mathematical biology.

[6]  Hendrik Jan Hoogeboom.  Carriers and Counters: P Systems with Carriers vs. (Blind) Counter Automata , 2002, Developments in Language Theory.

[7]  Gheorghe Paun.  Computing with Membranes: A Variant , 1999 .

[8]  S. Ji,et al.  Free energy and information contents of conformons in proteins and DNA. , 2000, Bio Systems.

[9]  M V Volkenstein,et al.  The conformon. , 1972, Journal of theoretical biology.

[10]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[11]  Pierluigi Frisco,et al.  Towards a Hierarchy of Info-Energy P Systems , 2002 .

[12]  Gheorghe Paun.  Computing with Membranes (P Systems): A Variant , 2000, Int. J. Found. Comput. Sci..

[13]  Sheila A. Greibach.  Remarks on Blind and Partially Blind One-Way Multicounter Machines , 1978, Theor. Comput. Sci..

[14]  John H. Reif,et al.  Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation , 1998, FSTTCS.

[15]  Tom Head,et al.  Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors , 1987 .

[16]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[17]  Sungchul Ji,et al.  The electromechanochemical model of mitochondrial structure and function , 1972 .

[18]  James P. Jones,et al.  Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets , 1984, J. Symb. Log..

[19]  Brenda S. Baker,et al.  Reversal-Bounded Multipushdown Machines , 1974, J. Comput. Syst. Sci..

[20]  S. Ji,et al.  The bhopalator: a molecular model of the living cell based on the concepts of conformons and dissipative structures. , 1985, Journal of theoretical biology.

[21]  G. Morpurgo,et al.  Deregulation of immunoglobulin expression: is this the main cause of Burkitt's lymphoma? , 1985, Journal of theoretical biology.

[22]  PăunGheorghe.  P systems with active membranes , 2001 .

[23]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[24]  Pierluigi Frisco,et al.  Conformons-P Systems , 2002, DNA.

[25]  Pierluigi Frisco,et al.  Towards a Hierarchy of Conformons-P Systems , 2002, WMC-CdeA.

[26]  Sungchul Ji,et al.  The Bhopalator: An Information/Energy Dual Model of the Living Cell (II) , 2002, Fundam. Informaticae.

[27]  Kamala Krithivasan,et al.  P Systems with Membrane Creation: Universality and Efficiency , 2001, MCU.

[28]  M. Minsky.  Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

[29]  Gheorghe Paun,et al.  Membrane computing based on splicing , 1999, DNA Based Computers.