Fractran.  

EvolveList, the basic instruction  :

fractran_1.gif

fractran_2.gif

The example of a parity checker : EvolveList applied to 63 fractran_3.gif generates a list ending with 5 if n is odd and with 1 otherwise :

fractran_4.gif

fractran_5.gif

fractran_6.gif

fractran_7.gif

6 simple algorithms :

1) Addition in Fractran : fractran_8.giffractran_9.giffractran_10.gif.

fractran_11.gif

fractran_12.gif

fractran_13.gif

fractran_14.gif

2) Multiplication in Fractran : fractran_15.giffractran_16.giffractran_17.gif.

fractran_18.gif

fractran_19.gif

fractran_20.gif

fractran_21.gif

3) Integer division in Fractran : fractran_22.giffractran_23.giffractran_24.giffractran_25.gif.

fractran_26.gif

fractran_27.gif

fractran_28.gif

fractran_29.gif

4) Greatest common divisor : fractran_30.giffractran_31.giffractran_32.gif.

fractran_33.gif

fractran_34.gif

fractran_35.gif

fractran_36.gif

5) Least of two integers : fractran_37.giffractran_38.giffractran_39.gif.

fractran_40.gif

fractran_41.gif

fractran_42.gif

fractran_43.gif

fractran_44.gif

6) Swapping two registers :

fractran_45.gif

fractran_46.gif

fractran_47.gif

fractran_48.gif

Programming a function.

Fibonacci[n] : fractran_49.giffractran_50.gif

fractran_51.gif

fractran_52.gif

fractran_53.gif

fractran_54.gif

Factorial[n] : fractran_55.giffractran_56.gif

fractran_57.gif

fractran_58.gif

fractran_59.gif

fractran_60.gif

fractran_61.gif

Universal arithmetical program. fractran_62.gif : k fractran_63.giffractran_64.gif (if defined).

fractran_65.gif

Universality implies the undecidability of the halting problem. An arbitrary limit (say 10000 steps) prevents eventual looping :

fractran_66.gif

Computable functions are indexed by the positive integer, k. Most low k-values correspond to uninteresting functions : fractran_67.gif[n]=n+1 or fractran_68.gif[3]=4 (undefined if n≠3).

fractran_69.gif

fractran_70.gif

fractran_71.gif

fractran_72.gif

fractran_73.gif

fractran_74.gif

fractran_75.gif

fractran_76.gif

Dropper algorithms.

Here Fractran enumerates the asked integers, n, one by one (Only powers of 2 are significant in the output).

Collatz sequence of an integer (Halting conjectured) :

fractran_77.gif

fractran_78.gif

fractran_79.gif

fractran_80.gif

fractran_81.gif

Primes generator (No halting of course) :

fractran_82.gif

fractran_83.gif

fractran_84.gif

A bug.

Decimals of π : This program does not work because of a well-known but never corrected bug (probably in the coding of the inputs and/or of the outputs)

fractran_85.gif

fractran_86.gif

fractran_87.gif

fractran_88.gif

Spikey Created with Wolfram Mathematica 8.0