, . (1976) [49].
:
q ;
q .
() . .
. .
1. . (end if; end loop) () .
2. () , .
3. ( ). .
4. . , .
4. . . , (OR, AND).
5. ,
if a OR b
then x
else
end if;
, . 6.4, (. 6.5).
. 6.4.
. 6.5.
6. , , .
7. . , Rl, R2, R3.
1. :
1 EOF
1 ;
2
3 :
4 >= b
5 b;
6 ;
7 ;
7 ;
7b ;
8 ;
. 6.6.
, . 6.6. , .
, . :
q ;
q , .
, . , .
|
|
|
, . .
1:
1: 1-8.
2: 1-2-3-7-7b-1-8.
3: 1-2-4-5-7-7b-1-8.
4: 1-2-4-6-7-7b-1-8.
, .
.
:
1) , , :
q ;
q True- False-;
2) .
2- , .
:
1) ;
2)
V(G)-E-N+2,
, N ;
3) V(G) =p+ 1, G.
1 :
1) 4 ;
2) V(G) = 11 - 9 + 2 = 4;
3) V(G) = 3 +1=4.
, 1 .
