formal systems

Beautifull jumps and falls

Radu Angelescu
MIUIII

Play the puzzle!

The Goal: Given a starting “sentence” (string) reach the goal “sentence” (string) by only applying the rules below.

Rule Example
Mx → Mxx: MIIU → MIIUIIU
xI → xIU: MIIUI → MIIUIU
xIIIy → xy: MUIUIIIU → MUIUUU
xUUy → xy: MUIUUIIIU → MUIIIIU
  • x and y represent any character strings and M, U, I represent the actual letters, the arrow may be read as “becomes”.

  • For example the first rule can be read: Any string that ends in M becomes M and two times the reminder.

Try it, I will be waiting here :).