Het melkkannen probleem (2)

Merk op dat elke giethandeling gekenmerkt wordt door een van de volgende situaties. Het vat waarmee je giet, giet je volledig leeg, òf: een ander vat giet je volledig vol. Kortom, er is altijd een vat leeg en/of een vat vol.

De startsituatie is bijzonder, omdat 2 vaten leeg zijn. We moeten een keuze maken en gieten het 3-de vat over in het 2-de. (Het alternatief is even goed). Vanaf dat moment ligt elke gietvoorgang eenduidig vast (als we ons houden aan bovengenoemde regels: giet met een vol glas, giet in een leeg glas, en draai nooit de laatstgespeelde gietvoorgang terug).