Article ID Journal Published Year Pages File Type
422043 Electronic Notes in Theoretical Computer Science 2008 13 Pages PDF
Abstract

In this paper we study implementation of κ calculus into nanoκ calculus – called self-assembling of κ 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 κ that only admits binary interactions. We give a solution of the self-assembling of κ in nanoκ that is divergent and we show the nonexistence of deterministic solutions retaining “reasonable” properties.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics