Die Suche ergab 15 Treffer

von onurv13
8. Mär 2016 20:11
Forum: Archiv
Thema: reqt mit Variablen
Antworten: 2
Zugriffe: 198

Re: reqt mit Variablen

Schreibe ich dann auf die obere Seite nichts oder mache ich: \(\langle x, \sigma\rangle \Downarrow x \space \space \space \space \langle x, \sigma \rangle \Downarrow x\)
von onurv13
8. Mär 2016 19:56
Forum: Archiv
Thema: reqt mit Variablen
Antworten: 2
Zugriffe: 198

reqt mit Variablen

Hi, Das sieht sehr einfach aus, aber ich bin verwirrt. Wie kann ich das herleiten: \langle if \, (x \, eq \, x) \, then \, skip \, else \, skip \, fi, \sigma \rangle \rightarrow \sigma' Spezifischer gesagt, wie würde der Schritt reqt in diesem Fall aussehen? Es ist klar, dass es herleitbar sein soll...
von onurv13
8. Mär 2016 18:27
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Re: Frage zu 6.3b)

Zum 2. Post: Danke sehr.
Zum 1. Post: So, ist es auch Ok, wenn ich einfach sage, dass dieser Fall ausgeschlossen ist, weil das durch rleqf (also rwhf) nicht herleitbar ist?
Grüße
von onurv13
8. Mär 2016 17:57
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Re: Frage zu 6.3b)

Noch eine Frage (diesmal allgemein):
Für "while b do c od", wenn b etwas Offensichtlich wie (x eq x) wäre, würden wir eine Fallunterscheidung brauchen?
Grüße
von onurv13
8. Mär 2016 16:59
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Re: Frage zu 6.3b)

Ich habe noch eine Frage im Fall 1 (Regel rwhf): Hier wurde gesagt, dass das Urteil \(\langle (x \, leq \, 0), \sigma'' \rangle \, \Downarrow false\) herleitbar ist. Wie? Die Seitenbediungung \(x > 0\) von leqf ist nicht erfüllt (\(0 > 0\) gilt nicht).
Danke im Voraus
von onurv13
8. Mär 2016 16:26
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Re: Frage zu 6.3b)

Danke, diesmal ist es klar :)
von onurv13
8. Mär 2016 15:58
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Re: Frage zu 6.3b)

Danke für deine Antwort, aber mir ist es immer noch nicht klar. H4 und H8 haben das gleiche Urteil und auf beiden Fällen wissen wir, dass \(\sigma''(x) = 0\) ist, aber H8 braucht eine Fallunterscheidung, wo H4 keine braucht. Das verstehe ich nicht.
von onurv13
8. Mär 2016 15:26
Forum: Archiv
Thema: Frage zu 6.3b)
Antworten: 9
Zugriffe: 392

Frage zu 6.3b)

Hi, meine Frage ist zu "zu ii)": Warum gibt es hier eine Fallunterscheidung? Aufgrund der Seitenbedingung \sigma'' = \sigma[x\backslash0] muss \sigma''(x) = 0 gelten dh. dass das Urleitung \langle while \, (x \, leq \, 0) \, do \, x:= (x \oplus 1) \, od, \sigma'' \rangle \rightarrow \sigma' direkt d...
von onurv13
7. Mär 2016 23:53
Forum: Archiv
Thema: Modellierungsfrage
Antworten: 3
Zugriffe: 336

Re: Modellierungsfrage

Hi, eine Frage: In der Aufgabe steht es nicht, dass die Funktion f Parameter hat, oder? Da steht nur, dass sie von allen Action Filmen, nicht von allen "gegebenen" Action Filmen, die Filme mit Müller ausgeben soll. Warum hast du es angenommen, dass f in der Form FILM^* \rightarrow FILM^* ist? (Es ma...
von onurv13
6. Mär 2016 17:25
Forum: Archiv
Thema: Eindeutigket der Klammerung von Regulären Ausdrücken
Antworten: 4
Zugriffe: 381

Re: Eindeutigket der Klammerung von Regulären Ausdrücken

Hi Florian,
Danke für die Antwort. Sorry, Deutsch ist nicht meine Muttersprache. Ich habe gemeint, dass ich nicht verstanden habe, in welcher Reihenfolge die Klammern aus der Lösung gesetzt wurde, aber wenn du sagst, dass es egal ist, dann ist es kein Problem.
Grüße
von onurv13
5. Mär 2016 00:00
Forum: Archiv
Thema: Eindeutigket der Klammerung von Regulären Ausdrücken
Antworten: 4
Zugriffe: 381

Re: Eindeutigket der Klammerung von Regulären Ausdrücken

Hi, ich verstehe nicht, in welcher Reihenfolge wir diese Klammern stellen sollen. Ich konnte von der Klammerung aus dem Lösungsvorschlag also "(a(a((b((ab)*))b)))" keinen Sinn machen. Meiner Meinung nach sollte die Lösung "((a(a(b((ab)*))))b)" sein. Ist meine Meinung falsch? Könnte jemand bitte erkl...
von onurv13
15. Okt 2015 01:27
Forum: Archiv
Thema: PW
Antworten: 16
Zugriffe: 975

Re: PW

Ich auch bitte
von onurv13
4. Mär 2015 17:09
Forum: Archiv
Thema: Aufgabe 4.2
Antworten: 2
Zugriffe: 287

Aufgabe 4.2

Ein Getränk soll 2€ kosten, oder? Sonst machen das Diagram und auch die Lösungsvorschläge keinen Sinn für mich. ZB: Warum ist es legal, 2 1€'s einzuwerfen, wenn ein Getränk nur 1€ kostet(und warum nicht 3 oder 72) und warum gibt es keine gaetraenknehmen-Option bei dem Zustand 1?
mfG
von onurv13
28. Jan 2015 15:35
Forum: Archiv
Thema: Exam preparation
Antworten: 1
Zugriffe: 788

Re: Exam preparation

I would also like to have some info on how to study for the exam(Not in the general sense but specific to this field). There are no exercises, no old exams and I don't know what to expect so I would appreciate any tips.
von onurv13
13. Jan 2015 17:25
Forum: Archiv
Thema: BlueSpec auf clientssh
Antworten: 3
Zugriffe: 1201

BlueSpec auf clientssh

Hi, ich bekommen den folgenden Fehler, wenn ich eine BlueSpec Datei compilieren will: Error: Unknown position: (S0058) Bluespec is unable to checkout the required license. Information from license software is given below. The desired vendor daemon is down. Check the lmgrd log file, or try lmreread. ...

Zur erweiterten Suche