Hi Die Kosten für f sind 3 (g,x1,x2) und die für g sind 3 (x2,x3,x4), damit sind die Kosten insgesamt 6. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Nein, in b) sollen nur die Kosten der Polynome so wie sie dastehen genannt werden. Sonst nichts. Erst in Teilaufgabe d) sollen die Ergebnisse von c) (und sonst keine weiteren Überlegungen) verwendet werden, um eine kostengünstigere Realisierung der Funktionen im Vergleich zu b) zu erhalten. Diese Realisierung ist auch nicht kostenminimal, das ist aber auch gar nicht gefragt. Grüße
Forum: Rechnerarchitektur SS 2005

Hi Ein OBDD ist ein "Ordered Binary Decision Diagram", ein ROBDD ein "Reduced Ordered Binary Decision Diagram". Oft (auch hier) wird darunter aber das gleiche verstanden, nämlich ein vollständig reduziertes geordnetes BDD. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Sorry, das ist etwas unklar formuliert. Es soll natürlich das Kostenmaß aus der Vorlesung verwendet werden. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Blatt 4, Aufgabe 2b): Die Variablenreihenfolge des ROBDDs muß (b3<a3<b2<a2<b1<a1) (b3 als Wurzel) sein; bei der Reihenfolge (b3>a3>b2>a2>b1>a1) (a1 als Wurzel) wird der ROBDD für g sehr groß (zu groß für eine Übungsaufgabe). Die Übungsblätter im Netz sind korrigiert. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Ach Mist, man sollte einfach spätabends keine Aufgaben mehr schreiben. ;) "Monome" muß natürlich durch "Literale" ersetzt werden. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Falsch: Wenn es keinen Pfad gibt, in dem b irgendwann wahr wird, gilt auch EaUb nicht. Lies nochmal die Definition von EU, beachte dabei das "schließlich". Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Es ist ok, wenn Du "true" oder "false" verwendst, andererseits k"onntest Du f"ur so einen Fall eigentlich auch eine Tautologie (phi v !phi) resp. eine Kontradiktion (phi n !phi) verwenden. "true"/"false" (oder ganz einfach "1"/"0") ist aber zugegebenermaßen deutlich besser lesbar. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi In der Aufgabenstellung müßte/sollte eigentlich noch ein "Erläutern Sie Ihre Lösungen" stehen... Mist. Ich sage es mal so: Es ist auf jeden Fall sinnvoll, zu jeder Teilaufgabe einen Satz zu schreiben, wie man auf die entsprechende Lösung kam (bei 'f)' vielleicht auch zwei), denn falls Euere Lösung nicht korrekt ist, gibts je nach Begründung vielleicht noch Teilpunkte
Forum: Rechnerarchitektur SS 2005

Hi Tobias _Nopper_... nicht Norbert... ;) Zu Deiner Frage: Einmal reicht. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Aufgabenstellung, letzter Satz: "Das Steuerwerk selbst braucht nicht angegeben zu werden." Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Ich gehe jetzt nicht auf Deine Beispiele ein; schließlich will ich hier weder eine Muster-Lösung noch eine Muster-Nichtlösung angeben. ;) Generell gibt es natürlich für alle Eigenschaften mehrere Möglichkeiten, sie aufzuschreiben - genau genommen sogar unendlich viele. Ein ganz einfaches Beispiel wäre a, !!a, !!!!a, !!!!!!a, ...; mit CTL-Operatoren geht das aber genauso. Vorsicht aber
Forum: Rechnerarchitektur SS 2005

Hi Du vergleichst das Ergebnis von (c*b), das etwa in einer temporalen Variablen x9 abgelegt ist, mit d. Wenn Du x9 nicht später nochmal brauchst, kannst Du es natürlich löschen, wenn Du aber d löschst hast Du ein Problem - und zwar in der nächsten Iteraton, in der Du wieder genau dieses d brauchst. Ich hoffe, das war klärend genug. ;) Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi felix schrieb: a) wenn a ab einem Zustand Z auf einem Pfad IMMER gilt, gilt dann Z |= E(aUb)? b) wenn b ab einem Zustand Z auf einem Pfad IMMER gilt, gilt dann auch Z|= E(aUb)? Langsam, langsam. Du redest hier über Pfade, schreibst aber dann Zustandsformeln hin. 1. Ein Pfad, für den in jedem Zustand a gilt aber niemals b, erfüllt _nicht_ (aUb). 2. Ein Pfad, für den in jedem Zustand
Forum: Rechnerarchitektur SS 2005

