Marbles

**Marbles**
Paradigm(s)	Particle automata
Designed by	vxgmichel
Appeared in	2023
Memory system	Cell-based
Dimensions	two-dimensional
Computational class	Bounded-storage machine
Major implementations	vxgmichel/marbles
Influenced by	Cellular automaton
File extension(s)	`.txt`,`.txt.gz`

Marbles is an esoteric programming language based on marble circuitry.

Definition

Circuitry

A marble program is composed of closed circuits.

Closed circuits are drawn using the unicode characters ╔, ╗, ╚, ╝ for turns and ║, ═ for straight lines:

  ╔═══╗
  ║   ║
  ╚═══╝

A circuit represents not one but two sets of tracks superposed on top of each other.

This way, a marble can either ride the lower track or the upper track.

A marble riding the lower track is represented using the character ○:

  ╔═○═╗
  ║   ║
  ╚═══╝

And a marble riding the upper track is represented using the character ●:

  ╔═●═╗
  ║   ║
  ╚═══╝

There can be at most one marble riding a given track.

Two circuits can cross using the character ╬:

╔═══╗
║ ○═╬═╗
●═╬═╝ ║
  ╚═══╝

Note that marbles never collide.

The direction a marble starts running depends on the available directions, prioritizing first:

going right
otherwise, going down
and finally going up

Note that a marble never starts going left:

╔═══╗   → → ↓
║   ║   ↓   ↓
╚═══╝   → → ↑

At every simulation tick, all the marbles move in their current direction:

╔═○═╗     ╔══○╗     ╔═══○     ╔═══╗     ╔═══╗     ╔═══╗     ╔═══╗     ╔═══╗
║   ║  →  ║   ║  →  ║   ║  →  ║   ○  →  ║   ║  →  ║   ║  →  ║   ║  →  ║   ║  →  ...
╚═══╝     ╚═══╝     ╚═══╝     ╚═══╝     ╚═══○     ╚══○╝     ╚═○═╝     ╚○══╝

Logic

The upper and lower track can be swapped using the characters ┃ and ━:

○═━═╗     ╔○━═╗     ╔═●═╗     ╔═━●╗     ╔═━═●     ╔═━═╗     ╔═━═╗
┃   ┃  →  ┃   ┃  →  ┃   ┃  →  ┃   ┃  →  ┃   ┃  →  ┃   ○  →  ┃   ┃ →  ...
╚═━═╝     ╚═━═╝     ╚═━═╝     ╚═━═╝     ╚═━═╝     ╚═━═╝     ╚═━═○

In this example, the marble rides:

the lower track in the top-left and bottom-right corners
the upper track in the top-right and bottom-left corners

The only way two marbles can interact is by building an AND gate:

╚═○═╤═══╝
╔═○═╛═══╗

An AND gate is composed of two parts:

A control part: ╤ (in any direction, i.e. one of ╟, ╢, ╤, ╧)
A interrupted part: ╛ (in any direction, i.e. one of ╕, ╜, ╘, ╓, ╙, ╒, ╖, ╛)

The interrupted part plays the role of a conditional-clear.

More precisely, the marble riding the interrupted track part can only remain on the upper track if the control marble also rides the upper track.

╚═○═╤═══╝  →  ╚══○╤═══╝  →  ╚═══○═══╝  →  ╚═══╤○══╝  →  ╚═══╤═○═╝
╔═●═╛═══╗  →  ╔══●╛═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

╚═●═╤═══╝  →  ╚══●╤═══╝  →  ╚═══●═══╝  →  ╚═══╤●══╝  →  ╚═══╤═●═╝
╔═●═╛═══╗  →  ╔══●╛═══╗  →  ╔═══●═══╗  →  ╔═══╛●══╗  →  ╔═══╛═●═╗

You can see it as the affected marble falling on the lower track if the control marble is not there to keep it high.

The state of the marble riding on the control track is never affected by the interaction.

Similarly, the state of the marble riding the interrupted track won’t change if it’s riding the lower track.

╚═○═╤═══╝  →  ╚══○╤═══╝  →  ╚═══○═══╝  →  ╚═══╤○══╝  →  ╚═══╤═○═╝
╔═○═╛═══╗  →  ╔══○╛═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

╚═●═╤═══╝  →  ╚══●╤═══╝  →  ╚═══●═══╝  →  ╚═══╤●══╝  →  ╚═══╤═●═╝
╔═○═╛═══╗  →  ╔══○╛═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

Also, marbles on either side wait if the other marble is not there yet.

This is the affected marble waiting for the control marble:

╚═○═╤═══╝  →  ╚══○╤═══╝  →  ╚═══○═══╝  →  ╚═══╤○══╝  →  ╚═══╤═○═╝
╔══○╛═══╗  →  ╔═══○═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

