# chorasimilarity

### Description

computing with space

### chorasimilarity's Latest Posts

### Tags

### Comments

Log in to leave a comment

X

Name

chorasimilarity

Categories

URL

Feed

- chorasimilarity

computing with space

+

Continues from Ouroboros predecessor (III): the walking machine . This time you have to imagine that the walker machine sits on a long enough train track. The regularity of the train track is corrupted by a bit of food (appearing as a L node connected to a termination node), see the next (BIG) picture. It […]

+

In the post Ouroboros predecessor (II): start of the healing process there is a curious phenomenon happening: there are 3 quasi-identical reduction steps, each involving 8 reductions. That is because there is a walking machine in those graphs. Explanations follow. Recall the reduction strategy: at each step we do all the possible (non-conflicting) graph rewrites involving […]

+

Let’s continue from the place we stopped in Ouroboros predecessor, another chemlambda reduction . After the first reduction stage which involves 6 rewrites, we see that the signal is given for the start of the healing process. The signal for the healing is given by the beta reduction L[59,59,23] A[23,27,14] –beta–> Arrow[59,14] Arrow[27,59] The COMB […]

+

Well, let’s see if I learned a trick from the predecessor function from the post Answer to “what reduction is this?”. I make an ouroboros from something like the Pred 8: We’re in the middle of the computation, what will give eventually, can you guess? Next time! __________________________________________________________ Filed under: Uncategorized Tagged: chemlambda, […]

+

In lambda calculus, the predecessor function is surprisingly difficult, of course when compared with the successor, addition or multiplication. In the post What reduction is this? I used chemlambda with the stupid sequential reduction strategy stated in Y again: conflict!, namely: we start with a g-pattern and we reduce it sequentially at each step we […]

+ Add Tag

Log in to leave a comment

About ScienceSeeker

ScienceSeeker collects science articles from sources around the world, so you can find the latest science news and discussion on any topic.

Are you a science blogger?

Submit your blog today.

X