Expressivity in the κ Family

  • Authors:
  • Cosimo Laneve;Antonio Vitale

  • Affiliations:
  • Dipartimento di Scienze dell'Informazione, Università di Bologna;Dipartimento di Scienze dell'Informazione, Università di Bologna

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we study implementation of @k calculus into nano@k calculus - called self-assembling of @k in nk. The former is a model for molecular biology that rewrites graphs of molecules in one step; the latter is a calculus similar to @k that only admits binary interactions. We give a solution of the self-assembling of @k in nano@k that is divergent and we show the nonexistence of deterministic solutions retaining ''reasonable'' properties.