Gedächtnisprotokoll FGI210-1 - Versionsgeschichte

93.213.44.198 am 20. Februar 2010 um 20:20 Uhr

2010-02-20T20:20:38Z

← Nächstältere Version		Version vom 20. Februar 2010, 20:20 Uhr
Zeile 75:		Zeile 75:
	BPA (Prozessgraphen zeichnen, Ableitung im Prozessgraphenkalkül, Reduktion mit den Axiomen),		BPA (Prozessgraphen zeichnen, Ableitung im Prozessgraphenkalkül, Reduktion mit den Axiomen),
	Bisimilarität, Paralleloperator und Prozessgraph in ACP		Bisimilarität, Paralleloperator und Prozessgraph in ACP

			[[Kategorie:Gedaechtnisprotokoll\|FGI2]]

92.224.122.145 am 19. Februar 2010 um 18:32 Uhr

2010-02-19T18:32:34Z

← Nächstältere Version		Version vom 19. Februar 2010, 18:32 Uhr
Zeile 62:		Zeile 62:


	Das Workflow-Netz ~~von einem der Aufgabenzettel~~ war gegeben.		Das Workflow-Netz aus Präsenzaufgabe 5.1 war gegeben.

	1. Ist das angegebene Workflow Netz N korrekt? (mit Begründung!)		1. Ist das angegebene Workflow Netz N korrekt? (mit Begründung!)

78.54.70.195 am 19. Februar 2010 um 18:25 Uhr

2010-02-19T18:25:06Z

← Nächstältere Version		Version vom 19. Februar 2010, 18:25 Uhr
Zeile 1:		Zeile 1:
	Aufgabe 1		== Aufgabe 1 ==


	TS1 und TS2 gegeben		TS1 und TS2 gegeben
Zeile 6:		Zeile 5:
	1. L(TS1) und L(TS2) angeben		1. L(TS1) und L(TS2) angeben

	2. Produktautomaten TS3 konstruieren		2. Produktautomaten TS3 konstruieren mit <math>Sync=(x,x) \forall x \in A</math>

	3. L(TS3) "berechnen"		3. L(TS3) "berechnen"

	4. Gilt L(TS3) = L(TS1) ~~geschnitten~~ L(TS2)? Falls ja, gilt dies sogar allgemein?		4. Gilt <math>L(TS3) = L(TS1) \cap L(TS2)</math> ? Falls ja, gilt dies sogar allgemein?

	5.		5.

	Aufgabe X
			== Aufgabe X1 ==



Zeile 31:		Zeile 32:
	1. Welchen Ausdruck berechnet der Algorithmus für n>0?		1. Welchen Ausdruck berechnet der Algorithmus für n>0?

	2. und 3. Zeit- und Platzkomplexität ~~uniform und logarithmisch~~		2. Schätze die Zeit- und Platzkomplexität im uniformen Kostenmaß ab.
			3. Schätze die Zeit- und Platzkomplexität im logarithmischen Kostenmaß ab.


	~~Aufgabe X~~

			== Aufgabe X2 ==

	Kripke-Struktur gegeben.		Kripke-Struktur gegeben.
Zeile 46:		Zeile 48:
	2. Markiere alle SZK und kennzeichne die nicht trivialen.		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?		3. Falls EGa gilt, gib einen entsprechenden Pfad in an (<math>\omega</math>-regulärer Ausdruck). Wie berechnet der Algorithmus diesen Pfad?



			== Aufgabe X3 ==

	~~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.


	~~Aufgabe X~~

	Das Workflow-Netz von einem der Aufgabenzettel war gegeben ~~und es sollte bestimmt werden, ob dies Korrekt ist~~ (~~inkl.~~ Begründung).		== Aufgabe X4 ==


			Das Workflow-Netz von einem der Aufgabenzettel war gegeben.

			1. Ist das angegebene Workflow Netz N korrekt? (mit Begründung!)

	~~Des Weiteren sollte bestimmt werden, ob folgendes gilt~~: Workflow-Netz ist korrekt gdw. sein Abschluss lebendig ist.		2. Gilt folgende Aussage: Ein Workflow-Netz ist korrekt gdw. sein Abschluss <math>\overline{N}</math> lebendig ist.



	Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen ~~und~~ Bisimilarität, Paralleloperator und Prozessgraph in ACP		Außerdem gabs noch Aufgaben:
			Petrinetze (Startmarkierung als Vektor von Multimengen angeben, Folgemarkierungen berechnen, ...)
			Vektorielle Zeitstempel (in Graphen eintragen),
			BPA (Prozessgraphen zeichnen, Ableitung im Prozessgraphenkalkül, Reduktion mit den Axiomen),
			Bisimilarität, Paralleloperator und Prozessgraph in ACP

92.224.122.145 am 19. Februar 2010 um 17:03 Uhr

2010-02-19T17:03:37Z

← Nächstältere Version		Version vom 19. Februar 2010, 17:03 Uhr
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 Y
			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 im ACP ~~Kalkül~~
			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

92.224.122.145 am 19. Februar 2010 um 16:59 Uhr

2010-02-19T16:59:03Z

← Nächstältere Version		Version vom 19. Februar 2010, 16:59 Uhr
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 Y

	Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph		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 im ACP Kalkül

85.176.77.62 am 19. Februar 2010 um 16:19 Uhr

2010-02-19T16:19:31Z

← Nächstältere Version		Version vom 19. Februar 2010, 16:19 Uhr
Zeile 47:		Zeile 47:

	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?


			Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph

85.176.77.62: Die Seite wurde neu angelegt: 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)? ...

2010-02-19T16:15:24Z

Die Seite wurde neu angelegt: 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)? ...

Neue Seite

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;
}

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?