Das MU-Rätsel

Ist MU ein Satz des MIU-Systems?

MIU-System (Douglas R. Hofstadter)

Symbole: M, I, U

Axiom: MI

Regeln:

(1) Wenn xI ein Satz ist, dann auch xIU.

(2) Wenn Mx ein Satz ist, dann auch Mxx.

(3) In jedem Satz kann III durch U ersetzt werden.

(4) UU kann aus jedem Satz weggelassen werden.

typrografische Regeln: (1) "Füge an den rechten Teil eines Satzes ein U ein, wenn dieser mit I endet."

(2) "Kopiere den Teil eines Satzes, der rechts neben M steht und füge ihn am rechten Ende an."

(3) "Ersetze den Teil eines Satzes durch U, welcher drei aufeinanderfolgende I's besitzt."

(4) "Lösche den Teil eines Satzes, welcher aus zwei aufeinanderfolgende U's besteht."