And this is the opposite:

╚══○╤═══╝  →  ╚═══○═══╝  →  ╚═══○═══╝  →  ╚═══╤○══╝  →  ╚═══╤═○═╝
╔═○═╛═══╗  →  ╔══○╛═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

Finally, a marble can be static. This allows for a simple clear operation:

    ○      →      ○      →      ○      →      ○      →      ○
╔═●═╛═══╗  →  ╔══●╛═══╗  →  ╔═══○═══╗  →  ╔═══╛○══╗  →  ╔═══╛═○═╗

Display

Control parts can also be connected to a display character, either □ or ▣.

This character is going to be updated every time the marble rides the control part.

Logically, □ corresponds to a lower marble, and ▣ corresponds to an upper marble.

For instance, the display below will toggle at every cycle:

╔═●═╗      ╔═══╗      ╔═○═╗      ╔═══╗
┃   ╟□  →  ┃   ●▣  →  ┃   ╟▣  →  ┃   ○□
╚═══╝      ╚═══╝      ╚═══╝      ╚═══╝

It is also possible to build larger displays using the grid characters ┼ and █.

It works the same as the simple display except all connected grid characters are updated.

Here is a similar example:

╔═●═╗┼┼┼┼┼┼     ╔═══╗██████     ╔═○═╗██████     ╔═══╗┼┼┼┼┼┼
┃   ╟┼┼  ┼┼  →  ┃   ●██  ██  →  ┃   ╟██  ██  →  ┃   ○┼┼  ┼┼  →  ...
╚═══╝┼┼┼┼┼┼     ╚═══╝██████     ╚═══╝██████     ╚═══╝┼┼┼┼┼┼

Note that marbles can also ride on grid characters. In this case, the grid is treated as a straight track.

This allows for more packed display:

╔══┼┼═●╗     ╔══██══╗     ╔══██═○╗     ╔══┼┼══╗
┃┼┼┼┼┼┼╢  →  ┃██████●  →  ┃██████╢  →  ┃┼┼┼┼┼┼○  →  ...
╚══┼┼══╝     ╚══██══╝     ╚══██══╝     ╚══┼┼══╝

Input / Output

The simulation reads from an input bit stream and writes to an output bit stream.

A read-bit contraption is built by combining an interrupted part and the IO character ◇:

    ◇
╔═●═╛═══╗

When an upper marble reaches this part, a bit is read from the input stream. If the bit is zero, the marble drops on the lower track.

However, when a lower marble reaches the interrupted part, no bit is read from the input stream.

Similar contraptions are used to write to the output stream, using the control part this time.

The following combination writes a 0 to the output stream if the marble is riding the upper track:

    ◇
╔═●═╧═══╗

The other IO character ◆ is used to write a 1 to the output stream instead:

    ◆
╔═●═╧═══╗

Finally, it is possible to conditionally terminate the simulation using the exit character ☒.

In this case, the simulation terminates if the marble is riding the upper track.

    ☒
╔═●═╧═══╗

Cheat sheet

To sum it up, here is the full character set.

Marbles: ○, ●
Straight lines: ║, ═
Turns: ╔, ╗, ╚, ╝
Crossing: ╬
Control: ╟, ╢, ╤, ╧
Inversion: ┃, ━
Conditional clear: ╕, ╜, ╘, ╓, ╙, ╒, ╖, ╛
Display: □, ▣, ┼, █
IO/Exit: ◇, ◆, ☒

Anything else is treated as empty and can be used for comments.

All this is summarized in the cheat sheet.

Simulation

Marble programs can be executed using the marbles.py simulator.

It requires a python3 interpreter (version >= 3.8). It is compatible with pypy3 for faster simulation.

For instance, the cheat sheet is a valid program and can be executed using:

 ./marbles.py cheatsheet.txt

The simulation is shown directly in the terminal at the rate of 10 simulation ticks per seconds.

A couple of key bindings are available:

use the arrow keys to move around
use page up / page down or the mouse wheel to scroll faster
use i and d to increase or decrease the simulation speed (5 presses corresponds to a 10x factor)
use p to pause the simulation - use q to quit the simulation before it finishes

During the simulation, the input bit stream can come from different places:

if the --input option is provided, the provided file is used as input stream
if stdin is not a tty (e.g when it comes from a linux pipe |), stdin is used directly
otherwise, the input stream is considered empty and the program will stop at the first attempt to read it.

Similarly, the output bit stream can go to different places:

if the --output option is provided, the output stream is written at the given path
if stdout is not a tty (e.g when it goes to a linux pipe |), stdout is used directly
otherwise, the output stream is captured and written to stdout at the end of the simulation.

Note that when stdout is not a tty, the simulation is not displayed and it will run as fast as possible until it terminates.

