Fehler in Modul11?

Radze
Erstie
Erstie
Beiträge: 21
Registriert: 10. Okt 2008 10:14

Fehler in Modul11?

Beitrag von Radze »

Auf Folie 11 in Modul scheint sich ein kleiner Fehler eingeschlichen zu haben.
Der letzte Punkt sieht folgendermaßen aus:
Für jede mögliche Transition (s1,e1,s1´) von TS1 mindestens eine
Transition von TS, die folgende Form hat: (s1,s2)-e1->(s1´,s2´).
Sollte bei asynchroner Nebenläufigkeit der Zustand s2 nicht gleich bleiben? Also:
(s1,s2)-e1->(s1´,s2)
Zumal auch auf der ganzen Folie kein s2´ für ->1 definiert wurde.
Altnernativ kann mach auch fordern, dass s2 = s2´ (ähnlich zu Folie 16). Aber auch dieses ist nirgendwo passiert.

schuster
Mausschubser
Mausschubser
Beiträge: 74
Registriert: 5. Okt 2007 15:43

Re: Fehler in Modul11?

Beitrag von schuster »

Radze hat geschrieben:Auf Folie 11 in Modul scheint sich ein kleiner Fehler eingeschlichen zu haben.
Der letzte Punkt sieht folgendermaßen aus:
Für jede mögliche Transition (s1,e1,s1´) von TS1 mindestens eine
Transition von TS, die folgende Form hat: (s1,s2)-e1->(s1´,s2´).
Sollte bei asynchroner Nebenläufigkeit der Zustand s2 nicht gleich bleiben? Also:
(s1,s2)-e1->(s1´,s2)
Zumal auch auf der ganzen Folie kein s2´ für ->1 definiert wurde.
Altnernativ kann mach auch fordern, dass s2 = s2´ (ähnlich zu Folie 16). Aber auch dieses ist nirgendwo passiert.
Richtig, es müßte (s1, s2) -e1-> (s1', s2) heißen. Danke für den Hinweis.

Beste Grüße,

Dieter Schuster

Antworten

Zurück zu „Archiv“