Paar Fragen zum F4 Skript
2006-05-22 16:09
Farcon
Ich arbeite mich gerade durch das F4 Skript und hab ein paar Fragen gesammelt.
1) Def. 4.28: Ein Auftragssystem AS=(A,<.) besteht aus einer endlichen Menge A von Aufträgen und einer irreflexiven, transitiven Relation
[img]http://mokrates.de/cgi-bin/texstring?%3C%20:=%20%3C.%5E+%20%5Csubset%20A%5E2%20[/img], wobei <. die direkten Präzedenzen beschreibt… (der Punkt bei <. steht jeweil im kleiner-als Zeichen).
Ich finde die Definition der Präzedenzrelation verwirrend. Die "normale" Präzedenzrelation ist <, die "direkte" ist <. ? Wir benutzen für das AS aber nur die direkte ? Heißt das Pluszeichen in <.+, dass die Relation transitiv sein soll ? In seinem Buch Rechensysteme steht die gleiche Definition nämlich etwas anders, "und einer irreflexiven, transitiven Relation
[img]http://mokrates.de/cgi-bin/texstring?%3C.%20%5Csubset%20A%5E2[/img]"
2)Die Definitionen S-Invarianten-Vektor ist
[img]http://mokrates.de/cgi-bin/texstring?i%20%5Cin%20%5Cmathbb%7BZ%7D%5ES%5Cbackslash%5C%7B0%5C%7D%0A%0A%[/img], für den T-Invarianten-Vektor
[img]http://mokrates.de/cgi-bin/texstring?j%20%5Cin%20%5Cmathbb%7BN%7D%5ET%5Cbackslash%5C%7B0%5C%7D[/img], warum ist der T-Invarianten-Vektor nicht aus Z wie der S-I-Vektor ?
3)Zur Definition Interpretation I eines schematischen Auftrags. Dort wird für eine Ausführungsfolge
[img]http://mokrates.de/cgi-bin/texstring?w=w_1w_2...w_%7B2n%7D%20%5Cin%20F_E(AS)[/img] eine Zustandsfolge
[img]http://mokrates.de/cgi-bin/texstring?d_0,d_1,...,d_%7B2n%7D[/img] definiert. Warum laufen diese Folgen bis 2n, und nicht nur bis n ?
4) In der Abbildung 3.19 gibt es eine Transition t1 die einen Guard "(x=a und y=rsa) oder (x=b und y=rsb)" hat. Die Transition besitzt aber nur einen Eingangplatz mit einer gefärbten Kante x. Heißt das der Guard setzt y auf rsa oder rsb, je nachdem ob x den Wert a oder b annimmt ? Kann ein Guard sowas ? Ich dachte der kann nur wahr oder falsch werden, also passiv sein.
5) Eher allgemein; existieren Auftragssysteme nur im F4 Skript ? Google spuckt dazu nix aus, und die einzig andere Quelle die ich dazu gefunden habe ist das Buch von Valk selbst.
1) Def. 4.28: Ein Auftragssystem AS=(A,<.) besteht aus einer endlichen Menge A von Aufträgen und einer irreflexiven, transitiven Relation
[img]http://mokrates.de/cgi-bin/texstring?%3C%20:=%20%3C.%5E+%20%5Csubset%20A%5E2%20[/img], wobei <. die direkten Präzedenzen beschreibt… (der Punkt bei <. steht jeweil im kleiner-als Zeichen).
Ich finde die Definition der Präzedenzrelation verwirrend. Die "normale" Präzedenzrelation ist <, die "direkte" ist <. ? Wir benutzen für das AS aber nur die direkte ? Heißt das Pluszeichen in <.+, dass die Relation transitiv sein soll ? In seinem Buch Rechensysteme steht die gleiche Definition nämlich etwas anders, "und einer irreflexiven, transitiven Relation
[img]http://mokrates.de/cgi-bin/texstring?%3C.%20%5Csubset%20A%5E2[/img]"
2)Die Definitionen S-Invarianten-Vektor ist
[img]http://mokrates.de/cgi-bin/texstring?i%20%5Cin%20%5Cmathbb%7BZ%7D%5ES%5Cbackslash%5C%7B0%5C%7D%0A%0A%[/img], für den T-Invarianten-Vektor
[img]http://mokrates.de/cgi-bin/texstring?j%20%5Cin%20%5Cmathbb%7BN%7D%5ET%5Cbackslash%5C%7B0%5C%7D[/img], warum ist der T-Invarianten-Vektor nicht aus Z wie der S-I-Vektor ?
3)Zur Definition Interpretation I eines schematischen Auftrags. Dort wird für eine Ausführungsfolge
[img]http://mokrates.de/cgi-bin/texstring?w=w_1w_2...w_%7B2n%7D%20%5Cin%20F_E(AS)[/img] eine Zustandsfolge
[img]http://mokrates.de/cgi-bin/texstring?d_0,d_1,...,d_%7B2n%7D[/img] definiert. Warum laufen diese Folgen bis 2n, und nicht nur bis n ?
4) In der Abbildung 3.19 gibt es eine Transition t1 die einen Guard "(x=a und y=rsa) oder (x=b und y=rsb)" hat. Die Transition besitzt aber nur einen Eingangplatz mit einer gefärbten Kante x. Heißt das der Guard setzt y auf rsa oder rsb, je nachdem ob x den Wert a oder b annimmt ? Kann ein Guard sowas ? Ich dachte der kann nur wahr oder falsch werden, also passiv sein.
5) Eher allgemein; existieren Auftragssysteme nur im F4 Skript ? Google spuckt dazu nix aus, und die einzig andere Quelle die ich dazu gefunden habe ist das Buch von Valk selbst.