BuK/IIm13/Studenten/simaknoc/KA MU-Puzzle
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
==MU-Puzzle==
Das MU-Puzzle ist ein von Douglas R. Hofstadter konzipiertes Rästel, bei dem es festzustellen gilt, ob MU ein Satz des MIU-Systems ist.
===MIU-System===
Das MIU-System setzt sich aus folgenden Bestandteilen zusammen:
'''Symbole'''
M, I, U
'''Axiom'''
MI
'''Regeln'''
# Regel: Wenn xI ein Satz ist, dann auch xIU.
# Regel: Wenn Mx ein Satz ist, dann auch Mxx.
# Regel: In jedem Satz kann III durch U ersetzt werden.
# Regel: UU kann aus jedem Satz weggelassen werden.
===Typografische Regeln===
Zum erweiternden Verständnis der Regeln des MIU-Systems soll für jede Regel ein typografisches Pendant erstellt werden.
# Regel: Wenn ein Satz mit I endet, so kann ihm ein U dahinter angefügt werden.
# Regel: Wenn ein Satz mit M beginnt, so kann der Teilsatz nach dem M kopiert und dahinter am rechten Ende angefügt werden.
# Regel: Drei aufeinanderfolgende I können durch ein U ersetzt werden.
# Regel: Zwei aufeinanderfolgende U können aus einem Satz gestrichen werden.
===Anwendung der Regeln===
Zunächst sollen zur Veranschaulichung einige Beispiele für die Erzeugung gültiger Sätze aufgeführt werden.
* MI $\underrightarrow{\small{1}}$ MIU $\underrightarrow{\small{2}}$ MIUIU $\underrightarrow{\small{2}}$ MIUIUIUIU $\underrightarrow{}$ $\ldots$
* MI $\underrightarrow{\small{2}}$ MII $\underrightarrow{\small{2}}$ MIIII $\underrightarrow{\small{3}}$ MUI $\underrightarrow{\small{1}}$ MUIU $\underrightarrow{\small{2}}$ MUIUUIU $\underrightarrow{\small{4}}$ MUIIU $\underrightarrow{}$ $\ldots$
* MI $\underrightarrow{\small{2}}$ MII $\underrightarrow{\small{1}}$ MIIU $\underrightarrow{\small{2}}$ MIIUIIU $\underrightarrow{\small{}}$ $\ldots$
==Überführung in die Welt der Zahlentheorie==
Zum Klären der Fragestellung, ob MU ein Satz des MIU-Systems ist, soll das Problem in die Zahlentheorie überführt werden.
Zu diesem Zweck wird jedem Symbol des MIU-Systems eine Ziffer zugeordnet.
$M \Longleftrightarrow 3$
$I \Longleftrightarrow 1$
$U \Longleftrightarrow 0$
==Weiterführendes==
===Grafische Repräsentation des MIU-Systems===
Youtube-Video mit verschiedenen Graphen, die das MIU-System abbilden: https://www.youtube.com/watch?v=EhN28Fh22kY
===Weiterführende Literatur===
''Gödel, Escher, Bach: ein endloses geflochtenes Band'' (Douglas R. Hofstadter) ISBN: 9783608930375