Zipper logic

This is the page of Zipper logic.




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: Logo

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

Google photo

You are commenting using your Google 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 )

Connecting to %s

computing with space | open notebook

%d bloggers like this: