PDF de programación - Tema 2: Notación para la definición y el diseño de algoritmos

%02,
49,.O35,7,,/013.O3
0/80N4/0,479248

❚ :7,.O3
47,8

3/.0


9,5,803,7084:.O3

/0:3574-02,

 49,.O3 5,7, , /013.O3 /0 574-02,8

❙ ',7,-08  9548 /0 /,948
❙ 49,.O3 5,7, , 0850.1.,.O3 /0 ,479248

 49,.O3 5,7, 0 /80N4 /0 ,479248

❙ 83,.O3
❙ 42548.O3 80.:03.,
❙ 3E88 547 .,848

1

-09;48

 49,.O3 5,7, , /013.O3 /0 574-02,8

∗ 5703/07,/0137 .4770.9,20390574-02,8 82508

03903/03/4,30.08/,//00850.1.,7 ,/0.:,/,20390
0.425479,20394/0,47924

∗ 434.07489548/0/,948 002039,08,89:5,8 48

;0.94708

∗ 5703/07,349,.O3 5,7,,/013.O3/0574-02,8

2



❚
 -09;48

 49,.O3 5,7, 0 /80N4 /0 ,479248

∗ 0137 ,8 3897:..4308 -E8.,8 ,83,.O3 .42548.O3
80.:03.,  .43/.43, /0 , 349,.O3 ,47J92., 00/,
5,7, 0 /80N4 /0 ,479248 , 802E39., /0 /., 349,.O3
807E , /0 97,381472,.O3 /0 089,/48

∗ 5.9,7 0 :84 /0 0897,90,8 /0 807,,.O3  /0 ,3E88

547 .,848 03 0 /80N4 /0 ,479248

3

-47,1J,

♦:784  /0 !747,2,.O3 ,8974 
:.07  0880:07  09 , .7,

 0/



♦!747,2 07;,943 7420
//843
080




#

4



0248;8946:0

!,7,089,-0.07"&A 574-02,806:070
7084;07
/01374
708:9,30.08,74
/090723,7


∗ 8:8% $
4-094884-70486:080,5.,,,..O3

∗ 8:8#$&% $
∗ 0 % /0

, 00.:.O3 /0

, ,..O3 O

0850.1.,.O3

5

49,.O35,7,,/013.O3
0248;8946:0
/0574-02,8

!,7,089,-0.07"&A 574-02,806:070
7084;07
/01374
708:9,30.08,74
/090723,7


∗ 8:8 % $
4-0948 84-70 48 6:0 80 ,5., , ,..O3

∗ 8:8 #$&% $

0137 8:8
5,7,

31472,.4308 700;,3908
, /013.O3 /0 8:8

49,.O3
31472,.4308700;,3908

∗ 0 % /0 , 00.:.O3 /0 , ,..O3 O 0850.1.,.O3


850.1.,74.424:3,97,381472,.O3 /0

089,/48

49,.O35,7, 8:0850.1.,.O3

6



0254/0574-02,/02:95.,7/48320748
03907485489;48

❚ % $
2:95.,3/4 2:95.,/47
❚ #$&% $
574/:.94
,47924 2:95.,.O3*E*,*7:880
% $ 2:95.,3/42:95.,/47
039074

#$&% $574/:.94
039074


49,.O3 5,7, , /013.O3 /0 8:8

31472,.4308700;,3908


083,7 .,/, :3, /0 0,8 .43 :3 342-70 6:0 ,8 /03916:0
:3J;4.,20390
0

➘ # '#$ %  #$&%


,81.,7 .,/, :3, /0 0,8 803 0 .43:394 /0 ;,4708 6:0
5:0/0 942,7  ,8 4507,.4308 6:0 80 5:0/03 70,,7 84-70 0,8

0

➘ #  %!  $ '#$


N,/7 .,-0.07,

7


49,.O3
0254/0574-02,/02:95.,7/48320748
03907485489;48
,807948O570/.,/48

0850.1.,.O3


5,7,

8:

❚ $!.42497,381472,.O3/0089,/48

'08.75.O3/0 89,/4 3.,,3908/000.:9,7,

2:95.,3/4  2:95.,/47  2:95.,3/4≥
 2:95.,/47≥
<

' 08.75.O3/0 89,/4 13,97,800.:9,7,


