Gedächtnisprotokoll FGI210-1: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 26: | Zeile 26: | ||
v:=v+i; | v:=v+i; | ||
} | } | ||
return v; | return v/n; | ||
} | } | ||
| Zeile 48: | Zeile 48: | ||
3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad? | 3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad? | ||
Aufgabe | |||
Aufgabe X | |||
Per Induktion sollte gezeigt werden, dass für alle erreichbaren Markierungen in allen Plätzen m(p) > 0 gilt, unter der Vorraussetzung, dass m0(p) > 0 in allen Plätzen ist, und W~(t,p) > 0 für alle t und p gilt. | Per Induktion sollte gezeigt werden, dass für alle erreichbaren Markierungen in allen Plätzen m(p) > 0 gilt, unter der Vorraussetzung, dass m0(p) > 0 in allen Plätzen ist, und W~(t,p) > 0 für alle t und p gilt. | ||
Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph | |||
Aufgabe X | |||
Das Workflow-Netz von einem der Aufgabenzettel war gegeben und es sollte bestimmt werden, ob dies Korrekt ist (inkl. Begründung). | |||
Des Weiteren sollte bestimmt werden, ob folgendes gilt: Workflow-Netz ist korrekt gdw. sein Abschluss lebendig ist. | |||
Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph in ACP | |||
Version vom 19. Februar 2010, 19:03 Uhr
Aufgabe 1
TS1 und TS2 gegeben
1. L(TS1) und L(TS2) angeben
2. Produktautomaten TS3 konstruieren
3. L(TS3) "berechnen"
4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? Falls ja, gilt dies sogar allgemein?
5.
Aufgabe X
Algorithmus so ungefähr gegeben:
f(n)
{
v := 0
for i=0 to n
{
v:=v+i;
}
return v/n;
}
1. Welchen Ausdruck berechnet der Algorithmus für n>0?
2. und 3. Zeit- und Platzkomplexität uniform und logarithmisch
Aufgabe X
Kripke-Struktur gegeben.
Per CTL-Algorithmus soll geprüft werden, ob EGa gilt.
1. Markiere alle Zustände (+ dazugehörende Kanten), in denen a gilt
2. Markiere alle SZK und kennzeichne die nicht trivialen.
3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad?
Aufgabe X
Per Induktion sollte gezeigt werden, dass für alle erreichbaren Markierungen in allen Plätzen m(p) > 0 gilt, unter der Vorraussetzung, dass m0(p) > 0 in allen Plätzen ist, und W~(t,p) > 0 für alle t und p gilt.
Aufgabe X
Das Workflow-Netz von einem der Aufgabenzettel war gegeben und es sollte bestimmt werden, ob dies Korrekt ist (inkl. Begründung).
Des Weiteren sollte bestimmt werden, ob folgendes gilt: Workflow-Netz ist korrekt gdw. sein Abschluss lebendig ist.
Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph in ACP