For instance, try running the to-uppercase.txt program using the following command:

   $ echo Test! | ./marbles.py to-uppercase.txt | buffer
   Loading group info: done (1 groups)
   Generating callbacks for group 0: done (128 callbacks)
   Running simulation: stopped with EOFError (7 cycles)
   TEST!

Note that the analysis information can be silenced using the --quiet option:

   $ echo Test! | ./marbles.py to-uppercase.txt --quiet | cat
   TEST!

Other options are available, checkout the --help message more information:

   $ ./marbles.py --help
   usage: marbles.py [-h] [--speed SPEED] [--max-speed] [--fps FPS] [--input INPUT] [--output OUTPUT] [--ignore-cache] [--no-display] [--quiet] file
   
   Run a marble simulation. Install `tqdm` for better progress bars and `msgpack` for caching the analysis results.
   
   positional arguments:
     file             path to the marble program to run
   
   options:
     -h, --help       show this help message and exit
     --speed SPEED    simulation speed in ticks/seconds (default is 10)
     --max-speed      run the simulation at maximum speed
     --fps FPS        the display refresh rate in frame/seconds (default is 60)
     --input INPUT    path to the file to use as input bit stream (default is stdin if it is not a tty)
     --output OUTPUT  path to the file to use as output bit stream (default is stdout if it is not a tty)
     --ignore-cache   ignore the cache even if it exists (enabled by default when msgpack is not installed)
     --no-display     run the simulation without the display at maximum speed (enabled by default when stdout is not a tty)
     --quiet          do not output any information about the analysis</source>

Programs

A couple of marble programs are provided in the github repository, other than the cheat sheet program mentioned earlier.

Counters with 7-segment display

Three different counter programs are provided:

Those counters demonstrate the use of a single-digit 7-segment display design with a width of 31 characters that can be concatenated for larger displays.

They include:

The display itself, using the grid characters
The synchronization of all the segment marbles in order to avoid display artifacts
A 4-to-16-bit decoder to help with setting the right segment for the right digit
The 4/8/16-bit counter itself, that loops forever

ASCII to-uppercase converter

A to-uppercase.txt program is provided to demonstrate that the marble simulation can run non-trivial computation.

This program converts every ASCII lowercase letter from the input stream to an uppercase letter, leaving the other characters untouched. It stops when the input stream is empty.

Each block in the program is commented to demonstrate how such programs can be structured in a readable way. It also shows that those blocks can be easily copied, pasted and moved around.

Another version of the same program is provided as to-uppercase-with-flipjump.txt.gz.

This version is compressed in order to keep the file size small, as the original text file is about 140 MB.

The way this file is generated is explained in the next section where flip jump computers are presented, starting with tiny-flipjump.txt.

FlipJump computers

FlipJump is a 1-instruction language intending to be the simplest / most-primitive programming language, so FlipJump computers are amongst the simplest machines that can be built with marbles.

A tiny computer

A FlipJump computer is defined by its word size in bits (also called width). The smallest FlipJump computer has a width of 4 bits.

A marble implementation of this tiny computer can be found in tiny-flip-jump.txt. It is programmed with two instructions:

 9;8 // Write 1 to the output stream and go to the second instruction
 8;0 // Write 0 to the output stream and read a bit from the input stream
     // Go to the first instruction if it is 0, stop the program otherwise

This program outputs 1 then 0 for each 0 in the input stream and stops at the first 1. For instance, giving \x00\x10 as input produces \x55\x55\x55

It is 16 bits long but in practice, only 7 of those bits are actually programmed in the computer. That’s because the jump addresses are considered to be instruction-aligned, meaning that bits 4, 5, 6 for each instruction are expected to be 0. Also, bits 0, 1 and 7 of the second instruction have a special meaning and are dedicated to input/output operations.

In short, only the following bits are programmed in the computer:

0b1001 0b1...
0b10.. 0b....

Those bit values appear in the bottom-right corner of each memory cell, using a lower marble ○ for 0 and and upper marble ● for 1.

Here is the program running with the \x00\x10 input mentioned earlier:

   ± echo -n '\x00\x10' | ./marbles.py tiny-flipjump.txt --quiet | xxd
   00000000: 5555 55                                  UUU

Larger computers

This 4-bit computer is quite limited but the same design can be generalized to larger width.

The script flipjump-to-marbles.py can be used to generate larger computers:

   $ ./flipjump-to-marbles.py --width 8
   8-bit FlipJump computer with 32 words of memory
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
   [...]

Those computers grows in size very rapidly so make sure to specify the size in words:

   $ ./flipjump-to-marbles.py --width 16
   [...] # About 163 MB
   
   $ ./flipjump-to-marbles.py --width 32
   [...] # About 21 TB
   
   $ ./flipjump-to-marbles.py --width 16 --size 128
   [...] # About 5 MB
   
   $ ./flipjump-to-marbles.py --width 32 --size 128
   [...] # About 21 MB</source>

