Un operador general de contracción para programas lógicos

8Q 2SHUDGRU *HQHUDO GH &RQWUDFFL˜

RQ SDUD

3URJUDPDV /˜

RJLFRV

&ODXGLR $ 9DXFKHUHW

'HSDUWDPHQWR GH ,QIRUP˜DWLFD \ (VWDG˜•VWLFD 8QLYHUVLGDG 1DFLRQDO GHO &RPDKXH

*XLOOHUPR 5 6LPDUL

'HSDUWDPHQWR GH &LHQFLDV GH OD &RPSXWDFL˜RQ 8QLYHUVLGDG 1DFLRQDO GHO 6XU

HPDLO FYDXFKHU#XQFRPDHGXDU JUV#FULEDHGXDU

3DODEUDV FODYH 3URJUDPDFLRQ /˜RJLFD 7HRU˜•D GH &DPELR GH &UHHQFLDV 'HEXJJLQJ 'HFODUDWLYR

#08:203

(Q HVWH WUDEDMR SUHVHQWDPRV XQ RSHUDGRU GH FRQWUDFFL˜RQ SDUD HO FDVR GH SURJUDPDV O˜RJLFRV /D FODVH GH SURJUDPDV WUDWDGRV HV OD GH SURJUDPDV O˜RJLFRV QRUPDOHV H[WHQGLGRV FRQ OD QHJDFL˜RQ FO˜DVLFD (V GHFLU GLFKRV SURJUDPDV FRQWHPSODQ WDQWR OD QHJDFL˜RQ SRU IDOOD 1$) \ OD QHJDFL˜RQ FO˜DVLFD (O RSHUDGRU GH FRQWUDFFL˜RQ HVW˜D EDVDGR HQ OD FRQWUDFFL˜RQ .HUQHO>@ GH OD 7HRU˜•D GH &DPELR GH FUHHQFLDV 3DUD UHPRYHU XQ OLWHUDO GH ODV LQIHUHQFLDV GH XQ SURJUDPD VH UHFRQRFHQ FXDOHV VRQ ORV FRPSRQHQWHV GHO SURJUDPD TXH FRQWLWX\HQ ODV MXVWL‘FDFLRQHV GH HVH OLWHUDO \ VH RSHUD VREUH HOORV SDUD REWHQHU XQ QXHYR SURJUDPD FRQWUD˜•GR

_{0LHPEUR GH *,,$ *UXSR GH ,QYHVWLJDFL˜RQ HQ ,QWHOLJHQFLD $UWL‘FLDO H ,&,& ,QVWLWXWR GH &LHQFLDV H}

8Q 2SHUDGRU *HQHUDO GH &RQWUDFFL˜

RQ SDUD

3URJUDPDV /˜

RJLFRV

,QWURGXFFL˜

RQ

8Q FRPSRQHQWH PX\ LPSRUWDQWH GH ORV IXWXURV VLVWHPDV GH SURJUDPDFL˜RQ O˜RJLFD VHU˜DQ ORV VLVWHPDV GH GHEXJJLQJ GHFODUDWLYRV HV GHFLU VLVWHPDV GH GHSXUDFL˜RQ GH HUURUHV TXH SXHGDQ VHU XVDGRV VLQ QHFHVLGDG GH HQWHQGHU HO IXQFLRQDPLHQWR FRPSXWDFL˜RQDO GHO VLVWHPD (VWRV VLVWHPDV VROR QHFHVLWDQ FRQRFHU OD LQWHUSUHWDFL˜RQ LQWHQWDGD GH XQ SURJUDPD LQFRUUHFWR SDUD D\XGDU D GHSXUDU XQ HUURU 8QD GH ODV WDUHDV D UHDOL]DU HV OD GHWHFFL˜RQ \ HOLPLQDFL˜RQ GH DOJXQD UHJOD LQFRUUHFWD TXH SURGX]FD TXH XQ KHFKR TXH QR HVW˜D HQ HO VLJQL‘FDGR LQWHQWDGR RFXUUD GHQWUR GHO VLJQL‘FDGR GH XQ SURJUDPD 8Q SURJUDPD O˜RJLFR FRQVLVWH GH XQ FRQMXQWR GH FO˜DXVXODV TXH SXHGH SHQVDUVH FRPR XQD WHRU˜•D O˜RJLFD SDUWLFXODU /D UHYLVL˜RQ GH FUHHQFLDV HQ WHRU˜•DV O˜RJLFDV EULQGD HO HVTXHPD SDUD PRGL‘FDU HVWDV WHRU˜•DV HQ XQD IRUPD TXH HV VLPLODU D OR TXH HQ ORV SURJUDPDV GHSXUDFL˜RQ R GHEXJJLQJ &ODUDPHQWH XQ DJHQWH TXH SRVHD XQD UHSUHVHQWDFL˜RQ LQWHUQD GHO HVSDFLR HQ HO TXH GHVDUUROOD HVWD WDUHD QHFHVLWD PRGL‘FDU VX EDVH GH FRQRFLPLHQWR 6L XQ SURJUDPD O˜RJLFR VH OR FRQVLGHUD FRPR XQ HVWDGR HSLVW˜HPLFR GH XQ DJHQWH OD WDUHD GH UHPRYHU XQD UHJOD LQFRUUHFWD VHU˜•D XQD RSHUDFL˜RQ GH FDPELR GH FUHHQFLDV HQ HVWH FDVR XQD FRQWUDFFL˜RQ GHO HVWDGR HSLVWHPLFR SDUD QR SURGXFLU OR TXH QR HVW˜D HQ HO VLJQL‘FDGR LQWHQWDGR

/D 7HRU˜•D GHO &DPELR GH &UHHQFLDV>@ HVWXGLD ORV DVSHFWRV IRUPDOHV GHO SURFHVR GH FRQ WUDHU XQD WHRU˜•D SDUD HOLPLQDU XQD SURSRVRFL˜RQ R UHYLVDU XQD WHRU˜•D SDUD LQWURGXFLU XQD SURSRVLFL˜RQ (VWD WHRU˜•D PRGHOD HVWDGRV GH FUHHQFLDV SRU PHGLR GH FRQMXQWR GH SURSRVL FLRQHV FODXVXUDGRV ORJLFDPHQWH \ FRQVLGHUD WUHV WLSRV GH RSHUDFLRQHV VREUH ORV HVWDGRV GH FUHHQFLD ([SDQVL˜RQ &RQWUDFFL˜RQ \ 5HYLVL˜RQ ([SDQGLU XQD WHRULD FRQ Z Z VLJQL‘FD DGLFLRQDU Z D UHTXLULHQGR TXH HO HO UHVXOWDGR VHD XQ QXHYR HVWDGR GH FUHHQFLDV SRVLEOH PHQWH LQFRQVLVWHQWH &RQWUDHU SRU Z W Z VLJQL‘FD UHPRYHU Z GH GH WDO PRGR TXH HO UHVXOWDGR VHD XQ QXHYR HVWDGR GH FUHHQFLD 5HYLVDU FRQ Z V Z VLJQL‘FD DGLFLRQDU Z GH WDO PRGR GH REWHQHU XQ QXHYR HVWDGR GH FUHHQFLDV FRQVLVWHQWH &RQWUDFFL˜RQ \ UHYLVL˜RQ WLHQHQ HO UHTXHULPLHQWR GH TXH ORV FDPELRV KHFKRV VHDQ WDQ SHTXHaQRV FRPR VHD SRVLEOH GH PDQHUD WDO GH PLQLPL]DU OD LQQHFHVDULD S˜HUGLGD GH LQIRUPDFL˜RQ

(Q HVWH WUDEDMR SUHVHQWDPRV XQ RSHUDGRU GH FRQWUDFFL˜RQ FXDQGR HO HVWDGR HSLVW˜HPLFR HQ OXJDU GH VHU XQD WHRU˜•D O˜RJLFD HV HO VLJQL‘FDGR GH XQ SURJUDPD O˜RJLFR (V GHFLU GH‘QLPRV XQD RSHUDFL˜RQ VREUH XQ SURJUDPD TXH REWHQJD XQ QXHYR SURJUDPD FRQ OD FDUDFWHU˜•VWLFD GH TXH VX VLJQL‘FDGR GHMH GH FRQWHQHU XQD FUHHQFLD QR GHVHDGD (Q HO FDVR HVSHF˜•‘FR GH OD SURJUDPDFL˜RQ HQ O˜RJLFD GLFKD FUHHQFLDV VHU˜D XQ KHFKR SHHUWHQHFLHQWH DO VLJQL‘FDGR GHO SURJUDPD 3DUD UHDOL]DU HVWD WDUHD HO RSHUDGRU UHFRQRFH SULPHUR FXDOHV VRQ GHQWUR GHO SURJUDPD ODV MXVWL‘FDFLRQHV R H[SOLFDFLRQHV SDUD HVH OLWHUDO 3DUD OXHJR REWHQHU XQ QXHYR SURJUDPD SURGXFLHQGR XQD LQFLVL˜RQ HQ FDGD XQD GH ODV MXVWL‘FDFL˜RQHV 'H HVWD IRUPD HO VLJQL‘FDGR GHO QXHYR SURJUDPD QR FRQWHPSODU˜D D GLFKR OLWHUDO (VWD DSUR[LPDFL˜RQ HV VLP LODU D OD FRQWUDFFL˜RQ NHUQHO>@ GH OD WHRU˜•D GH FDPELR GH FUHHQFLDV GRQGH ODV MXVWL‘FDFLRQHV OODPDGDV NHUQHOV _{VRQ VXEFRQMXQWRV PLQLPDOHV GH OD WHRU˜•D TXH LQ‘HUHQ OD VHQWHQFLD D}

FRQWUDHU

/D FODVH GH SURJUDPDV WUDWDGRV HV OD GH SURJUDPDV O˜RJLFRV QRUPDOHV H[WHQGLGRV FRQ OD QHJDFL˜RQ FO˜DVLFD (V GHFLU GLFKRV SURJUDPDV FRQWHPSODQ WDQWR OD QHJDFL˜RQ SRU IDOOD

_{! "}

01234

, . 5

&RQWUDFFL˜

RQ NHUQHO

267 #$% ( SDUFLDO PHHW & ( - ( !

SDUFLDO PHHW ,

'H‘QLFL˜RQ 6HD XQ FRQMXQWR GH VHQWHQFLDV \ Z XQD VHQWHQFLD 6HD Z 8 UHVWR DOSKD HO FRQMXQWR GH FRQMXQWRV WDO TXH Z VL \ VROR VL

a Z 304

1R H[LVWH FRQMXQWR _{WDO TXH Ÿ — \ Z 3}

(V GHFLU TXH HO FRQMXQWR UHVWR Z HV HO FRQMXQWR IRUPDGR SRU WRGRV ORV VXEFRQMXQWRV PD[LPDOHV GH TXH QR LQ‘HUHQ D Z (O WHUFHU SXQWR GH OD GH‘QLFL˜RQ GHWHUPLQD TXH VRQ PD[LPDOHV

(O PRGHOR $*0 LQWURGXFH XQD IXQFL˜RQ TXH VHOHFFLRQD XQ VXEFRQMXQWR HQWUH WRGRV ORV FDQGLGDWRV SRVLEOHV GLFKD IXQFL˜RQ VH GH‘QH FRPR VLJXH

'H‘QLFL˜RQ 6HD XQ FRQMXQWR GH VHQWHQFLDV 8QD IXQFL˜RQ GH VHOHFFL˜RQ SDUD HV XQD IXQFL˜RQ \ WDO TXH SDUD WRGD VHQWHQFLD Z

6L " Z HV QR YDF˜•R HQWRQFHV \ " Z HV XQ VXEFRQMXQWR QR YDF˜•R GH " Z \ 6L " Z HV YDF˜•R HQWRQFHV \ " Z IJ

3RU ˜XOWLPR HO QXHYR HVWDGR GH FUHHQFLDV VHU˜D OD LQWHUVHFFL˜RQ R FRLQFLGHQFLD HQWUH ORV VHOHFFLRQDGRV

'H‘QLFL˜RQ 6HD XQ FRQMXQWR GH VHQWHQFLDV \ \ XQD IXQFL˜RQ GH VHOHFFL˜RQ SDUD /D SDUFLDO PHHW FRQWUDFFL˜RQ VREUH TXH HV JHQHUDGD SRU \ HV OD RSHUDFL˜RQ \WDO TXH SDUD WRGD

VHQWHQFLD Z \ Z %\ " Z 8Q RSHUDGRU ‡ VREUH HV GH SDUFLDO PHHW FRQWUDFFL˜RQ

" # # $ % & ' ()* # $ & ' $ & &

+ " $ & ! & &

, & - .

- & #'

/ & & #' ! #' " '

! " .

$

< Ÿ ; HQWRQFHV < C 

$N HV XQ FRQMXQWR NHUQHO \ VXV HOHPHQWRV VRQ ORV NHUQHOV GH $

/D IXQFL˜RQ TXH VHOHFFLRQD ODV VHQWHQFLDV D UHPRYHU VHU˜D OODPDGD XQD IXQFL˜RQ GH LQFLVL˜RQ \D TXH KDFH XQD LQFLVL˜RQ GHQWUR GH FDGD NHUQHO

'H‘QLFL˜RQ 8QD IXQFL˜RQ GH LQFLVLRQ   SDUD $ HV XQD IXQFLRQ WDO TXH SDUD WRGR  ”  $N —$$N

” VL ; $N HQWRQFHV ; ?  $N

! " # # $%& $'&

()* $+& , !

"

- # ! ! !! - # ()* " " .

/ - ()* " " N

0 1 2 L SDUD

WRGR HL

5HPXHYR + GH '

&DGD XQD GH ODV H[SOLFDFLRQHV HV XQ VXEFRQMXQWR GH $ HV GHFLU TXH FRQVLVWH GH FRQRFLPLHQWR SDUWLFXODU (VWD GLYLVL˜RQ GH ORV GDWRV HQ GRV FDWHJRU˜•DV SHUPLWH D XQ FRQ MXQWR GH GDWRV VHU QR UHYLVDEOHV (V GHFLU HO FRQRFLPLHQWR JHQHUDO QR IRUPDU˜D SDUWH GHO FRQMXQWR PLQLPDO +

(Q OD VHFFL˜RQ VLJXLHQWH VH DSOLFDU˜D HVWH HQIRTXH SDUD OD FRQWUDFFL˜RQ GH SURJUDPDV O˜RJLFRV HQ OXJDU GH EDVH GH GDWRV \FRQMXQWR GH FUHHQFLDV 'H‘QLUHPRV SDUD HO FDVR SDUWLFXODU GH SURJUDPDV O˜RJLFRV FX˜DOHV VRQ ODV H[SOLFDFL˜RQHV R NHUQHOV GH XQ KHFKR LQIHULGR SRU HO SURJUDPD \HO PRGR GH UHDOL]DU XQD RSHUDFL˜RQ GH FRQWUDFFL˜RQ EDVDGR HQ LQKDELOLWDU ODV GLFKDV H[SOLFDFLRQHV

&RQWUDFFL˜

RQ GH 3URJUDPDV

(Q HVWD VHFFL˜RQ GH‘QLUHPRV XQ RSHUDGRU GH FRQWUDFFL˜RQ JHQHUDO SDUD SURJUDPDV O˜RJLFRV 3DUD HOOR GHEHPRV GH‘QLU H[SOLFDFLRQHV \UHYLVLRQHV SDUD HO FDVR SDUWLFXODU GH SURJUDPDV O˜RJLFRV 8Q SURJUDPD O˜RJLFR VHU˜D GH‘QLGR FRPR XQ FRQMXQWR GH UHJODV GH OD IRUPD

3 2 '

*+,-. ' *.

* . *.

& " * . !$ /01 /2)1 3 " /41 /51 /61

(MHPSOR FRQVLGHUHPRV HO VLJXLHQWH SURJUDPD \ SDUD GH‘QLU VX VLJQL‘FDGR XWLOL]DUH PRV OD VHP˜DQWLFD ELHQ IXQGDGD GH SURJUDPDV O˜RJLFRV

¥ ¥ ¥ ¥

GRQGH HO VLJQL‘FDGR GH HV * . I J

([

SOLFDFLRQHV GH XQ /LWHUDO

7 $ 3 # " ,89:

8 # " " & ! $ & 3 " (

'H‘QLFL˜RQ 'DGR XQ SURJUDPD \ XQ OLWHUDO XQD HQ HV XQ WULSOH K 2 FL PLQLPDO GRQGH VH FXPSOHQ ODV VLJXLHQWHV FRQGLFLRQHV

” , — 3 2 — /LW3 ” F 6LJQ,

” F 6LJQ, > 2

OODPDPRV D WRGRV ORV OLWHUDOHV FODVLFRV TXH RFXUUHQ HQ DOJXQD UHJOD GH 3 /D H[SOLFDFL˜RQ HV PLQLPDO HQ HO VHQWLGR GH TXH QR H[LVWH RWUR WULSOH _{TXH FXPSOD ODV}

FRQGLFLRQHV GH DUULED \ _{\ (O FRPSRQHQWH GH XQD H[SOLFDFL˜RQ FRQWLHQH ODV}

UHJODV GHO SURJUDPD QHFHVDULDV SDUD LQIHULU \ HO FRPSRQHQWH FRQWLHQH ORV HOHPHQWRV TXH QR GHEHQ HVWDU HQ HO VLJQL‘FDGR GHO SURJUDPD GH PDQHUD GH SRGHU LQIHULU DO TXH OODPDPRV HO FRQVHFXHQWH GH OD H[SOLFDFL˜RQ 'H HVWD PDQHUD XQD H[SOLFDFL˜RQ VH SXHGH LQYDOLGDU FRQ OD DXVHQFLD GH XQ HOHPHQWR GH R FRQ OD SUHVHQFLD GH XQ HOHPHQWR GH HQ HO VLJQL‘FDGR GHO SURJUDPD

(MHPSOR

7HQLHQGR HQ FXHQWD XQ SURJUDPD \ VX VLJQL‘FDGR VH SXHGH GH‘QLU XQ SURFHGLPLHQWR TXH REWHQJD ODV H[SOLFDFLRQHV GH XQ OLWHUDO GDGR 'LFKR SURFHGLPLHQWR HV HO VLJXLHQWH

HQWUDGD VDOLGD

Q L

Q

L

L L L

L L

IDXOW QRW$

6HOHFFLRQR GH FDGD UHJOD $ ¥ % %Q XQ HOHPHQWR

GH VX FXHUSR %M WDO TXH %M 6LJQ3

DVLJQR D H HO WULSOH K, 2 /L

LQLFLDOL]DGR FRQ ORV VLJXLHQWHV YDORUHV , \ 2 I$J

SDUD FDGD %L

REWHQJR UHFXUVLYDPHQWH XQD H[SOLFDFL˜RQ K,

M 2M &RPS%ML

DVLJQR , ¥ , > ,

M \ 2 ¥ 2 > 2M

5HWRUQR H

6L QR H[LVWH QLQJXQD UHJOD FRQ HVD FRQGLFL˜RQ UHWRUQR H KIJ I$J /L

! " # !

(MHPSOR

"

!!

$

!!

! !

! !

! ! ! &#'( ! ) ) ) ! !

([

SO

LFDFLRQHV

5HYLVDEOHV

\ 5HYLVLRQHV

% ! * ) $ ! ! * * " !

‘QLFL˜RQ 'DGR XQ SURJUDPD 3 ORV UHYLVDEOHV GH 3 5HY3 HV XQ SDU K, 2L GRQGH , — 3 \ VL [ 2 HQWRQFHV QRW [ 6LJQ3

(MHPSOR 6L FRQVLGHUDPRV SRU HMHPSOR GH OD SRO˜•WLFD GH WRPDU D ORV KHFKRV GH XQ SUR JUDPD \ VXV DVXPVLRQHV SRU QHJDFLRQ SRU IDOOD ORV HOHPHQWRV UHYLVDEOHV GHO SURJUDPD 3 GHO HMHPSOR VRQ

5HY3 KIDJ IT FJL

D HV HO ˜XQLFR KHFKR GHO SURJUDPD \ ORV OLWHUDOHV T \ F QR WLHQHQ UHJODV HQ 3

'HMDQGR HVWDEOHFLGR TXH QR WRGRV ORV HOHPHQWRV GH XQ SURJUDPD VRQ UHYLVDEOHV VXUJH OD SRVLELOLGDG GH TXH OD RSHUDFL˜RQ GH FRQWUDFFL˜RQ QR SXHGD UHDOL]DUVH SDUD DOJ˜XQ OLWHUDO GDGR /D GH‘QLFL˜RQ GH UHYLVDEOHV GH XQ SURJUDPD QRV SHUPLWH GH‘QLU XQ RSHUDGRU GH VHPLFRQWUDFFL˜RQ HV GHFLU TXH OD FRQWUDFFL˜RQ 3 ‡ / VH UHDOL]DU˜D VROR VL VH SXHGHQ LQYDOLGDU WRGDV ODV H[SOLFDFLRQHV GH /

'H‘QLFL˜RQ 'DGR XQ SURJUDPD 3 GRQGH 5HY3 K, 2L 6HD H K, 2 FL XQD H[SOLFDFL˜RQ HQ 3 6L , ? , \ 2 ? 2 HQWRQFHV OD H[SOLFDFL˜RQ H HV QR UHYLVDEOH (Q FDVR FRQWUDULR H HV UHYLVDEOH

!

#

K, 2L K L

K, ? 2 ? L

% K L # & " ' ' $

KIJ I JL

” KIJ IJ L

” KIJ IJ L ” KIJ IJ L

&

# !

K L

" K _{L " ?}

?

%

KIJ I J L KIJ I JL

2SHUDGRU GH &RQWUDFFL˜

RQ

# & ‡ ‡ & " $ "

‡

( $ " ! $

( $ # " ! ) # $ ! ! )

# ¥ QRW $

(Q XQD VHP˜DQWLFD WULYDOXDGD SDUD WRGR SURJUDPD 3 FRQWHQLHQGR XQD UHJOD GH LQKLEL FL˜RQ SDUD XQ ˜DWRPR $ HO YDORU GH YHUGDG GH $ HQ WRGR PRGHOR GH 3 QR HV IDOVR < VL HVWD HV OD ˜XQLFD UHJOD SDUD $ HO YDORU GH YHUGDG GH $ HV LQGH‘QLGR HQ WRGRV ORV PRGHORV

/D RSHUDFL˜RQ GH FRQWUDFFL˜RQ VREUH XQ SURJUDPD 3 GDGD XQD UHYLVL˜RQ K, 2 /L GHEH HOLPLQDU ODV UHJODV SHUWHQHFLHQWHV D , \ SURYRFDU TXH ORV HOHPHQWRV GH 2 GHMHQ GH WHQHU HO YDORU IDOVR (V GHFLU GHEH DJUHJDU DO SURJUDPD XQD UHJOD GH LQKLELFL˜RQ SRU FDGD HOHPHQWR GH 2 (Q HO FDVR ELYDOXDGR GHEH DJUHJDU DO SURJUDPD XQ KHFKR SRU FDGD HOHPHQWR GH 2 9HDPRV SULPHUR HO RSHUDGRU GH FRQWUDFFL˜RQ SDUD HO FDVR GH VHP˜DQWLFDV WULYDOXDGDV GRQGH ODV UHJODV GH LQKLELFL˜RQ UHDOL]DQ XQ P˜•QLPR FDPELR HQ HO SURJUDPD

'H‘QLFL˜RQ 6HD 3 XQ SURJUDPD FRQWUD˜•EOH SRU / \ VHD K, 2 /L XQD UHYLVL˜RQ HQWRQFHV 3 ‡ / 3 ƒ , > 5 GRQGH 5 HV XQ FRQMXQWR GH UHJDOV GH LQKLELFL˜RQ U ¥ QRW U GRQGH

” U 2 R

” U HV OD FDEH]D GH XQD UHJOD SHUWHQHFLHQWH D ,

(MHPSOR (Q QXHVWUR HMHPSOR 3 ‡ S HV HO SURJUDPD

S ¥ U QRW T S ¥ QRW E U ¥ D E ¥ T F D

T ¥ QRW T F ¥ QRW F

FX\R VLJQL‘FDGR HV 6LJQ3 ‡ S ID U J (O YDORU GH YHUGDG GH T F HV LQGH‘QLGR \ SRU OR WDQWR WDPEL˜HQ OR VRQ ORV YDORUHV GH E \ S

'DGRV 3 XQ SURJUDPD \ / XQ OLWHUDO FO˜DVLFR

6L 3 HV FRQWUD˜•EOH SRU / VHD K, 2 /L XQD UHYLVL˜RQ REWHQJR XQ QXHYR SURJUDPD 4 3 ƒ , > 2 6L / 6LJQ4 UHWRUQR 4

HQ FDVR FRQWUDULR UHSLWR OR VLJXLHQWH KDVWD TXH / 6LJQ4

VL 4 QR HV FRQWUD˜•EOH SRU / WHUPLQR GLFLHQGR TXH 3 QR HV FRQWUD˜•EOH HQ FDVR FRQWUDULR VHD K, 2 /L XQD UHYLVLRQ GH 4

D 4 OH DVLJQR XQ QXHYR SURJUDPD 4 ƒ , > 2

(Q FDGD SDVR HO SURJUDPD QXHYR VH REWLHQH UHWLUDQGR ODV UHJODV GHO FRPSRQHQWH , \ DJUHJDQGR FRPR KHFKRV ORV HOHPHQWRV GHO FRPSRQHQWH 2 (VWR SURGXFH TXH VH HOLPLQHQ WRGDV ODV H[SOLFDFLRQHV HQFRQWUDGDV KDVWD HQWRQFHV 6L VXUJHQ QXHYDV HO SURFHGLPLHQWR FRQWLQ˜XD

(MHPSOR (Q QXHVWUR HMHPSOR 3 ‡ S HV HO SURJUDPD

S ¥ U QRW T S ¥ QRW E U ¥ D E ¥ T F D T F

HO VLJQL‘FDGR GH HVWH SURJUDPD HV 6LJQ3 ‡ S ID T F E U QRW SJ

&RQF

O

_X

VLRQHV

6H SUHVHQW˜R XQ RSHUDGRU GH FRQWUDFFL˜RQ SDUD HO FDVR GH SURJUDPDV QRUPDOHV H[WHQGLGRV 'LFKR RSHUDGRU HV GHSHQGLHQWH GH OD VHOHFFL˜RQ D SULRUL GH FXDOHV VRQ ORV HOHPHQWRV UHYLVDEOHV GH XQ SURJUDPD 'LFKD VHOHFFL˜RQ GH‘QH FXDQGR XQ SURJUDPD HV FRQWUD˜•EOH (O RSHUDGRU GH FRQWUDFFL˜RQ UHWLUD GH XQ SURJUDPD WRGDV ODV H[SOLFDFLRQHV SDUD HO OLWHUDO D FRQWUDHU 3DUD HO FDVR GH VHP˜DQWLFDV WULYDOXDGDV HO RSHUDGRU FXPSOH FRQ ORV SRVWXODGRV GH FDPELR GH FUHHQFLD GH ˜H[LWR LQFOXVL˜RQ \ PLQLPDOLGDG

5H

_I

HUHQFLDV

>@ & $OFKRXUU˜RQ 3 *¦DUGHQIRUGV DQG ' 0DNLQVRQ 2Q WKH /RJLF RI 7KHRU\ &KDQJH 3DUWLDO 0HHW &RQWUDFWLRQ DQG 5HYLVLRQ )XQFWLRQV -RXUQDO RI 6\PEROLF /RJLF ^

>@ & ( $OFKRXUU˜RQ DQG ' 0DNLQVRQ 2Q WKH /RJLF RI 7KHRU\ &KDQJH 6DIH &RQWUDF WLRQ 6WXGLD /RJLFD ^

>@ - GH .OHHU $Q DVVXPSWLRQEDVHG WUXWK PDLQWHQDQFH V\VWHP $UWL‘FLDO ,QWHOOLJHQFH ^

(!* : < .5 3 3 4 33 ; 2 = 2 , > = 4 #"6"$#"'" ; #&''

(7* : < 4 3 = ; !" 4 !6&$!&6 #&&"

(6* 5 %"%!

('* 1 1 , ? 3 4 3 = @4 ; > A 3 # 4 #")$#"7 1 ? B . #&&)

(&* <3 +@ 5 3 3 C 4 3 ; !" 4 0!&$066 #&&"