Fractran: Difference between revisions

This is a variation of the previous solution which it is not entirely tacit due to the use of the explicit standard library verb (function) charsub. The adverb (functional) fractan is defined as a fixed tacit adverb (that is, a stateless point-free functional),

The prime numbers are produced via the stateless point-free adverb primes; its argument has the same specifications as the argument for the fractan adverb (which is used in its definition),

theprimes is also a stateless point-free code of the tacit adverb primes isfunctional,

'''StatelessTuring completeness of J's stateless point-free Turing completenessdialect'''

When _ is the limit argument; that is(i.e., when no limit is imposed,) the run will halt according to the FRACTAN programming language specifications (the run might also be forced to halt if a changeless single cycle is detected). Thus, the FRACTAN associated verb (function) is,

Actually, most of the code above is there to comply with the task's requirement of a "natural format." When J's format for fractions is used the FRACTAN verb emulator code is reduced tobecomes,

Thiswhich is aan indirect concise confirmation that theJ's fixed tacit dialect of J is Turing complete.

In the following example, FACTRANFRACTAN calculates the product 24 * 3 where6, the initial value 7211664 = (2^34)*(3^26) whereholds 3 is4 in the register associated with 2 and 2holds is6 in the register associated with 3 and; the result 1562559604644775390625 = 5^624 holds the product 24 = 4 * 6 in the register associated with 5.,

<lang j> 455r33 11r13 1r11 3r7 11r2 1r3 FRACTAN 7211664

1562559604644775390625</lang>