BinaryLanguage
Jump to navigation
Jump to search
Paradigm(s)  unknown 

Designed by  None1 
Appeared in  2023 
Memory system  Accumulatorbased 
Dimensions  onedimensional 
Computational class  Turing complete 
Reference implementation  Official interpreter in Python 
Influenced by  brainfuck Befunge 
File extension(s)  .bl 
BinaryLanguage is an esolang created by User:None1 which uses some simple binary operations.
Memory Model
BinaryLanguage uses three registers (initially zero): A
, B
and C
. They can contain unsigned integers of any size (or up to at least 2^{10000}).
Commands
Command  Meaning  Example 

+  Increments A 
A=1,B=2,C=3 → A=2,B=2,C=3 
  Decrements A (Note: If A=0 , then A is unchanged) 
A=1,B=2,C=3 → A=0,B=2,C=3 
&  Bitwise and A and B , stores the result in A 
A=1,B=2,C=3 → A=0,B=2,C=3 
^  Bitwise xor A and B , stores the result in A 
A=1,B=2,C=3 → A=3,B=2,C=3 
  Bitwise or A and B , stores the result in A 
A=1,B=2,C=3 → A=3,B=2,C=3 
<  Bitwise left shift A by B bits, stores the result in A 
A=1,B=2,C=3 → A=4,B=2,C=3 
>  Bitwise right shift A by B bits, stores the result in A 
A=17,B=2,C=3 → A=4,B=2,C=3 
~  Swaps A and B 
A=1,B=2,C=3 → A=2,B=1,C=3 
*  Performs a right circular shift to the three registers  A=1,B=2,C=3 → A=3,B=1,C=2 
(  If A=0 , jump to the matching ) 
 
)  If A!=0 , jump to the matching ( 
 
,  Reads a character from user input and stores its ASCII value to A 
 
.  Output the character with its ASCII value the same as A 
 
Incorrect commands echo themselves.
Example Programs
Hello World (also a Quine)
Hello World!
Cat Program (never terminates)
+(~,.~)
Truth Machine
+++~++++~<~,^(^(.))^.
Turing Completeness
BinaryLanguage is Turing complete as a conversion from brainfuck is possible.
brainfuck  BinaryLanguage 

+  ()+<(*+**)

  ()+<(***)

>  ~++++++++~

<  ~~

,  ()+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<*~&~^**,<

.  ()+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<*~&~**>.

[  ()+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<*~&~**>(

]  ()+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++<*~&~**>)