Hi Auf einen problematischen Zustand muß nicht zwingend ein Fehlerzustand folgen - und auch nicht direkt; es können beliebig viele Zustände dazwischen liegen. Beispiele: (je weiter rechts, desto tiefer im Berechnungsbaum) ......p......e. ist ok ......pe....... ist ok ....p.......... ist ok ...........e... ist nicht ok Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Nein, sowohl EF als auch AG lassen sich durch eine Kombination der auf dem Übungsblatt angegebenen fünf Basisoperatoren ausdrücken. Ein Hinweis zu EF: Vergleiche mal EFb und EaUb. Folgt eines der beiden aus dem anderen? Wenn Du EF hast, ist AG auch nicht mehr schwer. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Aufgrund der Problematik mit dem Overhead-Projektor findet die Übungsgruppe 2 (Tutorin Bettina Braitling) ab sofort im Kinohörsaal (082-00-006) statt. Sagt es bitte weiter. Danke Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Merci für den Bugreport; ich werde schauen, daß ich das baldmöglichst behebe (auch wenn ihr dieses Semester wahrscheinlich keine Archive mehr hochladen werdet). Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi In diesem Fall hätte ich das Problem, daß ich sehr früh schätzen muß, wie weit wir in der Vorlesung mit dem Stoff kommen werden; zudem kann ich dann nicht auf eventuelle Fragen aus der Vorlesung reagieren. Die Aufgaben sind immer so ausgelegt, daß man sie problemlos in einer Woche bearbeiten kann, damit ist der garantierte Termin, an dem ich ein Übungblatt herausbringen werde, eine Woche
Forum: Rechnerarchitektur SS 2005

Hi Ja, natürlich: Wenn es *irgendwann* einen Unterschied gibt, sind die Automaten nicht äquivalent. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Ziel der Aufgabe ist es, die Streamline-Code-Simulation an einem _einfachen_ Beispiel zu demonstrieren, und zwar so, daß auch Studenten, die noch keinerlei Umgang mit C/C++ hatten, eine gute Chance haben, die Aufgabe zu lösen. In der Vorlesung wurde angenommen, daß ints 32-bittig sind, genauso nehmen wir das auch in der Übung an - und auf den allermeisten Maschinen, die ihr benutzt (Suns
Forum: Rechnerarchitektur SS 2005

Hi Der Sinn der Kommentare ist es nicht, tiefschürfende Monologe zu verfassen, sondern den Tutoren die Korrektur zu erleichtern bzw. teilweise erst zu ermöglichen. Das gilt insbesondere für die Fällen, in denen die Lösung unvollständig, falsch, oder (am allerschlimmsten) total verquer, aber richtig ist; ohne Kommentare ist es bei Programmieraufgaben teils nicht einmal möglich herauszufinden, w
Forum: Rechnerarchitektur SS 2005

Hi Na, stell Dir einfach vor, Du hast ein AND-Gatter mit den Eingängen a,b und dem Ausgang c; dabei solle b in jeder der 32 gleichzeitig durchgeführten Simulationen den Wert 1 haben. Und dann sieht b wie aus? Jetzt hab ja fast schon zuviel verraten... ;) Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Die Sache ist die: Da die meisten von Euch nach einer neueren DPO studieren dürften, fließt die RA-Note direkt mit in euere Diplomnote mit ein. Und da ihr euch über die Übungen einen Bonus erwerben könnt, fließen auch die Übungen mit in die Note ein. Es ist daher unseres Erachtens am gerechtesten, wenn jeder anhand seiner eigenen Leistungen bewertet wird. Ich glaube übrigens nicht, daß e
Forum: Rechnerarchitektur SS 2005

Hi Im Übungsblatt 2 ist von einem "Carry-Select-Addierer" die Rede; gemeint ist natürlich ein "Conditional-Sum-Addierer". Das Übungsblatt im Netz und im Portal ist korrigiert. Sorry Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Aufgrund der großen Beteiligung an den Übungen verlegen wir die Abgabe der Übungsblätter vor; ansonsten wird es für die Tutoren schwer, bis zur Übungsstunde alle Übungsblätter zu korrigieren. Wegen Christi Himmelfahrt und Fronleichnam ist die Abgabe der Blätter 2 und 3 freitags, die der verbleibenden Blätter aber donnerstags. Das Übungsblatt 2 war leider kurze Zeit noch mit dem alt
Forum: Rechnerarchitektur SS 2005

Sorry, dieses Jahr machen wir keine Aufzeichnungen. Du findest im Netz zwar Aufzeichnungen der Vorlesung vom letzten Jahr (http://porta.informatik.uni-freiburg.de/lectures/Rechnerarchitektur/03-ss/Vorlesungsaufzeichnung/recordings.html), aber der Inhalt der Vorlesung hat sich etwas gewandelt, so daß die Aufzeichnungen keinesfalls ein Einsatz für die Anwesenheit in der eigentlichen Vorlesung is
Forum: Rechnerarchitektur SS 2005

Hi Eigentlich sollten die 2-auf-1-Folien keine Animationen beinhalten (aus genau den Gründen, die Du genannt hast), für zukünftige Kapitel werden die PDFs nur die vollständigen Folien beinhalten. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Die Register könnt ihr bei der Gatterebene getrost weglassen; es heißt ja auch "Skizzieren Sie...". Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi In der Vorlesung wurde das Passwort zum Download der Folien genannt, nicht aber der Username. Des Rätsels Lösung ist einfach: Der Username ist identisch mit dem Passwort. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005