Gedächtnisprotokoll FGI209-2 - Versionsgeschichte

1steenfa: Bot: Kosmetische Änderungen

2012-06-08T16:06:16Z

Bot: Kosmetische Änderungen

← Nächstältere Version		Version vom 8. Juni 2012, 16:06 Uhr
Zeile 36:		Zeile 36:
	m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.		m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.

	#Gebe die folgenden Markierungen an:		# Gebe die folgenden Markierungen an:
	## <math>m_1(p_1) = \dots</math>		## <math>m_1(p_1) = \dots</math>
	## <math>m_2(p_2) = \dots</math>		## <math>m_2(p_2) = \dots</math>
Zeile 105:		Zeile 105:
	# Warum ist der erste Algorithmus aus der Vorlesung exponentiell?		# Warum ist der erste Algorithmus aus der Vorlesung exponentiell?
	# Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?		# Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?


	[[Kategorie:Gedaechtnisprotokoll\|FGI2]]		[[Kategorie:Gedaechtnisprotokoll\|FGI2]]

Olli: Aufgehübscht

2009-04-06T16:35:34Z

Aufgehübscht

← Nächstältere Version		Version vom 6. April 2009, 16:35 Uhr
Zeile 3:		Zeile 3:
	== Aufgabe 1 ==		== Aufgabe 1 ==

	* 1) Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.		# Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.
	* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)		# Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)
	[[Bild:A1.jpg]]		[[Bild:A1.jpg]]
	* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert.		# Formen sie TS_3 so um, dass es den Schnitt akzeptiert.
	* 4) Geben sie die Synchronisationsmenge an.		# Geben sie die Synchronisationsmenge an.

	== Aufgabe 2 ==		== Aufgabe 2 ==
Zeile 36:		Zeile 36:
	m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.		m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.

	*Gebe die folgenden Markierungen an:		#Gebe die folgenden Markierungen an:
	** <math>m_1(p_1) = \dots</math>		## <math>m_1(p_1) = \dots</math>
	** <math>m_2(p_2) = \dots</math>		## <math>m_2(p_2) = \dots</math>
	** <math>m_3(p_3) = \dots</math>		## <math>m_3(p_3) = \dots</math>
	** <math>m_4(p_2) = \dots</math>		## <math>m_4(p_2) = \dots</math>
	** <math>m_5(p_3) = \dots</math>		## <math>m_5(p_3) = \dots</math>
	** <math>m_6(p_2) = \dots</math>		## <math>m_6(p_2) = \dots</math>
	** <math>m_7(p_4) = \dots</math>		## <math>m_7(p_4) = \dots</math>
	* Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?		# Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?
	* Ist das Netz k-beschrenkt für k=1? Begründe.		# Ist das Netz k-beschrenkt für k=1? Begründe.

	== Aufgabe 4 ==		== Aufgabe 4 ==

	== Aufgabe 5 ==		== Aufgabe 5 ==

			Gegeben war ein Lückentext-Baum, etwa so:

			_ _ _ _ _ _ _ _
			/ \
			_ _ _ _ _ _ _ _
			/ \ / \
			_ _ _ _ _ _ _ _

			der die Zwischenergebnisse eines bekannten Sortieralgorithmus aus der Vorlesung einzutragen waren. Es war eine Zeichenfolge, etwa 5 8 6 4 9 2 7 1, gegeben.

			Außerdem gab es noch ein Paar Fragen
			# Wann ist ein Algorithmus optimal?
			# Ist dieser [Sortieralgorithmus] optimal?
			# Wie ist die Zeitkomplexität dieses Algorithmus?
			# Wie ist die Operatorenkomplexität des Algorithmus?

	== Aufgabe 6 ==		== Aufgabe 6 ==
Zeile 55:		Zeile 71:
	Zwei BPA-Terme waren gegeben.		Zwei BPA-Terme waren gegeben.

	* 1) Zeichnen sie die Prozessgraphen.		# Zeichnen sie die Prozessgraphen.
	* 2) Kennzeichnen sie die bisimilaren Knoten.		# Kennzeichnen sie die bisimilaren Knoten.
	* 3) Bestimmen sie die Normalformen mit den Regeln R1-R5.		# Bestimmen sie die Normalformen mit den Regeln R1-R5.
	* 4) Sind die Terme bisimilar?		# Sind die Terme bisimilar?

	== Aufgabe 7 ==		== Aufgabe 7 ==
