• Keine Ergebnisse gefunden

Ubungen zur Vorlesung ¨ Automatentheorie

N/A
N/A
Protected

Academic year: 2022

Aktie "Ubungen zur Vorlesung ¨ Automatentheorie"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Institut f¨ur Informatik SS 08 der Universit¨at M¨unchen

Prof. Dr. M. Hofmann PD Dr. M. Lange

H. Gruber 5.5.2008

Ubungen zur Vorlesung ¨ Automatentheorie

Blatt 4

Besprechung in der ¨Ubung am 9.5.2008

Aufgabe 12: Ein Bauer muss seinen Hund, seine Katze und seine Maus mit einem Boot ¨uber einen Fluss bringen. Ins Boot passen aber immer nur er und ein Tier. Ist der Bauer bei seinen Tieren an einem Ufer, dann sind alle brav. Ist er nicht bei ihnen, dann muss er darauf achten, dass niemals

• der Hund und die Katze zusammen an einem Ufer sind, denn die Katze w¨urde dem Hund sonst eine risikoreiche Kapitalanlage aufschwatzen,

• die Katze und die Maus zusammen an einem Ufer sind, denn die Maus w¨urde die Katze sonst zum Rauchen verleiten.

Lassen Sie sich von Mona einen Weg berechnen, wie der Bauer seine Tiere an das andere Ufer bringen kann, ohne dass der Hund sein Geld und die Katze ihre Gesundheit verliert. Berechnen Sie ebenfalls mit Mona die Mindestzahl an Uberfahrten, die er mit dem Boot machen muss.¨

Aufgabe 13: 4 Personen stehen nachts an einem Ufer eines Flusses, ¨uber den eine dunkle Br¨ucke f¨uhrt. Sie haben nur eine Taschenlampe. Es k¨onnen immer nur h¨ochstens 2 Personen gleichzeitig ¨uber die Br¨ucke gehen. Am Ufer kann man im Dunklen warten, aber ¨uber die Br¨ucke kann man nur mit der Taschenlampe gehen. Person A braucht f¨ur die ¨Uberquerung 5 min, Person B 10 min, Person C 20 min und Person D 25 min. Die Batterie der Taschenlampe h¨alt nur 60 min. Lassen Sie sich von Mona eine M¨oglichkeit berechnen, alle vier Personen auf die andere Seite des Flusses zu bringen.

Referenzen

ÄHNLICHE DOKUMENTE

Dabei bezeichnet |α| die syntaktische L¨ange des regul¨aren Ausdrucks α. Hinweis: Benutzen Sie die ¨ Aquivalenz von regul¨aren Ausdr¨ ucken

Es reicht dann, models f¨ ur endlich viele Interpretationen I aufzurufen, um das Wortproblem

Zur Definition einer Semantik verwenden wir eine Abbildung I, die erststufige Variablen auf Positionen und zweitstufige Variablen auf Mengen von Paaren von Positionen

Aller- dings unterscheidet sich die Akzeptanzbedingung von der eines Rabin-Automaten. Der Streett-Automat A akzeptiert ein Wort

n}, so dass, ab einem bestimmten Zeitpunkt in der Folge, der Pointer der LARs irgendwann nur noch auf Stellen zwischen 1 und j zeigt. Was kann man ¨ uber die einzelnen Mengen

Nachdenken, nachdenken und dabei auf die zweite Essst¨abchen warten, und es- sen. Offenbar k¨onnen nicht alle Philosophen gleichzeitig essen, denn zum Essen braucht man zwei

Entwerfen Sie einen Streett-Automaten ¨ uber einem einelementigen Alphabet, dessen Zustandsmenge Ober × P hil ist, mit Ober = {1, 2,. jeder kommt immer wieder mal dran) des Obers

Aufgabe 30: Geben Sie ein Verfahren an zur Konstruktion eines alternie- renden endlichen Automaten (AFA) f¨ ur L = L(A 1 )L(A 2 ) mit m¨oglichst wenig Zust¨anden, wobei A 1 und A 2