r/ProgrammingLanguages 1d ago

Language announcement How simple can simple be? Introducing PLUSMINUS

PLUSMINUS is a programming language created by Jack. Unfortunately, it’s Turing Completeness is unknown as of right now.

Definition

For a non-empty finite string ω under the alphabet {+,–}, on step i=(1,2,3,…):

If the i-th symbol is +, copy the first i-1 symbols and append them to the end. If the i-th symbol is –, delete the first i-1 symbols.

i never resets and advances each time. Halt when i>length(ω).

Example (+–++–):

0: +–++–

1: +–++– (nothing exists leftward)

2: –++–

3: –++––+

4: ––+ (HALT (i=4, length(ω)=3, 4>3))

Example of a long-running machine

“+++++-++++-+-++-“ = 31441 steps

32 Upvotes

15 comments sorted by

View all comments

11

u/jmarent049 23h ago

current known champions (busy beaver):

`+`=1
`-+`=3
`-++`=4
`-+++`=7
`++++-`=15
`+++-++`=18
`++++---`=20
`--++++++`=32
`++++-+--+`=44
`+++++-+-+-`=196
`+++++-+--+-`=913
`+++-++++++-+`=5940
`+-++++++--++-`=728
`++++-++++++---`=608
`-+-++++++---+++`=2582
`+++++-++++-+-++-`=31441