8. .
WHILE. WHILE , .
, , , . (, , ) , , READ, WRITE, BEGIN, , , . . , WHILE DO , .
, . . , , , .
.
WHILE , . DO.
WHILE . w :
WHILE b DO d
b , d . , b T, d , , , w , . b F - , w . w IF:
IF b THEN BEGIN d; w END
:
w = IF b THEN BEGIN d; w END
WHILE , , v :
WHILE V1 < V2 DO V1:= V2
:
v = IF V1 < V2 THEN BEGIN V1:= V2; v END
v ( BEGIN END) , V1:= V2, V1 < V2 F. v , . ,
v = IF V1 < V2 THEN V1:= V2
v , .
, u :
WHILE V1 <= V2 DO V1:= V2
u v . . :
u = IF V1 <= V2 THEN BEGIN V1:= V2; u END
|
|
v, , u, , V1 V2. u T , , T, , .. , . u ( ).
u = {<s, s>: V1 <= V2 (s) = F}
. t,:
WHILE V1 < V2
DO
BEGIN
V1:= V2;
V2:= V3
END
DO :
V1, V2:= V2, V3
DO, , :
V1 | V2 | |
V1, V2:= V2, V3 | V2 | V3 |
V1, V2:= V2, V3 | V3 | V3 |
V1, V2:= V2, V3 | V3 | V3 |
, V3 . t. V1 >= V2 , . , V2 V3, V1 V2 , . , t.
(V1 >= V2 ->) | (V2 >= V3 -> V1, V2:= V2, V3) | (V1, V2:= V3, V3)
, , , .
:
(V1 >= V2 ->) | (V1 < V2 -> (V2 >= V3 -> V1, V2:= V2, V3))
| (V1 < V2 -> (V2 < V3 -> V1, V2:= V3, V3))
WHILE
WHILE DO. , . , WHILE.
w
WHILE b DO d
b , d . Domain(w) w . s Î domain(w) k. ( s, domain(w)).
, WHILE, , k 0, 1 2. w s k.
k = 0, b(s) = F, . w(s) = s d .
k =1,
b(s) = T
w(s) = d(s)
(d◦b)(s) = F
. d. , . DO , d(s) b:
b ((d)(s)) = (d◦b)(s) = F
k = 2,
b(s) = T
(d◦b)(s) = T
w(s) = d(s)◦ d(s)
(d◦d◦b)(s) = F
|
|
b , DO d , b .
k >= 0 w s Î domain(w):
(d0◦b)(s) = T
(d1◦b)(s) = T
(dk-1◦b)(s) = T
w(s) = dk(s)
(dk◦b)(s) = F
d. r
r0 = {<x, x>: x Î domain(r)}
rn = r ◦ rn-1, n > 0
r, r0, I. WHILE.
WHILE, , , s :
V1 < V2 (s) = T
V1:= V2; V2:= V11 ◦ V1 < V2 (s) = T
t(s) = V1:= V2; V2:= V12(s), V1:= V2; V2:= V12 ◦ V1 < V2 (s) = F
, domain(w) .
, WHILE , .
WHILE :
WHILE b Do d =
{
<s, t>: k :
1. t = dk (s)
2. i k, (di◦b)(s) = T
3. b(t) = F
}
, , k = 0, 1, 2,
WHILE b DO d = IF b THEN BEGIN d; WHILE b Do d END
.
WHILE s Î domain(w) k. k DO.
, WHILE:
WHILE V1 < V2
DO
BEGIN
V1:= V3;
V3:= V2;
V2:= V4
END
DO :
V1, V2, V3:= V3, V4, V2
:
V1 | V2 | V3 | |
V1, V2, V3:= V3, V4, V2 V1, V2, V3:= V3, V4, V2 V1, V2, V3:= V3, V4, V2 | V3 V2 V4 | V4 V4 V4 | V2 V4 V4 |
, :
V1 >= V2 V3 >= V4 V2 >= V4 V4 >= V4 |
, , . , .
(V1 >= V2 ->) | (V3 >= V4 -> V1, V2, V3:= V3, V4, V2) |
(V2 >= V4 - > V1, V2, V3:= V2, V4, V4) | (V1, V2, V3:= V4, V4, V4)
WHILE, INPUT:
WHILE (Ch = ) AND NOT EOF
DO
READ(Ch)
, s = {ChN, INPUT<x, y. R>, },
Ch = F WHILE .
, WHILE :
((Ch = ) AND (INPUT = <x, y, R>) -> Ch, INPUT:= c, <x & u Ñ c, v, R>) |
((Ch <> ) OR (INPUT = <x, , R>) ->)
y = u Ñ C & k,
u
c ,
x y