a)
Kod: Zaznacz cały
{ n < 0 } while ( n != 0 ) do n := n - 2 { n = -1 }
Kod: Zaznacz cały
{ x > 0 } y := x - y; x := 1 + y { y < x}
Kod: Zaznacz cały
{ n < 0 } while ( n != 0 ) do n := n - 2 { n = -1 }
Kod: Zaznacz cały
{ x > 0 } y := x - y; x := 1 + y { y < x}