MUパズル
ある文字列がIで終わっている場合に，Uをその文字のあとにつなげることができる．
xI -> xIU
Mの後の文字列は全体を複製できる．
Mx -> Mxx
3つのIが連続している場合，それらをひとつのUに置換できる．
xIII -> xU
2つのUが連続している場合，それらを削除できる．
xUUy -> xy
この4つの規則から，「MI」から「MU」に至れるかというパズル．
「文字列内のIの個数は3の倍数ではない」という不変条件を導くことで目的の達成が不可能であることを証明できる．