Die Suche ergab 73 Treffer

von NonStop
8. Mär 2016 11:48
Forum: Archiv
Thema: Definition einer Kalrülregel
Antworten: 3
Zugriffe: 364

Re: Definition einer Kalrülregel

Wie genau ist denn der Speicher modelliert? Steckt dieser irgendwie in \sigma ? Grüße Florian Das weiß ich nicht :) Die Aufgabe sollte in der Klausur im WS14/15 gewesen sein. Ich habe nur die Aufgabenstellung, die ich geschrieben habe. Da es eine Rekonstruktion ist, kann es sein, dass sie nicht 100...
von NonStop
8. Mär 2016 11:00
Forum: Archiv
Thema: Definition einer Kalrülregel
Antworten: 3
Zugriffe: 364

Definition einer Kalrülregel

Hallo, wie würde man die Kalkülregel der Form <c, sigma> -> sigma' die Regel für load x v definieren, wobei das Program den Speicherwert v in den Speicher an der Adresse x schreiben soll? Brauch man dafür eine Extra-Funktion, die als Argument die Speicheradresse bekommt und den Wert an dieser Adress...
von NonStop
7. Mär 2016 18:30
Forum: Archiv
Thema: Synchrone Produktkomposition
Antworten: 7
Zugriffe: 461

Re: Synchrone Produktkomposition

Sonnentag hat geschrieben:achso, also müsste ich alle möglichen Transitionen angeben
Nein, schaue dir die Folie 26 vom FS 10 an, wie die Transitionsrelation -> bei einer synchronen Produktkomposition genau definiert ist
von NonStop
22. Feb 2016 11:06
Forum: Archiv
Thema: Frage zu Folie 7 im 7.Foliensatzvon
Antworten: 1
Zugriffe: 148

Frage zu Folie 7 im 7.Foliensatzvon

Hallo, auf der Folie steht, was die Herleitung einer Instanz eines Urteils sein kann. Ich verstehe den 1. Fall nicht ganz. Hier wird sowohl die Instanz, als auch ihre Herleitung mit gleichem Zeichen notiert. Ist damit gemeint, dass die Herleitung dieser Instanz sie selbst ist? Wie beschreibt man sie...
von NonStop
15. Feb 2016 18:13
Forum: Archiv
Thema: Aufgabe 13.4 c)
Antworten: 1
Zugriffe: 163

Aufgabe 13.4 c)

Hallo,

in der MuLö zu dieser Aufgabe ist angegeben, dass die Prozesse Board und Rule sich in ihren Alphabeten unterscheiden. E ist hier für beide Prozesse unter den Gleichungen angegeben. Wo liegt dann der Unterschied?
von NonStop
15. Feb 2016 15:28
Forum: Archiv
Thema: Frage zu Folie 13 im 13.Foliensatz
Antworten: 1
Zugriffe: 151

Frage zu Folie 13 im 13.Foliensatz

Hallo, auf der Folie wird das Theorem bewiesen, dass K1(TS) => K2(TS) nicht gilt. Im 4. Schritt heißt es "Da lmarker eine ganze Zahl ist, ist auch lmarker-1 eine ganze Zahl. Also gibt es einen Zustand s aus S mit s(current-pos) = lmarker -1" Ist es tatsächlich so? Es steht doch nirgendwo, dass VAR -...
von NonStop
14. Feb 2016 11:38
Forum: Archiv
Thema: Frage zu Folie 11 im 11.Foliensatz
Antworten: 2
Zugriffe: 188

Frage zu Folie 11 im 11.Foliensatz

Hallo,

sollte es nicht bei "Beobachtungen für TS1" in der Transition von TS e1 stehen, anstatt e2?
von NonStop
11. Feb 2016 18:22
Forum: Archiv
Thema: Kalkülregeln für die Klausur
Antworten: 7
Zugriffe: 1094

Kalkülregeln für die Klausur

Hallo,

werden die Kalkülregeln für unteschiedliche Kalküle aus der Vorlesung in der Klausur bereitgestellt?
von NonStop
30. Jan 2016 13:34
Forum: Archiv
Thema: Übung 11, Variante des Strategy Patterns
Antworten: 1
Zugriffe: 212

Übung 11, Variante des Strategy Patterns

Hallo,

was ist in der Aufgabe 1 mit der "Variante des Strategy Patterns" gemeint? Bezieht sich das auf die 2 Strategien, die auf Folie 13 im FS Strategy_Design_Pattern stehen?
von NonStop
11. Nov 2015 18:56
Forum: Archiv
Thema: Neubewertung nach der Klausureinsicht
Antworten: 11
Zugriffe: 1210

Neubewertung nach der Klausureinsicht

Hallo,

ich wollte fragen wie lange es mit der Neubewertung der Klausur nach der Klausureinsicht dauert. Werden die Noten dann direkt in foo aktualisiert oder wird man die neue Note erst in TuCan sehen wenn alle Einsichtstermine vorbei sind?
von NonStop
27. Sep 2015 09:00
Forum: Archiv
Thema: Einschreibeschlüssel
Antworten: 2
Zugriffe: 711

Re: Einschreibeschlüssel

Und mir, bitte :mrgreen:
von NonStop
21. Sep 2015 19:05
Forum: Archiv
Thema: Frage zu 5.1
Antworten: 6
Zugriffe: 702

Re: Frage zu 5.1

Ja, danke für die klare Antwort :)
von NonStop
20. Sep 2015 23:21
Forum: Archiv
Thema: Frage zu 5.1
Antworten: 6
Zugriffe: 702

Re: Frage zu 5.1

Aha, darauf wäre ich nicht gekommen, dass so etwas hinter Ihrer Frage steht. Was genau ist denn Ihr Problem mit den Folien? KW Wenn man die ganze KNF-Formel zeichnerisch in einen Graph umwandelt so wie es auf Folie 46 steht, dann muss man zwischen 9 Knoten 21 Kanten zeichnen, wobei sie sich oft sch...
von NonStop
20. Sep 2015 12:13
Forum: Archiv
Thema: Frage zu 5.1
Antworten: 6
Zugriffe: 702

Re: Frage zu 5.1

Ich wollte nur wissen wie man richtig eine 3-CNF Formel auf einen Graph reduziert, für den Fall, wenn eine ähnliche Aufgabe in der Klausur vorkommt, denn wenn ich es genauso mache, wie es in den Folien steht, kommt ein seltsames Ergebnis raus :)
von NonStop
20. Sep 2015 12:08
Forum: Archiv
Thema: Fehler im Wiki
Antworten: 12
Zugriffe: 899

Re: Fehler im Wiki

Und was ist damit? Sorry, meine redaktionelle Korrektur im Wiki war ein Schnellschuss... :oops: Das Video hat recht, und das Wiki ist jetzt angepasst. KW http://wiki.algo.informatik.tu-darmstadt.de/images/math/a/4/d/a4d0d7b347786653674b2fbd602bc007.png Aber das ist immer noch nicht O(n log n + m lo...

Zur erweiterten Suche