The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages

  • Authors:
  • Giorgio Delzanno;Cinzia Giusto;Maurizio Gabbrielli;Cosimo Laneve;Gianluigi Zavattaro

  • Affiliations:
  • Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italia;Dipartimento di Scienze dell'Informazione, Università di Bologna, Italia;Dipartimento di Scienze dell'Informazione, Università di Bologna, Italia;Dipartimento di Scienze dell'Informazione, Università di Bologna, Italia;Dipartimento di Scienze dell'Informazione, Università di Bologna, Italia

  • Venue:
  • CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The κ -calculus is a formalism for modelling molecular biology where molecules are terms with internal state and sites, bonds are represented by shared names labelling sites, and reactions are represented by rewriting rules. Depending on the shape of the rewriting rules, a lattice of dialects of κ can be obtained. We analyze the expressive power of some of these dialects by focusing on the thin boundary between decidability and undecidability for problems like reachability and coverability.