Zipper logic

This is the page of Zipper logic.

References:

 

_________________________________________

Zipper logic is a variant of chemlambda. It is a graph rewrite system, consisting in only local moves on a class of zipper graphs. It is Turing universal.

Compared with chemlambda, it has a new move, called “CLICK”, which is not present elsewhere. When translated to chemlambda, this move appears as a pattern identification move.

Up to now, zipper logic seems to be the most promising graph rewrite formalism (among those proposed in this open notebook) which could have a correspondent in real chemistry, probably in relation to RNA pseudoknots (but this is a speculation for the moment, help from specialists in chemistry is needed).

Besides this, I believe that zippers (as described in the Zipper logic article) are an interesting topological object, along knots and pseudoknots.

_________________________________________

 

2 thoughts on “Zipper logic”

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

computing with space | open notebook

OAnarchy

Change, when it comes, cracks everything open. - Dorothy Allison

MolView

computing with space | open notebook

Research Practices and Tools

computing with space | open notebook

coreboot

News from coreboot world

Syntopia

computing with space | open notebook

Random thoughts and fancy math

computing with space | open notebook

MaidSafe

The Decentralised Internet is Here

dpr

computing with space | open notebook

Low Dimensional Topology

Recent Progress and Open Problems

Voxel-Engine

An experimental 3d voxel rendering algorithm

DIANABUJA'S BLOG: Africa, The Middle East, Agriculture, History and Culture

Ambling through the present and past with thoughts about the future

Retraction Watch

Tracking retractions as a window into the scientific process

Gödel's Lost Letter and P=NP

a personal view of the theory of computation

%d bloggers like this: