Die Suche ergab 271 Treffer

von dschneid
24. Nov 2012 20:46
Forum: Archiv
Thema: trail in ispin
Antworten: 1
Zugriffe: 253

Re: trail in ispin

Das bedeutet, dass der Endzustand im Prozess phil nie erreicht werden kann. Da die Philosophen aber in einer Endlosschleife essen und denken, ist das ja nur logisch.
von dschneid
22. Nov 2012 12:23
Forum: Archiv
Thema: Übung 5 Aufgabe 3
Antworten: 2
Zugriffe: 435

Re: Übung 5 Aufgabe 3

Vergiss für diese Aufgabe erst einmal komplett die Programmiersprache aus der Vorlesung. Es geht hier darum, das Verständnis dafür zu festigen, dass man mit Kalkülen eine formale Semantik für induktiv definierte syntaktische Strukturen definieren kann. Die syntaktischen und semantischen Konzepte, di...
von dschneid
25. Okt 2012 19:52
Forum: Archiv
Thema: Übung 1
Antworten: 2
Zugriffe: 458

Re: Übung 1

zu Aufgabe 1: Ja, eine Wahrheitstafel genügt. zu Aufgabe 2: Es geht weder um Gleichheit noch um Erfüllbarkeit. Es geht um Folgerungsbeziehungen. Eine Formel \Phi folgt aus einer Formelmenge \Phi , geschrieben \Phi \models \phi , wenn für alle Interpretationen, die alle Formeln in \Phi wahr machen, a...
von dschneid
25. Okt 2012 19:40
Forum: Archiv
Thema: Modul 1 Logik, Seite 34
Antworten: 3
Zugriffe: 486

Re: Modul 1 Logik, Seite 34

Das stimmt, das ist keine korrekte FO-Formel.
von dschneid
17. Okt 2012 10:22
Forum: Archiv
Thema: Übung 0, Aufgabe 2
Antworten: 5
Zugriffe: 747

Re: Übung 0, Aufgabe 2

Wenn die Modellierung angemessen bleibt, sind natürlich auch solche Lösungen möglich. Es lohnt sich aber, darüber nachzudenken, wie einfach das Modell dann ist. Man tut sich generell keinen Gefallen damit, an einer Stelle etwas zusammenzufassen, wenn dadurch anderswo etwas wesentlich unübersichtlich...
von dschneid
16. Okt 2012 13:33
Forum: Archiv
Thema: Übung 0, Aufgabe 2
Antworten: 5
Zugriffe: 747

Re: Übung 0, Aufgabe 2

Ja, der Affe kann die Kiste nur schieben. Ja, dann kann der Affe die Kiste in eine Ecke schieben und nie wieder herausbekommen. Aber er ist eben auch nur ein Affe... :wink:
von dschneid
12. Sep 2012 11:24
Forum: Archiv
Thema: Zusammenfassung der Inhalte?
Antworten: 3
Zugriffe: 1010

Re: Zusammenfassung der Inhalte?

Das würde dir nicht viel bringen. Die Vorlesung wird nächstes Semester von einem anderen Professor gehalten und andere Inhalte behandeln.
von dschneid
31. Jul 2012 14:37
Forum: Archiv
Thema: Feriensprechstunden SS12
Antworten: 1
Zugriffe: 564

Re: Feriensprechstunden SS12

von dschneid
26. Jun 2012 17:24
Forum: Archiv
Thema: Fehler in den statischen Methoden der TACInstruktionen
Antworten: 6
Zugriffe: 403

Re: Fehler in den statischen Methoden der TACInstruktionen

Was auch geht (und ich als Workaround verwende) ist:

Code: Alles auswählen

s.contains("@")
von dschneid
11. Jun 2012 20:45
Forum: Archiv
Thema: Meets Operator / Initialisierung / Abgabetermin
Antworten: 20
Zugriffe: 1122

Re: Meets Operator / Initialisierung / Abgabetermin

Ich erzähl jetzt einfach mal, was ich mir dazu so überlegt habe. Das kann natürlich alles auch viel zu kompliziert sein, aber es funktioniert meiner Meinung nach relativ krampffrei im Vergleich zu anderen Dingen, die ich ausprobiert habe. Man braucht, so wie ich das sehe, tatsächlich zwei Arten von ...
von dschneid
6. Jun 2012 00:39
Forum: Archiv
Thema: Frage zur Initialisierung
Antworten: 4
Zugriffe: 333

Re: Frage zur Initialisierung

Du hast natürlich Recht, eine Optimierung wird nie perfekt sein. Hier geht es mir aber weniger um eine Frage der Präzision, sondern mehr der Implementierung. Die Frage ist nämlich, Präzision hin oder her: Wie kann ich das Framework überhaupt schreiben? Mit dem Ansatz, die Vereinigung der generierten...
von dschneid
4. Jun 2012 00:31
Forum: Archiv
Thema: Frage zur Initialisierung
Antworten: 4
Zugriffe: 333

Frage zur Initialisierung

Ich bin bei der Implementierung der Constant Propagation auf ein Problem bei der Initialisierung gestoßen: Bei der Copy Propagation werden ja laut der Folien alle in-Ergebnisse auf das größtmögliche Ergebnis initialisiert, nämlich die Vereinigung aller Mengen, die von den einzelnen Blöcken generiert...
von dschneid
3. Jun 2012 15:53
Forum: Archiv
Thema: Liste aller Blöcke
Antworten: 1
Zugriffe: 266

Liste aller Blöcke

Ich würde an dieser Stelle gerne noch einmal eine Frage stellen, die ich zur letzten Aufgabe schon hatte: Wird uns noch eine Möglichkeit zur Verfügung gestellt, an alle Blöcke einer Methode zu gelangen? Anderenfalls muss man sich die Blöcke ja per Traversierung zusammensuchen, und dann erreicht man ...
von dschneid
23. Mai 2012 19:31
Forum: Archiv
Thema: Fragen zu Blatt 2
Antworten: 12
Zugriffe: 982

Re: Fragen zu Blatt 2

Müssen denn Dominatoren im CFG-Dump auftauchen, oder ist das eine optionale Ausgabe? Im Format aus Abbildung 3 auf dem Aufgabenblatt, an das wir uns ja halten sollten, tauchen keine Dominatoren auf, deswegen ging ich davon aus, dass wir sie nicht ausgeben müssen (insbesondere da sie ja zunächst auch...
von dschneid
20. Mai 2012 10:47
Forum: Archiv
Thema: Fragen zu Blatt 2
Antworten: 12
Zugriffe: 982

Re: Fragen zu Blatt 2

Probieren Sie die Funktion mal nach cfg2ssa aus. Da sollten diese eigentlich berechnet sein. [...] Das stimmt in der Tat. So wie ich es verstanden habe, soll dumpcfg aber zu jedem Zeitpunkt möglich sein, zu dem ein CFG existiert, also auch schon vor der Umwandlung in SSA-Form. Dann ist das also kei...

Zur erweiterten Suche