D120.de/forum

Soweit ich das verstanden habe werden die Aktionen in einem action-block echt parallel ausgeführt (eben wie in einer Regel). Dazu werden alle Statements in einem Zustand gebündelt, man beschreibt hier ja einen Automaten. Wohingegen "freie" Statements jeweils einen eigenen Zustand bekommen. Das würde...

Meiner Meinung nach ist die Präzedenz hier nicht das Problem, eine mkFIFO kann einfach nicht im gleichen Takt enq und deq ausführen, sofern sie voll oder leer ist. Damit fällt eine einelementige "mkFIFO" schon aus. Habe meine Implementation auch unter der Annahme gebastelt, dass die Berechnungslogik...

Hab das eben gerade auch mal kurz implementiert und komme zum gleichen Ergebnis. War erst etwas verwundert, weil ich dachte eine mkFIFO hat nur einen Platz, allerdings hat sie 2 und nur die Bypass/Pipeline FIFO hat lediglich einen Platz. Will man die FIFO auf einen Platz reduzieren bräuchte man alle...

Ich denke die Negationen sind nicht mit aufgeführt, da in der Aufgabenstellung explizit nach der "nicht-rekursiven Defintion" gefragt ist. Das ist, meines Wissens nach, die klassische (aber auch schwächste) Mächtigkeit von Datalog, also ist auch keine Negation enthalten. SIehe Seite 35 der Datalog-F...

Hallo,

ich konnte heute leider auch nicht kommen, würde mich sehr freuen. Vielen Dank schonmal.