Zeile 64:		Zeile 80:
	Hier kam eine Aufgabe zum rekursiven Ableiten dran.		Hier kam eine Aufgabe zum rekursiven Ableiten dran.

	* 1) Zeichnen sie den Prozessgraphen <X\|E> mit {X=Ya+c, Y=Xc}.		# Zeichnen sie den Prozessgraphen <X\|E> mit {X=Ya+c, Y=Xc}.
	* 2) Leiten sie <X\|E> mit für die Aktion a ab.		# Leiten sie <X\|E> mit für die Aktion a ab.
	* 3) Wann ist eine Spezifikation geschlossen?		# Wann ist eine Spezifikation geschlossen?
	* 4) Ist diese Spezifikation geschützt?		# Ist diese Spezifikation geschützt?

	== Aufgabe 8 ==		== Aufgabe 8 ==
	20 Punkte zu LTL und CTL		20 Punkte zu LTL und CTL

	* 1) Gegeben war eine Kripkestruktur. Geben sie alle PLätze an wo die Formel gilt.		# Gegeben war eine Kripkestruktur. Geben sie alle PLätze an wo die Formel gilt.
	* 2) Wo liegen die Syntaktischen Unterschiede zwischen CTL und LTL?		# Wo liegen die Syntaktischen Unterschiede zwischen CTL und LTL?
	* 3) Geben sie je eine Formel an die für CTL oder LTL nicht korrekt ist.		# Geben sie je eine Formel an die für CTL oder LTL nicht korrekt ist.
	* 4) Geben sie Vor- und Nachteile von LTL- und CTL-Formeln an.		# Geben sie Vor- und Nachteile von LTL- und CTL-Formeln an.
	* 5) ...		# ...
	* ...

	== Aufgabe 9 ==		== Aufgabe 9 ==
Zeile 85:		Zeile 100:
	== Aufgabe 10 ==		== Aufgabe 10 ==

	* 1) Wie unterscheiden sich der Ausfallalgorithmus von dem des byzantinischen Konsenses?		# Wie unterscheiden sich der Ausfallalgorithmus von dem des byzantinischen Konsenses?
	* 2) Was ist Nachrichtenkomplexität?		# Was ist Nachrichtenkomplexität?
	* 3) Geben Sie die Nachrichtenkomplexität des Ausfallalgorithmuses an.		# Geben Sie die Nachrichtenkomplexität des Ausfallalgorithmuses an.
	* 4) Warum ist der erste Algorithmus aus der Vorlesung exponentiell?		# Warum ist der erste Algorithmus aus der Vorlesung exponentiell?
	* 5) Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?		# Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?


	[[Kategorie:Gedaechtnisprotokoll\|FGI2]]		[[Kategorie:Gedaechtnisprotokoll\|FGI2]]

134.100.6.106: /* Aufgabe 7 */

2009-04-06T11:50:25Z

Aufgabe 7

← Nächstältere Version		Version vom 6. April 2009, 11:50 Uhr
Zeile 67:		Zeile 67:
	* 2) Leiten sie <X\|E> mit für die Aktion a ab.		* 2) Leiten sie <X\|E> mit für die Aktion a ab.
	* 3) Wann ist eine Spezifikation geschlossen?		* 3) Wann ist eine Spezifikation geschlossen?
	* 4) Ist diese Spezifikation ~~geschlossen~~?		* 4) Ist diese Spezifikation geschützt?

	== Aufgabe 8 ==		== Aufgabe 8 ==

Olli: /* Aufgabe 2 */

2009-04-03T12:40:01Z

Aufgabe 2

← Nächstältere Version		Version vom 3. April 2009, 12:40 Uhr
Zeile 10:		Zeile 10:

	== Aufgabe 2 ==		== Aufgabe 2 ==

			Gegeben war ein (Workflow-)Netz <math>\mathcal N_1</math>, wo die letzte Stelle mit einer Transition mit der ersten verbunden war, sowie <math>\mathcal N</math>, wo diese Transition weggelassen wurde.

			# Zeichnen sie den Erreichbarkeitsgraphen zu <math>\mathcal N_1</math>
			# ...
			# Geben sie drei Eigenschaften an, die ein Workflownetz ausmachen. Wahlweise formal oder informal.
			# Wann ist ein Workflownetz ''korrekt''?
			# Ist diese Workflownetz korrekt?
			# Ein paar Multiple-Choice Fragen (so oder so ähnlich)
			## Ist <math>\mathcal N_1</math> k-beschränkt für <math>k=1</math>?
			## Ist <math>\mathcal N_1</math> k-beschränkt für <math>k=2</math>?
			## Ist <math>\mathcal N_1</math> reversibel?
			## Ist <math>\mathcal N_1</math> lebendig?

	== Aufgabe 3 ==		== Aufgabe 3 ==

Olli: /* Aufgabe 3 */

2009-04-03T12:28:23Z

Aufgabe 3

