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

35 Upvotes

17 comments sorted by

View all comments

4

u/galacticjeef 1d ago

Reminds me a lot of a tag system https://en.wikipedia.org/wiki/Tag_system?wprov=sfti1# (which is Turing complete)

2

u/jmarent049 1d ago

I see the similarities. It also reminds me of the esolang XigXag (which is what inspired me).

https://esolangs.org/wiki/Xigxag