Stern-Mobiles sind Gebilde aus Fäden, Stäben und Sternen.
An einem Faden kann eine Anzahl von Sternen hängen;
oder ein Stab, an dessen beiden Enden jeweils wieder ein Stern-Mobile hängt.

Dies ist ein einfaches Stern-Mobile: Mit Zahlen und Klammern
kann man es so beschreiben:
example (-3 (-1 1) (1 1)) (2 3)

Die Zahlen geben jeweils an:

Die Klammern geben die Struktur des Stern-Mobiles an.

Welches der folgenden Stern-Mobiles kann man so beschreiben:

(-3 (-1 4) (2 (-1 1) (1 1))) (2 (-1 6) (2 3))

Erklärung

Um die Lösung besser erklären zu können, bezeichnen wir die Antworten mit den Buchstaben A bis D:

A 2015-DE-05b-answerA B 2015-DE-05b-answerB C 2015-DE-05b-answerC D 2015-DE-05b-answerD

Antwort A ist richtig:

Aus dem Beispiel und seiner Beschreibung kann man Folgendes erkennen:

Konkret gilt für das Beispiel (zur besseren Veranschaulichung haben zusammengehörige Klammern die gleiche Farbe):

Der Ausdruck aus der Frage (-3 (-1 4) (2 (-1 1) (1 1))) (2 (-1 6) (2 3)) beschreibt also ein Stern-Mobile mit Stab und zwei Teil-Mobiles:

expl

Das ist genau das Mobile aus Antwort A.
Beim Mobile aus Antwort B hat das linke Teil-Mobile selbst kein Teil-Mobile.
Beim Mobile aus Antwort C gibt es keinen Faden mit 6 Sternen.
Beim Mobile aus Antwort D ist alles spiegelverkehrt.

Zusatzinformation

Ein Stern-Mobile hat eine interessante Struktur: An jedem Stab hängen nämlich stets wieder (etwas kleinere) Stern-Mobiles. Dabei ist ein Faden mit einem oder mehreren Sternen auch ein (ganz einfaches) Stern-Mobile. Ein Stern-Mobile ist also: entweder

Diese Definition benennt Stern-Mobiles als mögliche Bestandteile eines Stern-Mobiles. Strukturen, die kleinere Exemplare des gleichen Strukturtyps als Bestandteil haben, nennt man rekursiv. In der Computerprogrammierung können rekursive Strukturen mit sehr kurzen Programmen bearbeitet werden. Die Programme haben dabei eine ähnlich rekursive Programmstruktur wie die rekursive Definition der Strukturen: Sie bearbeiten entweder den Basisfall (bei den Stern-Mobiles: Faden mit Sternen) oder rufen sich selbst auf, um Teilstrukturen zu bearbeiten, die nicht dem Basisfall entsprechen.