← Nächstältere Version		Version vom 3. April 2009, 12:28 Uhr
Zeile 16:		Zeile 16:
	[[Bild:FGI2-Modulo-Netz.png]]		[[Bild:FGI2-Modulo-Netz.png]]

	und eine Schaltsequenz <math>m_1 \~~leftarrow~~^{t_1}		und eine Schaltsequenz <math>m_1 \rightarrow^{t_1}
	m_2 \~~leftarrow~~^{t_2}		m_2 \rightarrow^{t_2}
	m_3 \~~leftarrow~~^{t_3}		m_3 \rightarrow^{t_3}
	m_4 \~~leftarrow~~^{t_2}		m_4 \rightarrow^{t_2}
	m_5 \~~leftarrow~~^{t_3}		m_5 \rightarrow^{t_3}
	m_6 \~~leftarrow~~^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.		m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.

	*Gebe die folgenden Markierungen an:		*Gebe die folgenden Markierungen an:
Zeile 33:		Zeile 33:
	* Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?		* Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?
	* Ist das Netz k-beschrenkt für k=1? Begründe.		* Ist das Netz k-beschrenkt für k=1? Begründe.


	== Aufgabe 4 ==		== Aufgabe 4 ==

Olli: netz eingefügt

2009-04-03T12:24:54Z

netz eingefügt

← Nächstältere Version		Version vom 3. April 2009, 12:24 Uhr
Zeile 12:		Zeile 12:

	== Aufgabe 3 ==		== Aufgabe 3 ==

			Gegeben ist dieses Netz
			[[Bild:FGI2-Modulo-Netz.png]]

			und eine Schaltsequenz <math>m_1 \leftarrow^{t_1}
			m_2 \leftarrow^{t_2}
			m_3 \leftarrow^{t_3}
			m_4 \leftarrow^{t_2}
			m_5 \leftarrow^{t_3}
			m_6 \leftarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.

			*Gebe die folgenden Markierungen an:
			** <math>m_1(p_1) = \dots</math>
			** <math>m_2(p_2) = \dots</math>
			** <math>m_3(p_3) = \dots</math>
			** <math>m_4(p_2) = \dots</math>
			** <math>m_5(p_3) = \dots</math>
			** <math>m_6(p_2) = \dots</math>
			** <math>m_7(p_4) = \dots</math>
			* Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?
			* Ist das Netz k-beschrenkt für k=1? Begründe.


	== Aufgabe 4 ==		== Aufgabe 4 ==

JimiHendrix: /* Aufgabe 8 */

2009-04-03T12:24:06Z

Aufgabe 8

← Nächstältere Version		Version vom 3. April 2009, 12:24 Uhr
Zeile 36:		Zeile 36:

	== Aufgabe 8 ==		== Aufgabe 8 ==
			20 Punkte zu LTL und CTL

			* 1) Gegeben war eine Kripkestruktur. Geben sie alle PLätze an wo die Formel gilt.
			* 2) Wo liegen die Syntaktischen Unterschiede zwischen CTL und LTL?
			* 3) Geben sie je eine Formel an die für CTL oder LTL nicht korrekt ist.
			* 4) Geben sie Vor- und Nachteile von LTL- und CTL-Formeln an.
			* 5) ...
			* ...

	== Aufgabe 9 ==		== Aufgabe 9 ==

JimiHendrix am 3. April 2009 um 12:19 Uhr

2009-04-03T12:19:03Z

@@ Zeile 18: / Zeile 18: @@
 == Aufgabe 6 ==
 == Aufgabe 7 ==
 == Aufgabe 8 ==

JimiHendrix: /* Aufgabe 1 */

2009-04-02T13:37:44Z

Aufgabe 1

← Nächstältere Version		Version vom 2. April 2009, 13:37 Uhr
Zeile 2:		Zeile 2:

	== Aufgabe 1 ==		== Aufgabe 1 ==
	~~[[Bild:A1.jpg]]~~
	~~Schleife kann bei TS2 auch bei D gewesen sein, ich bin mir da nicht ganz sicher...~~
	* 1) Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.		* 1) Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.
	* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)		* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)
			[[Bild:A1.jpg]]
	* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert.		* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert.
	* 4) Geben sie die Synchronisationsmenge an.		* 4) Geben sie die Synchronisationsmenge an.

7beifuss: /* Aufgabe 1 */

2009-04-02T12:40:40Z

Aufgabe 1

← Nächstältere Version		Version vom 2. April 2009, 12:40 Uhr
Zeile 3:		Zeile 3:
	== Aufgabe 1 ==		== Aufgabe 1 ==
	[[Bild:A1.jpg]]		[[Bild:A1.jpg]]
			Schleife kann bei TS2 auch bei D gewesen sein, ich bin mir da nicht ganz sicher...
	* 1) Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.		* 1) Gegen waren zwei Transitionssysteme mit Sync = leereMenge. Geben sie das synchrone TS an.
	* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)		* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)