∑

574/:.94<

89,/4
3.,

89,/4
13,

8




49,.O3

5,7,

8:

0850.1.,.O3


,807948O570/.,/48

'08.75.O3/0 89,/4 3.,,3908/000.:9,7,

2:95.,3/4  2:95.,/47  2:95.,3/4≥
 2:95.,/47≥
<

!#  !# !

5708, ,8.43/.430870,.43086:0.:250348% $ 
6:0/013030.43:394/0$% $$/0
574-02,
0

89,/4
3.,

9


49,.O3

5,7,

8:

0850.1.,.O3


,807948O570/.,/48

'08.75.O3/0 89,/4 13,97,800.:9,7,


∑

574/:.94<
! $%  !# "

5708, ,870,.43080397048% $ 574547.43,/4848
#$&% $ 08507,/486:0/013030.43:394/0
$% $$
0

89,/4
13,

10



➘
➘
#08:203

,47924 2:95.,.O3*E*,*7:880
% $ 2:95.,3/42:95.,/47
039074

#$&% $574/:.94
039074
!2:95.,3/4 ∧ 2:95.,/47 ∧ 2:95.,3/4≥
∧

2:95.,/47≥
<

" ∑



574/:.94<

11

-09;4/0,09,5,/0/013.O3 8:

48706:07203948 /0,!747,2,.O3

349,.O31472,


$07 .,5,.08 /0 1472:,7 0 ,47924 6:0 708:0;0 :3 574-02,

❚ $07 .,5,.08 /0 7,43,7 ,.07., /0 , .4770..O3  .43;0303., /0
,47924 5745:0894

9,5,/0013.O3 /0:3,47924574-02,


089,-0.07"&A ,.00,47924
,3908/0 089,-0.07 4,.0

850.1.,.O3 1472,
05708,7,
00.:.O3/0,47924.424:3,
97,381472,.O3/0089,/48! "

12



❚
 -09;4/0,09,5,/0/013.O3 8:

349,.O31472,


089,-0.07"&A ,.00,47924
,3908/0 089,-0.07 4,.0



$07 .,5,.08 /0 1472:,7 0 ,47924 6:0 708:0;0 :3 574-02,

48706:07203948 /0,!747,2,.O3
9,5,/0013.O3 /0:3,47924574-02,

❚ $07 .,5,.08 /0 7,43,7 ,.07., /0 , .4770..O3  .43;0303., /0
,47924 5745:0894
39075709,.O3/0, .4770..O3 /0:3,47924
:3,47924$ 08.4770.94$

850.1.,.O3 1472,
05708,7,
00.:.O3/0,47924.424:3,
97,381472,.O3/0089,/48! "

.4203,8:00.:.O303:3089,/46:0/08.7-0!
90723, 8:00.:.O303:3089,/46:0/08.7-0"

! $ "

0254
/01370574-02,/0,
/;8O3/0/480390748

,47924 /;8O3
% $ 3:2 3:2
039074

#$&% $67
039074
! 3:2≥
∧ 3:2>
<
" 3:2  3:26 7 ∧
≤7<3:2 <



! /;8O3 "

13

14




❚
',7,-089548/0
/,948

":F08&%! /0/,948

43:394/0;,4708



43:394/0 4507,.4308 50729/,8

84-70048

15

',7,-089548/0
/,948

":F08&'# /0:3954
/0/,948

&3,;,7,-0/0:3954/0/,94808:3,

389,3., /0F8909,6:03.,20390
54/7E8072,35:,/,,97,;F8/0,8
4507,.4308/013/,884-700954
➨ 0.,3824/0 /0.,7,.O3 /0
;,7,-08

16




➨
➨
➨
',7,-089548/0
/,948

%! $ $ $ 4002039,08
❙ 39074


',4708




507,.4308
,792F9.,870,.43,08

❙ #0,


',4708
705708039,.O3054303.,4/0.2,
507,.4308
,792F9.,870,.43,08

17

',7,-089548/0
/,948

%! $ $ $ 4002039,08
❙ ,7E.907


',4708
097,8238.:,82,8.:,8.17,88348
0850.,08
507,.4308
70,.43,08

❙ O.4


',4708
.07941,84
507,.4308
,3/4725.,.O3

