• Keine Ergebnisse gefunden

Ubungen zur Vorlesung ¨ Automatentheorie

N/A
N/A
Protected

Academic year: 2022

Aktie "Ubungen zur Vorlesung ¨ Automatentheorie"

Copied!
2
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 16.05.08

Ubungen zur Vorlesung ¨ Automatentheorie

Blatt 6

Besprechung in der ¨Ubung am 23.05.08

Aufgabe 17:

a) Betrachten Sie den folgenden nichtdeterministischen B¨uchi-AutomatenA uber dem Alphabet Σ =¨ {a, b,#}:

p q

r

a a

b b

a, b,# a, b,#

Abbildung 1: Der B¨uchi-Automat A

b) Geben Sie den Lauf des deterministischen Muller-AutomatenA, der mit- tels der Safra-Konstruktion aus Aentsteht, auf dem Wort (ab#)ω an.

c) Wiederholen Sie die vorherige Teilaufgabe f¨ur das Wort (ab#ba#)ω.

Hinweis: Konstruieren Sie nur die f¨ur den jeweiligen Lauf ben¨otigten Safra- B¨aume, einen nach dem anderen.

–bitte wenden–

(2)

Aufgabe 18: Ein Streett-Automat ist ein Tupel A = (Q,Σ, q0, δ,F), das syntaktisch einem Rabin-Automaten gleicht; insbesondere ist F eine Menge {(G1, F1), . . . ,(Gk, Fk)} von Paaren von Zustandsmengen f¨ur eink∈N. Aller- dings unterscheidet sich die Akzeptanzbedingung von der eines Rabin-Automaten.

Der Streett-AutomatA akzeptiert ein Wortw gdw. es einen Laufρ vonA auf wgibt, so dass f¨ur alle i= 1, . . . , k gilt:Inf(ρ)∩Gi 6=∅ oder Inf(ρ)∩Fi=∅.

Beweisen Sie nun die folgende Aussage: Jede von einem Streett-Automaten erkennbareω-Sprache istω-regul¨ar, und umgekehrt.

Aufgabe 19: Seien L1 und L2 zwei ω-regul¨are Sprachen, die je von einem Muller-AutomatenA1 undA2mitmbzw.nZust¨anden erkannt werden. Zeigen Sie, dass es einen Muller-Automaten Amit h¨ochstens m×n vielen Zust¨anden gibt, der die SpracheL1∩L2 erkennt.

Hinweis:Achten Sie besonders auf die Akzeptanzbedingung.

Referenzen

ÄHNLICHE DOKUMENTE

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

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.

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

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

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

Aufgabe 38: Entwerfen Sie einen Algorithmus zur Umwandlung eines nicht- deterministischen Top-Down-Baumautomaten in einen ¨aquivalenten nichtdeter- ministischen

Institut fur Informatik SS 2005 der Universitat

Nutzen Sie dies, um den Begri der Autarkie geeignet zu verallgemeinern, so dass ein Analogon zur Proposition 19 (Eigenschaft autarker Bewertun- gen) gilt.. Besprechung am