Lafont’ quine online

UPDATE: Now you can search for Interaction Combinators quines among those generated by random 4 nodes (2 GAMMA, 2 DELTA). They are all immortal, because there are no conflicts in IC. They seem to be not so rare, I quickly discovered 6. Also, because the IC rewrites have so many symmetries, they are less varied than chemlambda quines generated from 4 nodes graphs.

__

I discovered that ishanpm js version of chemlambda does not give a darn on arrow orientations. So I added Interaction Combinators rewrites and nodes and now you can see online Lafont’ quine 🙂

 

 

So after you choose “Lafont’ quine” from the menu, hit “load” and then you can either hover with the mouse to trigger rewrites, or you can move the point or view and scale the graph with the mouse, or you use “step” to make 1 rewrite step, or “start” and “stop” to let the program do it.

It is interesting that this is possible and it is done by cleverly exploiting the mol file notation. Indeed, in this js version Ishan baptizes the ports by

“left” , “out”, “right”

for any of the 3-valent nodes, and the information about nodes types (L, A, FI, FO, FOE) and ports through which are connected  it is sufficient to unambiguously identify the chemlambda rewrites.

That means the script does not care if you put (in the molLib.js) an incorrect mol file (see here for the correct mol notation in chemlambda and hapax). It is sufficient that it executes correctly the chemlambda rewrites.

However this leaves some room. I added nodes types GAMMA and DELTA, which are 3-valent, with the ports “left”, “out”, “right” of type “0” (that means “in”, but who cares if this is never used later?). I use the node “T” from chemlambda as the node “EPSILON” from IC.

So the node with notation:

GAMMA 1 2 3

represents a gamma node in IC, with the principal port 1, and other ports 2 and 3. Same for DELTA.

A GAMMA-GAMMA rewrite is therefore, in mol notation terms, a transformation of the pattern:

GAMMA 1 2 3

GAMMA 1 4 5

into a pattern

Arrow 3 4

Arrow 2 5

What’s funny is that Ishan does not use Arrow rewrites either, because he executes at one time step only one rewrite, at random, so that means that instead a GAMMA-GAMMA rewrite as written before transforms into an empty pattern and a gluing of the remaining halves of the edges 2, 3, 4, 5 such that 3=4 and 2=5.

And so on.

So you have for the first time the Lafont’ quine online and don’t forget about the other quines discovered in chemlambda just by randomly shuffling of sources and targets of the 10_node chemlambda quine.

 

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 )

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