More conveniently, those computers can be generated from a FlipJump memory file (.fjm). Width and size are taken directly from the file header, e.g:

   $ ./flipjump-to-marbles.py hello_world.fjm
   16-bit FlipJump computer programmed with `hello_world.fjm` (262 words)
   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
   [...]

Note however that the FlipJump program must be assembled in version 1.

See below the complete toolchain from a FlipJump assembly file to executing the program:

   # Assemble a hello world program from the flip-jump repository (width 16, version 1)
   $ python ../flip-jump/src/fj.py --asm ../flip-jump/programs/print_tests/hello_world.fj -o hello_world.fjm -w 16 -v 1
   
   # Convert it to a marble program
   $ ./flipjump-to-marbles.py hello_world.fjm > hello_world.txt
   
   # Run it with mypy for faster execution
   $ pypy3 ./marbles.py hello_world.txt --quiet | buffer
   Hello, World!

Computational class

FlipJump is considered a Bounded-storage machine.

The fact that flipjump-to-marbles.py is able to generate arbitrarily large FlipJump computers should be enough to prove that this marble model is itself a bounded-storage machine.

It is however not Turing-complete, since marble programs do not have access to an arbitrarily large memory at runtime. For instance, it’s not possible to write a marble program that would reverse an arbitrarily large null-terminated string coming from the input stream.

Turing-completeness could possibly be achieved by adding stacks to the language.

ASCII to-uppercase converter, using FlipJump

As an example, let’s implement the ASCII to-uppercase program from earlier using FlipJump.

First, write the program in FlipJump assembly, as in to-uppercase.fj:

     startup
   main:
     bit.input current_char
     bit.cmp 8, current_char, a_char, skip, continue1, continue1
   continue1:
     bit.cmp 8, current_char, z_char, continue2, continue2, skip
   continue2:
     bit.sub 8, current_char, to_upper
   skip:
     bit.print current_char
     ;main
   
   current_char: bit.vec 8, 0x00
   to_upper: bit.vec 8, 0x20
   a_char: bit.vec 8, 0x61
   z_char: bit.vec 8, 0x7a</source>

Then assemble it using version 1 and the lowest width possible

   $ python ../flip-jump/src/fj.py --asm to-uppercase.fj -o to-uppercase.fjm -w 16 -v 1

Convert it to a marble program. The file is likely to be quite big (about 140 MB in this case), so compress it with gzip:

   $ ./flipjump-to-marbles.py to-uppercase.fjm | gzip --best > to-uppercase-with-flipjump.txt.gz

Compressed files can be provided directly to the marbles.py simulator:

   $ echo a | pypy3 ./marbles.py to-uppercase-with-flipjump.txt.gz --quiet | cat
   A

It’s going to take about a minute for the simulator to run the analysis on a file this big, but the results will be cached if msgpack is installed. On the next execution, the simulation should start in a couple of seconds.

Remove the --quiet option to show a couple of interesting metrics:

   $ echo a | pypy3 ./marbles.py to-uppercase-with-flipjump.txt.gz | buffer
   Loading group info: 100%|██████████████████████████████████████| 1/1 [00:02<00:00,  2.48s/ groups]
   Generating callbacks for group 0: 100%|████| 2570584/2570584 [00:02<00:00, 1121743.30 callbacks/s]
   Running simulation: 1588 cycles [01:25, 18.61 cycles/s]
   A

On the second execution, it took only 4 seconds for the simulation to start. However, the simulation itself took 1 minute and 25 seconds to process the 2 characters in the input string a\n. This is because the program took 1588 instructions to complete and the simulator barely reaches 20 instructions per second.

This might sound very slow (and it is), but keep in mind that FlipJump only flip bits so it takes many instructions to perform the most basic arithmetic operations. Also note that for every instruction, many marble interactions happen in all the memory cells even if all of them but one are left untouched by the computer. Actually, it took quite a lot of effort to optimize the simulator to the point where such large marble programs can realistically run.

Marbles

Contents

Definition

Circuitry

Logic

Display

Input / Output

Cheat sheet

Simulation

Programs

Counters with 7-segment display

ASCII to-uppercase converter

FlipJump computers

A tiny computer

Larger computers

Computational class

ASCII to-uppercase converter, using FlipJump

Navigation menu

Marbles

Definition

Circuitry

Logic

Display

Input / Output

Cheat sheet

Simulation

Programs

Counters with 7-segment display

ASCII to-uppercase converter

FlipJump computers

A tiny computer

Larger computers

Computational class

ASCII to-uppercase converter, using FlipJump

Navigation menu

Search