Musik

Alles klar gelaufen letzte Woche mit Sergej?

So.

Ich entsinne mich richtig, Sergej hatte gemacht, starke Biximulation bis dahin, dass die starke Biximulation eine Konkurrenz ist.

Gut.

Wir haben doch zu Ende vorzudechnen den Zettel, nämlich die S-Seitgabe.

Ja.

Was war noch mit der Aufgabespannung?

Ja, da hat er es mir noch fest gemacht, aber da erinnern die weiß-sichere Biximation ganz genau.

Ich habe nichts mehr mit dem Blatt ausgedruckt.

Ich habe das zweite ausgedruckt, aber das hilft dir vielleicht jetzt noch zu viel.

Sie war auch etwas länglich die Aufgabenstunde.

Ja.

Okay.

Ja.

Wir wollten zu einem gegebenen LTS eine Prozessdefinition in BPA, deren Semantik T ist, konstruieren.

So.

Das war jetzt also die T-Site von unserem LTS.

Dann muss ich jetzt für jeden Prozess

die Zustände von diesem LTS zählen.

So.

Okay.

So.

So.

So.

So.

So.

So.

So.

So.

So.

Also das ist jetzt die Definition von PQ, ist die Summe über alle,

was ist das jetzt, das waren Kombinationen aus Alphas und Q-Strichs,

sodass ein Übergang existiert von Q zu diesen Q-Strichen.

Insofern wäre es wahrscheinlich sinnvoll gewesen, diese,

in der Tat, nicht genau, also halb in dem Index ist es gut, genau,

und es wird diese Menge Q-Strich Index Q später noch gebraucht.

Ja.

Insofern, es ist durchaus zulässig und in der Digitale wäre es wesentlich leichter zu lesen,

beim Indizieren von so einer Summe auch mal berufstügig zu sein und statt unbedingt nur

in Indexmengen wie hier zu schreiben, auf schlicht und einfach die Eigenschaft,

die Alphas und Q-Strich haben müssen, direkt unter die Summe zu schreiben.

Das heißt, nicht das hier, das ist jetzt also ganz strikt so eine Kombination.

So, wir haben den Raum, vielen Dank.

Das ist jetzt die Kombination, die sich also formal ganz strikt an die Syntax hält,

also es wäre durchaus zulässig gewesen, zu schreiben.

Summe über aller Art Q-Strich, sodass Q einen Alphalübergang nach Q-Strich macht

und dann kommt halt diese Runde.

Jetzt die zwei.

Ja, halten wir da kurz.