Gregory's ServerSo, @wryl, who created Modal, demonstrated to me an interesting connection between Fractran and rewriting programming languages that I couldn't see at first. It is not obvious until you point the registers to symbols in memory, but once named registers defined in rules start to be rewritten, it suddenly becomes obvious that this a very powerful OISC(where the only instruction is Multiply) rewriting engine system, moreso than Thue if I dare say:
 6 comments
@neauoire It's a really subtle case of multi-set rewriting. Because rewrite rules can be formulated over any kind of structure, it's easy to swap other structures in. FRACTRAN, Petri Nets, some fragments of linear logic, and Nova all share the backing structure of "an unordered bag of things, which can have duplicate items". It's really neat once you start examining the consequences, because if the things in the bag have some structure, you can pattern-match them. Then anything is possible. @wryl It's like I told you before, I'm really bad at understanding anything until I spend way too many hours trying to work it out mechanically. It finally clicked last night what "an unordered bag of things " actually mean. I get why you can't order them now. @wryl me: eating plasticine. :: c c > done. AC 7 a 7 × 49/7 = 49, a a |
Here's an example run:
:: 5/6 blue.2 red.3 > purple.5
:: 11/21 yellow.7 red.3 > orange.11
AC 126 blue red red yellow
00 126 × 5/6 = 105/1, red purple yellow
01 105 × 11/21 = 55/1, purple orange