# Implieses

From Esolang

**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_{0} 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