Farbe bekennen
Die richtige Lösung ist a.
Nur dieses T-Shirt kann mit den gegebenen Regeln entstehen.
Zuerst taucht Eli das Shirt zu zwei Dritteln in Gelb. Danach dreht er es um und taucht es zu zwei Dritteln in Rot. Dort, wo sich Gelb und Rot überlagern, entsteht Orange. Anschließend dreht Eli das Shirt wieder zurück und taucht das untere Drittel in Blau über Gelb ergibt Grün.
So entsteht genau das Muster Rot – Orange – grün, also T-Shirt a.
Das ist Informatik!
Die Frage, ob ein Shirt nach Elis Methode gefärbt sein kann oder nicht, ist ein Entscheidungsproblem. Entscheidungsprobleme können mithilfe formaler Grammatiken gelöst werden. Formale Grammatiken beschreiben eine Menge präzise, zum Beispiel hier die Menge aller mit Elis Methode möglichen Shirt-Färbungen. Auch Programmiersprachen werden durch formale Grammatiken beschrieben, die dann über die Menge aller syntaktisch korrekten Programmtexte entscheiden.