FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI 2 Blatt 2

FGI 2 Blatt 2 2009-11-08 13:17
Anonymer User
Hallo,
Habe da Verständnisfragen zur Aufgabenstellung von 3.8:

Maschine 2 kann die Aktionen nur in der Reihenfolge a, c b und d ausführen.
Heißt das 1. a, 2. c oder b, 3. d?

Beide Maschinen müßssen sich synchronisieren, d.h. wenn die erste eine Aktion x ausführt muss dies auch die 2te tun (und umgekehrt).
Heißt das wenn die erste z.B. Aktion a ausführt, muss auch die 2te Aktion a ausführen? Oder heisst es wenn die erste eine beliebige Aktion ausführt muss auch die 2te eine beliebige Aktion ausführen?

RE: FGI 2 Blatt 2 2009-11-08 18:34
Anonymer User
Wär gut, wenn jemand mal was dazu sagen könnte, finde die Aufgabenstellung auch ein bisschen verwirrend.

RE: FGI 2 Blatt 2 2009-11-08 18:46
Anonymer User
Hallo,
Habe da Verständnisfragen zur Aufgabenstellung von 3.8:

Maschine 2 kann die Aktionen nur in der Reihenfolge a, c b und d ausführen.
Heißt das 1. a, 2. c oder b, 3. d?
Lies a,c,b,d

Heißt das wenn die erste z.B. Aktion a ausführt, muss auch die 2te Aktion a ausführen? Oder heisst es wenn die erste eine beliebige Aktion ausführt muss auch die 2te eine beliebige Aktion ausführen?

Ersteres.

RE: FGI 2 Blatt 2 2009-11-09 15:17
Anonymer User
Was genau macht ein Petri-Netz zu einer Zustandsmaschine?

RE: FGI 2 Blatt 2 2009-11-09 19:04
Anonymer User
in jede transition geht 1 kante rein und 1 kante raus.

RE: FGI 2 Blatt 2 2009-11-09 20:29
Anonymer User
Ist (a,a) eine Äquivalenzrelation?

Also ein Graph mit einem Knoten und einer Schleife.

RE: FGI 2 Blatt 2 2009-11-09 20:36
Hannes
in jede transition geht 1 kante rein und 1 kante raus.

die definition ist afair F ⊆ (S × T) ∪ (T × S), kann also auch leer sein.

RE: FGI 2 Blatt 2 2009-11-09 20:37
Anonymer User
Ist (a,a) eine Äquivalenzrelation?

Also ein Graph mit einem Knoten und einer Schleife.

R = {(a,a)} ist eine Äquivalenzrelation auf der Menge A={A}.

RE: FGI 2 Blatt 2 2009-11-09 20:40
Anonymer User
in jede transition geht 1 kante rein und 1 kante raus.

die definition ist afair F ⊆ (S × T) ∪ (T × S), kann also auch leer sein.

Für eine Zustandsmaschine geht in jede Transition genau eine Kante rein und eine raus.
F kann also nur dann leer sein, wenn es keine Transitionen gibt.

RE: FGI 2 Blatt 2 2009-11-09 22:04
theorinix
Ist (a,a) eine Äquivalenzrelation?

Also ein Graph mit einem Knoten und einer Schleife.

diese simple Relation [latex]R:=\{(a,a)\}[/latex] ist
1. reflexiv: offensichtlich
2. transitiv: [latex](a,a)\circ (a,a) \Longrightarrow (a,a)[/latex]
3. symmetrisch: offensichtlich

Das Element [latex](a,a)[/latex] alleine ist keine Relation…
Aber [latex]R[/latex] ist Äquivalenzrelation.