D120.de/forum

okay danke ;]

Also wenn

alpha(P) nicht disjunkt alpha(Q) -> traces(P || Q) = nur traces die in traces(Q) und traces(P)
alpha(P) disjunkt alpha(Q) -> alle nebenläufigen prozesse mit syncronisierung bei gleichen ereignissen

ich kann dir schwer sagen ob das so reicht oder nicht.
aber nicht terminierung muss man denke ich nur für programme beweisen die auch herleitbar sind

- ist H die kürzeste Herleitung für while true do c od - dann kann der letzte herleitungsschritt nur rwht sein. - in der prämisse kommt wieder while true do c od vor. - das ist ein wiederspruch da ja eig H die kürzeste herleitung sein soll -> daraus folgen wir, dass while true do c od, zustand werte...

Hi, Ich bin unsicher was folgender Begriff für traces induziert: P = ((x->STOP) || (y->STOP)) Meine Antwort wäre: traces(P) = {(), (x), (y)} - Da nach Definition alle t erlaubt sind mit: (t projiziert auf das Alphabet) Element von Prozesse P und Q. -> t = (x) t projiziert auf Alphabet von Q ist () -...

ah okay, das was damit gemeint. gut danke ;]

Ich war am letzten Vorlesungblock nicht anwesend und leider sind die Aussagen zur Klausur nicht aufgezeichnet.

kann jm. der da war wichtiges nochmal wiederholen.
War was dabei, dass man wissen sollte?

Würde mich sehr freue

Ich hatte lange fehler mit dem Depth Test von OpenGL. Ich konnte mein problem lösen indem ich DepthWrite aktiviert habe: //DepthWrite aktivieren: Graphics::setRenderState(DepthWrite, true); Graphics::setRenderState(DepthTest, true); Graphics::setRenderState(DepthTestCompare, ZCompareLessEqual); Hoff...