Verfügbare Informationen zu "BOMMERHOLZ II - Themenübersicht"
Qualität des Beitrags: Beteiligte Poster: Lobo - Steve - Björn - parvaneh - Katharina - Norman - KnThrak Forum: PG A4 Forenbeschreibung: Forum zur Projektgruppe A4 07/08 aus dem Unterforum: Allgemeines Antworten: 12 Forum gestartet am: Montag 02.04.2007 Sprache: deutsch Link zum Originaltopic: BOMMERHOLZ II - Themenübersicht Letzte Antwort: vor 16 Jahren, 7 Monaten, 12 Tagen, 10 Stunden, 29 Minuten
Alle Beiträge und Antworten zu "BOMMERHOLZ II - Themenübersicht"
Re: BOMMERHOLZ II - Themenübersicht
Lobo - 19.09.2007, 07:15BOMMERHOLZ II - Themenübersicht
Dann mal los.... wer will was berichten????
Re: BOMMERHOLZ II - Themenübersicht
Steve - 19.09.2007, 11:32
Determinierung von Büchi-Automaten zum Zwecke der Komplementierung. (oder sowas) :D
Re: BOMMERHOLZ II - Themenübersicht
Björn - 19.09.2007, 18:07
Entweder was zu der Minimierung von Akzeptanzkomponenten von OmegaAutomaten. Oder was zu einem effizienteren Leerheitstest von Streett-Automaten. U.U. auch was zu beidem. Werde mich darum aber erst nächste Woche kümmern.
Re: BOMMERHOLZ II - Themenübersicht
Lobo - 19.09.2007, 22:37
Ich komme mir jetzt bereits so richtig klein vor....
Re: BOMMERHOLZ II - Themenübersicht
Lobo - 26.09.2007, 07:52
Überlege, ob ich etwas zu einem funktionalen CTL-Model Checking-Verfahren sagen soll...
Re: BOMMERHOLZ II - Themenübersicht
parvaneh - 26.09.2007, 11:01
Ich werde etwas über reguläre Baumgrammatik erzählen und kurz den Determinierungsalgorithmus, den wir als nächsten Schritt implementieren müssen, erwähnen..
Re: BOMMERHOLZ II - Themenübersicht
Katharina - 26.09.2007, 11:35
Keine Ahnung, wozu ich was erzählen könnte... überlege...
Re: BOMMERHOLZ II - Themenübersicht
Norman - 26.09.2007, 13:53
Es passt zwar nicht ganz in die Rubrik "Themen für..."
aber ich werde zum Bommerholz wohl erst später nachkommen können..
Meine Großtante ist heute gestorben und am Dienstag ist die Beerdigung..
Ich hoffe, ich komme nich allzu spät...
Re: BOMMERHOLZ II - Themenübersicht
KnThrak - 26.09.2007, 21:43
Ich hätte nich wirklich was vorzustellen, aber ich kann gut was über Laufzeit-Verbesserbarkeiten von Baumautomaten machen.
Re: BOMMERHOLZ II - Themenübersicht
Lobo - 01.10.2007, 14:38
Mahlzeit!!!
Ich hab meine Notizen zum Thema Fair-CTL ins Netz gestellt. Sie sind auf der Wiki-Seite unter Downloads zu finden.
Ich wollte mal fragen, ob mir jemand ein Exemplar zum "Vortragen" ausdrucken kann, weil mein Drucker sowas von LEEEEEEER ist.... ????
Dann mal bis morgen!
Edit:
Hier der Link: http://www.andrelobitz.de/pga4/downfiles/FairCTL.pdf
Re: BOMMERHOLZ II - Themenübersicht
Steve - 01.10.2007, 15:03
Klar, kann ich machen!
Wirklich nur eins? Nicht für jeden eins?
Re: BOMMERHOLZ II - Themenübersicht
Lobo - 01.10.2007, 16:31
für jeden eines is natürlich besser :wink:
Mit folgendem Code, können Sie den Beitrag ganz bequem auf ihrer Homepage verlinken
Weitere Beiträge aus dem Forum PG A4
BOMMERHOLZ II - Themenübersicht - gepostet von Lobo am Mittwoch 19.09.2007
Zwischenbericht - gepostet von Björn am Montag 27.08.2007
25. bis 28. Juni 2007 - gepostet von Lobo am Sonntag 24.06.2007
Ähnliche Beiträge wie "BOMMERHOLZ II - Themenübersicht"
Bommerholz - Alina (Dienstag 17.07.2007)
Termin Bommerholz - Oliver Rüthing (Mittwoch 15.08.2007)