Es ist Nacht, und Sie fahren durch eine fremde Stadt. Sie müssen in zehn Minuten am Haus von X sein, wissen aber die Adresse nicht. Sie können X nicht einmal anrufen, da sie ihren Nachnamen nicht kennen. Glücklicherweise ist ihr Wagen mit einem nichtdeterministischen Automaten ausgestattet, der ins Armaturenbrett eingebaut ist. Wenn Sie einen roten Knopf auf seinem langweilig aussehenden Gehäuse drücken, erscheint sofort einer von fünf Buchstaben auf einem Bildschirm

LVRSZ

L bedeutet hier nach links, V bedeutet vorwärts, R bedeutet nach rechts, S bedeutet Stopp und Z bedeutet zurück. Jedesmal, wenn Sie an eine Kreuzung kommen, drücken Sie den roten Knopf und folgen der angegebenen Richtung. Schließlich erreichen Sie eine Kreuzung, an welcher der Buchstabe Z erscheint: Sie sind über das Haus von B hinausgefahren. Nun müssen Sie wenden und müssen bei jedem Haus, an dem Sie vorbeifahren, den roten Knopf drücken. Endlich leuchtet ein Z auf. Sie haben das Haus erreicht, in dem Ihre Freundin auf Sie wartet.