This is part of the series on zipper logic (branded in this post as “zipperlogic”). The last post is Zipper logic (VI) latest version, detailed.
As can be seen in that post, zipperlogic is equivalent with chemlambda, but it has two interesting qualities: is more intuitive and it has the CLICK move.
The CLICK move transforms a pair of opposed half-zippers into a zipper, which is then unzipped with the ZIP move. While the ZIP move is equivalent with the graphic beta move, there is no correspondent to the CLICK move, apparently.
The CLICK move becomes useful when we use other realizations of the zipperlogic than chemlambda. In the one where half-zippers are realized as towers of crossings, the CLICK move turns out to be a pattern recognition move, and the ZIP move becomes the familiar R2 (Reidemeister 2) move, applied to that pattern.
That is why CLICK is interesting: because in order to apply moves in chemlambda, we have first to identify the patterns where these moves may be used.
Now, I want to justify this in the following. I shall not aim for another realization of zipperlogic, but for one of chemlambda, inspired by the one of zipperlogic seen as acting on towers of crossings.
I shall use half-crossings. Recall that in the post Slide equivalence of knots and lambda calculus (I) I wrote:
Louis Kauffman proposes in his book Knots and Physics (part II, section “Slide equivalence”), the notion of slide equivalence. In his paper “Knotlogic” he uses slide equivalence (in section 4) in relation to the self-replication phenomenon in lambda calculus. In the same paper he is proposing to use knot diagrams as a notation for the elements and operation of a combinatory algebra (equivalent with untyped lambda calculus).
Obviously, we have four gates, like in the lambda calculus sector of the graphic lambda calculus. Is this a coincidence?
So this post can be seen as a try to answer this question.
But the halfcrossings which I use here are different than the ones defined by Louis Kauffman. There might be a way to transform ones into the others, but I have not found it yet.
Here is the encoding of chemlambda by halfcrossings:
Remark that each of the halfcrossings has a dangling, vanishing thread, like in the previous post Bacterial conjugation is beta reduction.
[I shall come back in later posts to the relevance of this formalism for horizontal gene transfer.]
Look at this as a new notation for chemlambda nodes and just replace the green and red nodes by these halfcrossings in order to get the right moves for the halfcrossings.
With an exception: the CLICK move. This move consists into joining neighbouring dangling threads, in two situations, one related to the beta move, the other related to the FAN-IN move.
Look how the beta move appears with halfcrossings and the CLICK move used for pattern recognition (in the figure this s calld “pattern id”):
Now, the other CLICK move, involved into the identification of the pattern appearing in the FAN-IN move.
In a future post I shall look at the DIST moves, in this encoding.