FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI-2 Invariantenberechung?

FGI-2 Invariantenberechung? 2010-12-07 23:31
Anonymer User
Hallo.

kann mir einer helfen:
FGI 2:

Wie berechne ich die T-Invariante (j = 3 3 3 2 2 2) bei dem Leser-/SChreiber-Problem in Kapitel 5.5??

Danke!

RE: FGI-2 Invariantenberechung? 2010-12-08 10:21
Lehrkraft
j ist nur eine der T-Invarianten des Leser-Schreiber-Systems. Berechnen kann man die Menge aller T-Invarianten durch Lösen der in Definition 3.29 aufgestellten Gleichung. Die Lösungsmenge umfasst sämtliche Vektoren, deren erste drei Komponenten den gleichen Wert aufweisen und deren Komponenten vier bis sechs ebenfalls einen einheitlichen Wert aufweisen.