
Derive an MIU string
The MU puzzle in Douglas Hofstadter's Gödel, Escher, Bach involves a simple formal system called "MIU". It works as follows:
MI is an MIU-string
If xI is an MIU-string, then so is xIU.
If Mx is an MIU-string, then so is Mxx.
If xIIIy is an MIU-string, then so is xUy.
If xUUy...