rewriting systems and the modelling of biological systems重写系统和生物系统的造型.pdf

Comparative and Functional Genomics Comp Funct Genom 2004; 5: 95–99. Published online in Wiley InterScience (). DOI: 10.1002/cfg.363 Conference Review Rewriting systems and the modelling of biological systems 1 2 1 Jean-Louis Giavitto , Grant Malcolm * and Olivier Michel 1 ´ ´ ´ LaMI u.m.r. 8042 du CNRS, Universite d’Evry Val d’Essone — GENOPOLE, Tour Evry-2, 523 Place des Terrasses de l’Agora, 91000 ´ Evry, France 2 Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UK *Correspondence to: Abstract Grant Malcolm, Department of Computer Science, University of This paper gives a brief survey of the use of algebraic rewriting systems for mod- Liverpool, Liverpool L69 7ZF, UK. elling and simulating various biological processes, particularly at the cellular level. E-mail: grant@csc.liv.ac.uk Copyright  2004 John Wiley Sons, Ltd. Keywords: computational models for cell simulation; dynamical systems with a Received: 13 November 2003 dynamical structure; rewriting systems; simulation Revised: 18 November 2003 Accepted: 25 November 2003 Introduction term can be simplified by repeatedly replacing parts of the term (subterms ) with other, equivalent, Computer systems are designed and built to meet subterms, e.g: some need in the real world: to maintain records of chains of amino acids or of personal finances, 1/2 · 2/3 · 3/4 → 1/3 · 3/4 → 1/4 to visualize tomographic data or to send tex