Ein zweites Beispiel

Ein Parkautomat funktioniert so:

1. Er akzeptiert nur Münzen von 5 Cent bis hin zu 2 Euro.

2. Er gibt kein Wechselgeld zurück.

3. Er zeigt an, wieviele Minuten man für das bis dahin eingeworfene Geld parken darf.

4. Er besitzt einen Schalter, um den Parkschein auszudrucken.

Du willst einen Parkschein für 30 Minuten haben.

Du wirfst 20 Cent ein – und die Anzeige springt von 0 auf 20 Minuten.

Du wirfst weitere 10 Cent ein – und die Anzeige springt auf 30 Minuten.

Dann drückst Du den Schalter und erhälst deinen Parkschein. Der Automat zeigt nun wieder den Anfangszustand 0 Minuten an.
 

A: der Automat zeigt 0 Minuten an und wartet darauf, dass Du Münzen einwirfst.

1: Du wirfst 20 Cent ein.

B: der Automat zeigt 20 Minuten an und wartet darauf, dass Du Münzen einwirfst oder den Schalter zum Parkscheindrucken drückst.

2: Du wirfst 10 Cent ein.

C: der Automat zeigt 30 Minuten an und wartet darauf, dass Du Münzen einwirfst oder den Schalter zum Parkscheindrucken drückst.

3: Du drückst den Schalter.

D: Der Automat druckt den Parkschein.

4: Du entnimmst den Parkschein und der Automat zeigt 0 Minuten an und wartet darauf, dass Du Münzen einwirfst.