18




0254
/,/48/4832074803907480897.9,20390
5489;48803/405720740/4-0/080:3/4
.,.:,78:8:2,
,47924 8:2,
% $ , -
039074

#$&% $708:
039074

!<

8:2,

"<

,

-





8:2,

,

-





708: 

19

0254
3907.,2-,748;,4708/0/48
;,7,-0803907,8
903.O3,,0850.1.,.O3
,47924 3907.,2-4
% $  
039074

#$&% $ 
039074

.:,3/448% $ 843
9,2-F3#$&% $

!<

3907.,2-4

"<









3907.,2-4









20



02548/0/013.O3 5745:08948

❚ 45,70;,47/0:3,;,7,-003907,03497,

❚ 3/.,78:33207403907408.:,/7,/450710.94

❚ ,/4 :3 32074 70, .:,6:07,  .,.:, 0 2,47
320740390743 9,6:03 08203474:,6:0!47
00254 8  03943.08 3  8 
 03943.08
3

❚ ,/4:332074/080:3/48310747,:32O33
.,.:,7 8: 06:;,0390 03 /J,8 47,8 23:948 
80:3/48

21

',7,-089548/0
/,948

0254,
.438/F7080:3,20//,/0439:/
705708039,/,54797083207480390748
209748
.039J2097482J2097480137:3,,479246:0
/,/,:3,20//,/0439:/,3.702039003:3
2J20974

0254-
8:2,7/48320748.425048





22



',7,-089548/0
/,948
 3 48 002548 ,  - 80
/85430 /0 2824 954 /0
31472,.O3 20//,4 .42504

❙ $0/0130031:3.O3/0497,831472,.4308

❙ !:0/080797,9,/,.424:394/4.425044
5475,79085,79070,02,3,7,

23

',7,-089548/0
/,948

%! $ !&$% $
❙ %:5,


',4708
954%# A
49,.O3
954

342-70*954  9:5,

342-70*.,254
954*.,254

342-70*.,254
954*.,254

...
19:5,

1954

24



',7,-089548/0
/,948

0254,
954

20//,  9:5,

20974
039074

.039748
039074

29748
039074


19:5,

1954

,47924 8:2,2 % $ 2/
20//,


#$&% $2/
20//,

25

',7,-089548/0
/,948

0254-


954

.42504  9:5,
570,
70,

52,
70,


19:5,

1954

,47924 8:2, % $ 3:23:2
.42504

#$&% $8:2
.42504

26



',7,-089548/0
/,948

013.O3 /000254,

,47924 8:2,2 % $ 2/
20//,


#$&% $2/
20//,

!2/<

954

20//,  9:5,

20974
039074

.039748
039074

29748
039074


19:5,

1954

27

',7,-089548/0
/,948

%! $ !&$% $
❙ %:5,


',4708
954%# A
507,.4308
$ ,:3.,254 /0:3,9:5,

342-70*;,7,-0 342-70*.,254

28



',7,-089548/0
O2405708,7 0;,47
/048209748.039J209748
/,948
2J209748/02/O

013.O3 /000254,

,47924 8:2,2 % $ 2/
20//,


#$&% $2/
20//,

∧ .4770.9,<

20974≥
∧
≤.039748≤

∧
≤29748≤
<

!2/<

954

20//,  9:5,

20974
039074

.039748
039074

29748
039074


19:5,

1954

/0
03,/0,390
/0
,


/0
,


29

',7,-089548/0
/,948

013.O3 /000254,

,47924 8:2,2 % $ 2/
20//,


#$&% $2/
20//,

!2/∧

20974≥
∧
≤.039748≤

∧
≤29748≤
<

 " <

$ 29748 ≤

03943.08 8:2,7 :34 , 29748
 /0,7 0 70894 9, .:,
834 ≥


30



',7,-089548/0
/,948

..0845,7,
24/1.,.O3

" 29748 ≤


..0845,7,.438:9,

∨

29748 

∧ 2/29748  29748 
∧ 2/.039748  .039748
∧ 2/20974  20974

∧ 2/29748 
∧ .039748 ≤



∧
2/.039748  .039748 ∧
2/20974  20974

∨
.039748  


∧
2/.039748 
∧
2/20974  20974 <

31