AL um for-Schleife erweitern
Results 1 to 5 of 5
  1. #1

    Title
    Hero
    Join Date
    Feb 2002
    Location
    Wien
    Posts
    185
    Thanks
    0
    Thanked 0 Times in 0 Posts

    AL um for-Schleife erweitern

    bei einem beispiel von der letzten prüfung soll man die sprache AL um eine for-schleife erweitern, genaue angabe siehe hier.

    weiss jemand wie das geht? hab keine ahnung wie man das machen sollte.

    [edit] hat sich erledigt.
    Last edited by Lukas; 21-10-2002 at 11:45.

  2. #2

    Title
    Hero
    Join Date
    Feb 2002
    Location
    Wien
    Posts
    185
    Thanks
    0
    Thanked 0 Times in 0 Posts
    zur for-schleife gibts jetzt eh schon die lösung, aber ich bin mir noch immer nicht sicher ob ich verstanden hab wie man die semantik erweitert.

    ich hab versucht zwei ähliche beispiele aus dem prüfungsordner zu machen, wär nett wenn mir jemand sagen könnte ob die lösungen stimmen.

    1) Semantik von AL um repeat-schleife repeat α until B erweitern.

    lösung: MAL(I, repeat α until B) =
    = MAL(I, α ) für MPL(I,B) = false
    = MAL(MAL(I,α ) repeat α until B) für MPL(I,B) = true

    2) wie 1), loop α exitwhen B β endloop
    = MAL(I, α ) falls B = true
    = MAL(MAL(I, α ) loop α exitwhen B β endloop) falls B = false

    bin mir vor allem wegen dem β beim zweiten nicht sicher. bei meiner definition wird das beta glaub ich nie ausgeführt, ich weiss aber nicht wie ichs anders definieren könnte.
    Last edited by Lukas; 22-10-2002 at 19:00.

  3. #3

    Title
    Principal
    Join Date
    Dec 2001
    Posts
    88
    Thanks
    0
    Thanked 0 Times in 0 Posts
    2) wie wärs damit
    MAL(MAL(MAL(I, a ), ß) loop a exitwhen B ß endloop) falls B = false

    1) hab ich auf while zurückgeführt:
    MAL(I, repeat a until B) =
    = MAL(MAL(I,a), while -B do a)

    aber ich denke deines stimmt auch
    Last edited by qmp; 24-10-2002 at 00:01.

  4. #4

    Title
    Hero
    Join Date
    Feb 2002
    Location
    Wien
    Posts
    185
    Thanks
    0
    Thanked 0 Times in 0 Posts
    ja das zweite könnt so stimmen, danke

    1) stimmt aber bei dir glaub ich nicht. while -B do α bricht ab wenn B=true, repeat α until B wird noch einmal ausgeführt wenn B=true weil die bedingung erst am ende überprüft wird .

  5. #5

    Title
    Principal
    Join Date
    Dec 2001
    Posts
    88
    Thanks
    0
    Thanked 0 Times in 0 Posts
    deswegen ist ja auch das MAL(I,a) drinnen, also a wird mind. einmal ausgeführt

    MAL(MAL(I,a), while -B do a)
    ^^^^^^^^^

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
  •