Seite 2 von 6
Verfasst: 15.03.07 13:45
von marcowalz
... so hier noch ein paar Links die evtl. weiterhelfen:
Webcast von Microsoft zu den Graphen
http://www.microsoft.com/germany/MSDN/w ... 1032301564
Vorlesungen der Uni Freiburg zur Theoretischen Informatik:
http://electures.informatik.uni-freibur ... &chapter=1#
Gruß,
Marco
Man man man
Verfasst: 19.03.07 20:12
von $t€f@n
Hallo Leute,
also ich finde besonders das erste Heft zum K&%§$en! Wie kann man nur so einen Mist zusammenschreiben? Das ist ne Lerneinheit und man braucht schon ein Diplom und das Zeug zu verstehen...
Naja, mal sehen was das am Samstag abgibt, einen Fehlversuch ist nicht drin! Auf jeden Fall war dein Tipp mit dem Modulo 5 Gold wert, Tinka
Da muss man erst mal drauf kommen, ist ja auch ne Frechheit, dass die auch noch verlangen, dass man über so'n Zeug nachdenkt...
$t€f@n
Verfasst: 20.03.07 15:16
von soenke
Also dieser (deterministische) Klammersyntax-(Keller-)Automat funktioniert wohl so, dass immer, wenn ein Öffnungszeichen kommt, also '[' oder '(', das zeichen in den Keller geschrieben wird. Bei normalen Zeichen passiert nichts, wenn ein ')' kommt, muss im Keller ein '(' stehen; wenn ein ']' kommt, muss analog dazu im Keller ein '[' stehen. Ansonsten Fehlerzustand. Wenn das Eingabewort komplett durchlaufen ist, der Keller aber noch nicht leer ist, geht der Automat auch in einen Fehlerzustand über.
Damit können dann Wörter wie abaab([aa]bb[((bb))]]) eingelesen werden.
Richtig?
Ich werde das nochmal mit den Überführungsfunktionen aufstellen

Verfasst: 20.03.07 20:10
von marcowalz
Hi,
wenn ich die letzte Klausurenaufgabe mit den Klammern richtig verstanden habe, gab es "nur" folgende Eingabezeichen:
w = (), []
oder
ww => () bzw. ([])
Die von dir noch eingebauten a und b waren also nicht vorgesehen.
Damit wird "(" und "[" werden im Keller gespeichert. ")" und "]" löschen entsprechend wieder die öffnenden Klammern.
Wenn der Keller leer ist und das Eingabezeichen leer, stoppt der Automat.
Gruß,
Marco
Aha
Verfasst: 20.03.07 20:54
von $t€f@n
Da hat wohl jemand Wikipedia befragt
Aber wie stellt man das nun Klausurkonform da?
Ganz hilfreich ist vielleicht auch dies hier:
http://ad.informatik.uni-freiburg.de/le ... script.pdf
Hab ich im VH-Forum gefunden...
Ich setz alle Hoffnungen in das Seminar am Freitag. Hoffentlich ein brauchbarer Dozent...
Verfasst: 20.03.07 21:55
von marcowalz
... also ich habe mal versucht den Kellerautomaten zu bauen und die Übergangstabelle zu erstellen.
Ich hoffe es stimmt und hilft weiter...
Gruß,
Marco
Verfasst: 20.03.07 22:54
von setfire
Hallo Marco,
ich bin zwar auch nicht der große Meister auf dem Gebiet, aber ich würde sagen die vielen Zustände sind garnicht nötig.
Schließlich handelt es sich bei diesen Klammerausdrücken nicht um ein Wortpalindrom, wo sich der Automat merken muss, ob er die "Mittemarkierung" bereits passiert hat.
So wie ich das verstehe, braucht man nicht mal zwingend einen Endzustand, denn das Wort gilt ja als akzeptiert, wenn der Keller nach dessen Abarbeitung leer ist.
Oder? Wie sehen das die Anderen?
Verfasst: 20.03.07 23:53
von marcowalz
Hi,
danke für den Hinweis.
Ich denke den Zustand s2 kann man auf jeden Fall einsparen. Ich wollte aber hier an dieser Stelle es nicht zu kompliziert für Andere machen.
Vielleicht hilft es mal den Automaten zu minimieren...
Das mit dem Endzustand ist in den Heften meisten so angegeben. Ich habe mir aber auch schon Gedanken darübergemacht, da es ja auch heisst:
Der Algorithmus endet wenn das Eingabeband abgearbeitet ist oder wenn der Keller leer ist bzw. in einen Endzustand übergeht.
Folglich könnte man sagen wenn der Keller leer ist, wird die Eingabe akzeptiert...
Danke,
Marco
S. 64 - Syntaxdiagramm
Verfasst: 21.03.07 00:00
von marcowalz
Hallo,
ich habe mal eine Frage zu dem Syntaxdiagramm auf Seite 64.
Wenn ich das Diagramm richtig verstehe, werden folgende Zahlen akzeptiert.
-2.e+45
4.
132.
.34
.35e-2
Was nicht möglich ist, ist
3.4
3.5e+24
Oder ist der Bereich "Zi" (oberer Teil in der Gabelung) hinter dem Punkt (und vor dem Exponent) auch noch möglich. Also: 3.4
Danke,
Marco
PDF
Verfasst: 21.03.07 08:50
von AO_NBG
Hi Marco,
danke für Dein PDF mit der Verarbeitung der Klammerausdrücke. Hat jemand
vielleicht auch den Automaten für der Verarbeitung mit den Zahlen 4, 9 usw., wurde weiter oben mal diskutiert !
Gruß
Andreas
Verfasst: 21.03.07 09:04
von marcowalz
Hi Andreas,
der Automat welcher Mod 5 und Rest 4 akzeptiert könnte wie folgt aussehen (s. Anhang).
Wichtig ist zu beachten, dass nur Zahlen mit der Endung 4 und 9 in den Endzustand führen!
Gruß,
Marco[/img]
Automat
Verfasst: 21.03.07 10:10
von AO_NBG
Hi Marco,
danke für die Lösung, versuche das mal nachzuvollziehen.
Gruß
Andreas
Verfasst: 21.03.07 20:22
von marcowalz
Hi,
habe heute erfahren, dass das State-Merging-Verfahren zum Minimieren von Automaten in der Klausur
ZULÄSSIG ist !
Das Verfahren wird in der Vorlesung von Prof. Ottmann der Uni Freiburg vorgestellt und ist auf Seite 35 (im Anhang) beschrieben.
Uni Freiburg (Minimierung - ziemlich am Ende des Vortrags):
http://electures.informatik.uni-freibur ... chapter=6#
Ich finde es deutlich einfacher als das Verfahren in den FMI-Heften!!!
Gruß,
Marco[/b]
Minimierung
Verfasst: 21.03.07 21:01
von AO_NBG
Hi Marco,
hast Du das schon mal mit einem Beispiel aus dem FMI Heft getestet?
Funktioniert es?
Gruß
Andreas
Verfasst: 21.03.07 21:42
von marcowalz
Hi Andreas,
habe es schon mehrfach angewendet und kam immer zu dem richtigen Ergebnis.
Hr. Blaschka (unser Online-Tutor der AKAD) kennt dieses Verfahren auch aus seinem Studium...
Kann das Verfahren nur empfehlen!
Gruß.