Gedächtnisprotokoll FGI209-1

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte) Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

Aufgabe 1

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

Beschreiben sie die allgemeine Form einer Markierungsinvarianz, Lebendigkeitsinvarianz und eines Markierungsprädikats. (oder so ähnlich)

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

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 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 9

Aufgabe 10

Aufgabe 11

Aufgabe 12

DTM und RAM

6 Multiply Choice Fragen Komplexitaetsklassen von irgendwas (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

Aufgabe 13

Vektorzeitstempel in eine vorhandene Struktur eintragen