Oops, rule 30 is not turing-complete. But rule 110 is. Just replace the
lookup table with 0 1 1 1 0 1 1 0.
-E
On Tue, 8 Feb 2022, Elijah Stone wrote:
A little game I thought of: imagine a version of j with no parentheses
(nor intermediate definitions); is it still turing-complete?
Turns out the answer is yes, sort of: {&0 1 1 1 1 0 0 0@#.\~&3^:_ is a
parenthesis-free implementation of rule 30. One caveat: it only works
given an infinite input.
Can anyone come up with something which does not require infinite arrays?
Further stipulations: no control structures; no ".; ^:_ and $:@.v are both
ok; direct definition is ok, and may even be named, but it has to be
completely self-contained.
-E
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
