Hoare Kalkül
Results 1 to 4 of 4

Thread: Hoare Kalkül

  1. #1

    Title
    Veteran
    Join Date
    Jun 2002
    Posts
    2
    Thanks
    0
    Thanked 0 Times in 0 Posts

    Angry Hoare Kalkül

    Kann mir jemand verraten, wie ich auf die Schleifeninvariante im Hoare-
    Kalkül der letzten VO-Prüfung komme?

    Das Beispiel lautete wie folgt:

    z = 15 {begin begin x <-- 5z; y <-- z+x end;
    while y>=4 do begin y <-- y - 4; x <-- x+3 end end} x = 141

    Danke.

  2. #2

    Title
    Master
    Join Date
    Feb 2002
    Posts
    139
    Thanks
    0
    Thanked 0 Times in 0 Posts
    mhm das is jetzt reine spekulation ... aber hast dus schon mit
    3y+4x=c für eine beliebige konstante c versucht?
    so ist diese art von schleife im skriptum aufgelöst worden

  3. #3

    Title
    Veteran
    Join Date
    May 2002
    Location
    somewhere out there
    Posts
    17
    Thanks
    0
    Thanked 0 Times in 0 Posts
    also erst mal... der vorschlag mit der invariante funktioniert.
    INV: 4x + 3y = 570

    allerdings ...puh solche beispiele kosten zeit! für wie groß haltet ihr die wahrscheinlichkeit, dass er sowas gibt?
    ¿ Why does life effort itself ?
    Questions but no answers.

  4. #4

    Title
    Master
    Join Date
    Feb 2002
    Posts
    139
    Thanks
    0
    Thanked 0 Times in 0 Posts
    also ich würd sagen die bsps dauern ned so lang wie zb die sprache die ein dea beschreibt herauszufinden oder einen dea aus einer verbalen beschreibung zu generieren

    insofern würd ich mich eher über ein solches bsp freuen

    mit den hilfen die im skriptum gegeben sind sollt das finden von invarianten relativ gut gehen, da er sicher keine bsps geben wird, die irgendwie komplett vermurkste inv s benötigen

    ich denke mal sowas könnt schon kommen (wohl genauso wahrscheinlich wie das ganze andere zeug zu logik und sprachen)

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •