Not logged in. · Lost password · Register

peck
Member since Jul 2010
16 posts
Subject: ADT 27.03.2006
Aufgabe 6:
Meine Ergebnisse:
a)
A9: sorted(create) = true
A10: sorted(prepend1(x, prepend(y, l))) = true & sorted(prepend(y, l)) falls x < y
                                                      =  false sonst

b)
A11: rotate(create) = create
A12: rotate(append(x, prepend(y, l))) = prepend(y, append(x, l))

kann mir das jemand bestätigen, oder verbessern?
Danke!
John Late
johnLate
Member since Oct 2009
688 posts
Quote by peck:
Aufgabe 6 a)
A9: sorted(create) = true
A10: sorted(prepend1(x, prepend(y, l))) = true & sorted(prepend(y, l)) falls x < y
                                                      =  false sonst

  • Wie löst du damit sorted(prepend(x, create)) auf?
  • Streng genommen steht in der Angabe auch, dass der Operator > definiert ist, nicht  < (keine Ahnung wie streng das gesehen wurde).
  • true & foo() ist immer das gleiche wie foo(), "true &" kannst du also weglassen


Quote by peck:
A11: rotate(create) = create
A12: rotate(append(x, prepend(y, l))) = prepend(y, append(x, l))

  • Wie löst du damit rotate(append(x, create)) auf?
  • append(x, prepend(y, l)) ist nach Axiom A2 das gleiche wie prepend(y, append(x, l)), dein A12:rotate ist also eher eine Identitätsfunktion (sie gibt genau das zurück, was ihr übergeben wurde).

Versuch mal dir beim Bearbeiten Notizen in einer anderen (eigenen) Darstellungsform zu machen, vielleicht kommst du dann besser zurecht. Beispiel, du hast hantiert mit:
   prepend(y, l)              entspr.:   y + Liste
   append(x, prepend(y, l))   entspr.:  (y + Liste) + x

   append(x, l)               entspr.:       Liste + x
   prepend(y, append(x, l))   entspr.:  y + (Liste + x)
gesucht ist jedoch eine Umwandlung in diesem Stil:
    (Element + RestListe) -> (RestListe + Element)
Allen ist das Denken erlaubt, vielen bleibt es erspart.
Brown Artist
Member since Jul 2010
5 posts
Quote by John Late:
Versuch mal dir beim Bearbeiten Notizen in einer anderen (eigenen) Darstellungsform zu machen, vielleicht kommst du dann besser zurecht. Beispiel, du hast hantiert mit:
   prepend(y, l)              entspr.:   y + Liste
   append(x, prepend(y, l))   entspr.:  (y + Liste) + x

   append(x, l)               entspr.:       Liste + x
   prepend(y, append(x, l))   entspr.:  y + (Liste + x)
gesucht ist jedoch eine Umwandlung in diesem Stil:
    (Element + RestListe) -> (RestListe + Element)

A12  rotate(prepend(x, l) = append(x, l) Stimmt das so???

bei A10 habe ich allerdings keine Ahnung, wie schaut die Lösung aus?
tsch.aei
Member since Jul 2010
57 posts
Quote by Brown Artist:
A12  rotate(prepend(x, l) = append(x, l) Stimmt das so???
Ich würde sagen: Ja.
Quote by Brown Artist:
bei A10 habe ich allerdings keine Ahnung, wie schaut die Lösung aus?
Bei A10 würde ich sagen:
                                     false         falls x > head(l)
sorted(prepend(x,l)) =
                                     sorted(l) sonst
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen