Bearbeiten von „Gedächtnisprotokoll FGI209-1“
Zur Navigation springen
Zur Suche springen
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 7: | Zeile 7: | ||
== Aufgabe 1 == | == Aufgabe 1 == | ||
Transitionssystem TS | 1. Transitionssystem TS | ||
->(s_0) -> b (s_1) ->b (s_2) -> b ... | |||
wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist. | |||
Formale Definition angeben: | |||
S= | |||
A= | |||
tr= | |||
S^0= | |||
S^F= | |||
2. Wie ist die akzeptierte Sprache des Systems? | |||
3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert. | |||
4. Geben sie die Omega-Sprache L^omega(TS) an | |||
5. Gegeben das Transitionssystem TS_2 ->(s_0') <->c (s_1') | |||
wobei s_1' Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem TS_1 X TS_2 mit Sync={(b,c) } und gamma(b,c)=d an | |||
== Aufgabe 2 == | == Aufgabe 2 == | ||
Beschreiben sie die allgemeine Form einer Markierungsinvarianz, Lebendigkeitsinvarianz und eines Markierungsprädikats. (oder so ähnlich) | |||
== Aufgabe 3 == | |||
a) | |||
Geben sie die formale Definition von beschränktheit an. | |||
b) | |||
Geben sie die formale Definition von struktureller Beschränktheit an. | |||
== Aufgabe 4 == | == Aufgabe 4 == | ||
== Aufgabe 5 == | |||
(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.) | |||
a) | |||
Ist es entscheidbar ob ein P/T Netz beschränkt ist? | |||
b) | |||
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist? | |||
c) | |||
Ist die Erreichbarkeit für CPN entscheidbar? | |||
d) | |||
Irgendwas mit Abschätzung für die Anzahl der erreichbaren Markierungen | |||
== Aufgabe 6 == | |||
== Aufgabe 7 == | |||
== Aufgabe 8 == | == Aufgabe 8 == | ||
== Aufgabe 9 == | == Aufgabe 9 == | ||
== Aufgabe 10 == | == Aufgabe 10 == | ||
== Aufgabe 11 == | == Aufgabe 11 == | ||
== Aufgabe 12 == | == Aufgabe 12 == | ||
Zeile 127: | Zeile 88: | ||
DTM und RAM | DTM und RAM | ||
6 | 6 Multiply Choice Fragen | ||
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze) | Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze) | ||
== Aufgabe 13 == | == Aufgabe 13 == | ||
[[Kategorie:Gedaechtnisprotokoll|FGI2]] | |||
Vektorzeitstempel in eine vorhandene Struktur eintragen | Vektorzeitstempel in eine vorhandene Struktur eintragen | ||