B2B

From Esolang
Jump to navigation Jump to search

B2B is an esolang created by User:yayimhere, while trying to prove ,(*+) turing complete. It is a specific restriction on a Cyclic tag, in which it allows one unbounded conditional production, and an unbounded number of unconditionals, as well as arbitrary deletion

Definition

The syntax is as follows:

[D],[p1],[p2],[p3],[ 0 ],[p4], ... [pK]

The first production [p1], is conditional, and appends to the right of D, if and only if the leftmost symbol of D is a 1. if the conditional is not met, a 0 will be appended. then all productions afterwards are always added no matter what. between these productions, there may be a [ 0 ] which unconditionally deletes the left most bit. at the end after the last command has been reached, the leftmost bit is deleted. then the program loops back to the start, to repeat this process until D is empty.

Example

Truth machine:

[1],[i]

replace i with your input.