Implieses

Implieses is a Zero Instruction Set Computer created by Calvin Games and rdococ on February 16, 2017. It is Turing complete because it is equivalent to a 2-tag system.

Description

The computer state is a string of bits P.
P₀ is the initial state.
If the first bit in P_n is 0 the computer halts and outputs the successive bits in P_n.
If the length of P_n is odd then 0 is added to the end of P_n.
The new state P_n+1 is the odd bits of P_n → the even bits of P_n.
The computer repeats this process until it halts.

Programs

Hello World! (Outputs the ASCII code for the string "Hello, world!")

Initial State:

0 01001000 01100101 01101100 01101100 01101111 00101100 00100000 01110111 01101111 01110010 01101100 01100100 00100001

XOR (Outputs a XOR b)

Initial State:

11111111 11111110 ab101110 1111ba10

Interpreter

• Common Lisp implementation of the Implieses programming language.