Omega-Automaten (Anforderung)

PG A4
Verfügbare Informationen zu "Omega-Automaten (Anforderung)"

  • Qualität des Beitrags: 0 Sterne
  • Beteiligte Poster: Björn - Steve
  • Forum: PG A4
  • Forenbeschreibung: Forum zur Projektgruppe A4 07/08
  • aus dem Unterforum: Allgemeines
  • Antworten: 4
  • Forum gestartet am: Montag 02.04.2007
  • Sprache: deutsch
  • Link zum Originaltopic: Omega-Automaten (Anforderung)
  • Letzte Antwort: vor 15 Jahren, 10 Monaten, 21 Tagen, 23 Stunden, 44 Minuten
  • Alle Beiträge und Antworten zu "Omega-Automaten (Anforderung)"

    Re: Omega-Automaten (Anforderung)

    Björn - 03.05.2007, 21:56

    Omega-Automaten (Anforderung)
    Ok hier erstmal Stichpunktartig welche Arten von Methoden wir bei den omegaautomaten brauchen werden 8und auch manche die da nicht sein sollten). Noch nicht unbedingt vollständig, bei den mit ? markierten Punkten bin Ich mir noch nicht ganz sicher.

    Methoden die Alle OmegaAutomaten brauchen:
    -Hinzufügen/ Entfernen von Transitionen
    -Hinzufügen/ Entfernen von Zuständen
    - get Transition(en), State(s), TriggerClass, TriggerFactory,Alphabet
    - Ersetzen des Alphabets durch ein anderes Alphabet
    - Entfernen von nicht erreichbaren Zuständen
    - hinzufügen und entfernen von Startzuständen (bzw. initialen Zuständen)
    - Clonen eines Omegaautomaten (müssen wir aber nicht unbedingt hier spezifizieren, da Objekt ja selbst eine Clone Methode hat, deshalb (?)).
    - Create from Template - d.h. einen weiteren OmegaAutomaten mit den selben grundlegenden Eigenschaften wie der dessen methode aufgerufen wurde, also selbe Omega-Automaten Art, selbes Alphabet, selben Trigger etc.
    - Das Zurückgeben des Alphabets, der Anzahl der Zustände , bzw. Anzahl der Transitionen
    - Bestimmen des Verhaltens des OmegaAuomtaten (det./nichtdet.)
    - Leerheits-Test
    - Membership-Test, d.h. ob das Omegawort w vom Omegaautomaten akzeptiert wird
    - Bestimmen der akzeptierenden Läufe (aller?), bzw. bestimmen des omega-regulären Ausdurcks der vom OmeagaAutomaten akzeptiert wird
    -Da es seinen kann das beim visuellen erstellen die Transitionen erstmal leer sind, muß es eine Möglichkeit geben diese zu entfernen, d.h. wir müssen uns um epsilon-Transitionen kümmern.

    - Die Methode get/setaccepting States macht nur Sinn für Büchi-Automaten, und auch dann nur um relativ einfach daraus einen generalisierten Büchi-Automaten zu erstellen (nicht ganz sicher) - aber für die anderen OmegaAutomaten machen diese Methoden keinen Sinn, also gehört nicht in die Oberklasse/Interface - dasselbe gilt für das entfernen von akzeptierenden Zuständen. Allerdings macht es Sinn für alle Omegaautomaten (ausser dem ParityAutomaten - dieser braucht unter Umständen eine andere Signatur) zu den Mengen E_{i} bzw. F_{i} Zustände hinzuzufügen (wobei die Menge E_{i} bei Büchi-Automaten leer ist - also beim Aufruf einer Set Methode nichts passiert und bei einem Aufruf einer get-Methode die Leeremenge bzw. null oder eine Exception geworfen wird).

    - Union und Intersect sollten in der Oberklasse nicht vorhanden sein, die Abgeleiteten Klassen sind dafür zuständig: Allerdings sollte es eine Methode geben die Vereinigung von Automaton und OmegaAutomaten durchzuführen (dasselbe für intersect) - statische Methode?

    - Komplement: diese Methode können wir, falls es keine Problem für parity Automaten gibt, ohne Problem in der Oberklasse/interface definieren.

    - Minimierung der Zustände von Omegaautomaten(?)



    Re: Omega-Automaten (Anforderung)

    Björn - 07.05.2007, 20:34


    Steve sag mir doch bitte was du soweit von dem ganzen hälst. Und habe Ich was vergessen.

    Kleiner Nachtrag: Wir sollten wenn möglich die selben Methoden Signaturen verwenden. Und wir sollten es den jeweiligen Omegaautomaten überlassen, finde Ich jendenfalls, welche Methoden sie zum manipulieren der Akzeptanzbedingung zur Verfügung stellen.
    - Transformationen: Kommen in (alle) eine eigene Transformationen Klasse als statische Methoden.



    Re: Omega-Automaten (Anforderung)

    Steve - 07.05.2007, 20:49


    Ich wollte mich jetzt den Abend über noch an den Stoff setzen. Habe auch noch drei Quellen von Hubert, die ich durchschauen will... Ich schreibe dann heute Nacht oder spätestens morgen ganz in der Frühe, was ich noch gefunden habe.

    Hast du morgen Mittag spontan Zeit? Zwischen 12 und 14 Uhr hab ich erstmal nix, würde dann was essen und danach könnten wir uns ja kurz absprechen. So um 13 Uhr?



    Re: Omega-Automaten (Anforderung)

    Björn - 07.05.2007, 21:04


    Das Problem ist, das Ich zwischen 12-14 Uhr Kryptographie Vorlesung habe (sonst habe Ich an dem Tag nichts), vorher oder danach ohne Problem, aber Ich würde es ungern nochmal ausfallen lassen. 13:45 sollte gehen, im Foyer des Mathetowers, dann ist die Vorlesung zu Ende.

    ps. Kannst du mir auch die Quellen (links) die du noch von Hubert bekommen hast schicken?



    Mit folgendem Code, können Sie den Beitrag ganz bequem auf ihrer Homepage verlinken



    Weitere Beiträge aus dem Forum PG A4

    28. Juni 2007 - gepostet von Lobo am Sonntag 24.06.2007
    2. August - gepostet von Steve am Donnerstag 02.08.2007
    Jascha --> - gepostet von KnThrak am Mittwoch 11.04.2007
    BOMMERHOLZ II - Themenübersicht - gepostet von Lobo am Mittwoch 19.09.2007
    Zwischenbericht - gepostet von Björn am Montag 27.08.2007
    Urlaubstermine - gepostet von parvaneh am Dienstag 31.07.2007



    Ähnliche Beiträge wie "Omega-Automaten (Anforderung)"

    Anforderung - gangsta84 (Donnerstag 12.07.2007)
    Nvidia/Ati/Omega Treiber - Reiner (Montag 02.01.2006)
    Bewerbung Anforderung - kerooo (Dienstag 29.01.2008)
    Megiddo - The Omega Code 2 - Chris Larabee (Montag 16.01.2006)
    1.4. Omega Spring Break - s1ro (Montag 27.03.2006)
    NóT-X wird zu OmeGa - ^KÅ^ÐÅ^J (Freitag 07.07.2006)
    An alle Omega-Day Spieler!!!! - masterchief (Donnerstag 25.01.2007)
    Wie lange spielt ihr schon omega? - Scorpionking (Dienstag 22.08.2006)
    § 14 Persönliche Anforderung - Einsatzleitung (Montag 08.11.2004)
    Bewerbung anforderung - yogi (Samstag 21.10.2006)