drummyfish/less_retarded_wiki
5
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update

Browse source
This commit is contained in:
Miloslav Ciz 2024-08-31 14:44:45 +02:00
parent 124b9d1e7c
commit 3f374a4713
85 changed files with 2281 additions and 2272 deletions
Download patch file Download diff file Expand all files Collapse all files

18
interaction_net.md
View file

@ -59,11 +59,11 @@ Now we can perform a computation of 2 + 1. We first set up the interaction net t
| | | |==>---|______|
| ZERO |==>---| SUCC |
|______| |______|
representation of 1
apply rule 2:
______ ______
| | | | ______ ______
| ZERO |==>---| SUCC |==><==| | | |
@ -83,14 +83,14 @@ apply rule 2:
| ZERO |==>---| SUCC |
|______| |______|
apply rule 1:
apply rule 1:
______ ______ ______ ______
| | | | | | | |
| ZERO |==>---| SUCC |==>---| SUCC |==>---| SUCC |==> z
|______| |______| |______| |______|
representation of 3 (the result)
no more rules to apply
```
@ -101,12 +101,12 @@ One specific very important interaction system is called **"interaction combinat
erasing rule: _____
_____ _____ | |
x ---| | | | x <==| E |
{...}| t |==><==| E | rewrites to |_____|
{...}| t |==><==| E | rewrites to |_____|
y ---|_____| |_____| {...} _____
| |
y <==| E |
|_____|
duplication rule:
_____ _____
| |------| |
@ -132,4 +132,4 @@ TODO: text representation, compare text representation of interaction nets with
## See Also
- [rule 110](rule110.md)
- [rule 110](rule110.md)