Uncondition

Uncondition - is a brainfuck derivative created by User:ChuckEsoteric08 based on Brainfunct, Braindead and Jumplang.

Description

Language works on an 8-bit tape infinite in both directions it has +-<> instructions borrowed from brainfuck that all perform same way as in brainfuck. Inspired by Jumplang, there are commands ^v that incrase and decrease current cell by 2. There is also a single jump instruction, \ which jumps to 0-indexed command which position is determined by value of the current cell.

Computational class

The language is trivially Turing-complete as it can implement Turing machine directly. For simplicity of a rranslation all of our state transitions will be of the same length $l$, blank symbol would be zero and all new symbol would be $sl$, where $s$ is index of a symbol $S$. When the symbol is at the cell pointer, a value $q$ should be added using + and ^ symbols which would be the marker of when state transition code for state $Q$ start for the blank charcater. All state transitions start with transition when blank symbol is encountered, followed by other symbols. Each state transition with $q$ amount of - and v symbols where $q$ is for the current state, while a new value would be added for the new state for state transition to happen after new symbol and moving the pointer is done.