ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P...

28

Transcript of ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P...

Page 1: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

��������������� � ����� ������������� ��� ���������������! "�#�

$&%(' )�* $,+-.+/' )�*

021436587�9:7�36;�7=<>7�3@?A<>7CBEDFDGBIH@J�?K1EDGB LM1E9>N�BEDO74P@Q/RTS>B

UWVYX�Z(U#XWU[Z \^]`_ba.cedfa�gehjikhla�a�monbdfp2aqg[h`rsa.dtavuew.hlxW]lhZbZ:X�Z(U#XWU[Z yzh`]`{|xWdth`av}>~xa��f}tdt�[}f}��edfa��vnbp2�[]la.�f�ta

Z��#X�Z(U#XWU[Z �Mav}tdth`���ea�dthlavp�x|ueueh�x|uea�b�bX�Z(U#XWU[Z ��nbdtp�aq���eh`�e�taUb�#X�ZWZ:XWU[Z \^]�}�dta�x|�e�e]lh`�(xWwvhlnbu[hs_bavnbp�av}�dfhl���ea

Z

Page 2: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

������������=�4�����   �¡�¢��£W¤��j¥ �¢���f¦§�¨�4�¨©,ª^�v«�v�

¬®­§¯±°k²�³�´8µj´·¶¸³�´�°�¹Mº[°¼»¾½�´¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇzÉ u4ÊËxW]`_ba.cedtx�g[h@ikh`a�~a��euen��t�exWw.h`n2{baÌ}t}tnbdthlxW]la&Í�Îogehj�tnb]`h`}tn��f�ÐÏÑnÓÒ�Ô�g[nW}�x|}tn2g[h�eu4ÊËxW�e�[]lhl�.xWw.h`nbuea Í�ÕÓÍ Ö Í

Îo×¼ØtÙ[ÔÛÚÖ ÜÝ×¼ØtÙYÞ}�x|]la����eaÎOh�Ô�ÜÝ×jØ�Ù#ÞÆß�àÜáÙÈØ�×�Þ¡âÎOh`hãÔ�Üåä#×/æIç�ÙÈØÆè¨ÞÆß±äÆÜÝ×¼ØtèzÞYæ ç>ÜáÙÈØ�è¨Þ¡éAä�Ø�çqê�Ï/âÎOh`hlh�Ô�ÜÝ×jØ:ÜÝÙÆØtèzÞ�ÞYæ±ÜÝÙÈØ:ÜÝèØ�×�Þ�ÞYæ±ÜÝèØ�Üá×jØ�Ù#Þ�ÞÈßëUjìí u���xWdtnW]laWé[hl]AîËced�x|��ïWav}.ʼ~a�c[hl]lh`uea(x|dtaWé[xWu#}�h`�thlp�p�av}�dfhl�vneéY�tnðgegehl�·mOx�]TÊåhlgeavuY}th`}>~x/geh¼ñbxW�.nWcehTìò�ó.Àðôöõ@Ã8Ç ÎOh�Ô�Íß÷ÏùøÐ�vnbuúÜá×jØ�Ù#ÞÆßúUÐûs×jØ�Ù6ì í u[gehl���ehlxWp�n�üð�[a.�f}.Êýx|]l_bavced�x,îþx|csav]lh�x|u�x[Ê[�vnbu�ÿ ø ìÎOh`hãÔ Í!ß Ï � ß������¡Ø�� � �.nWu�Ü����ÌØ�� � Þ¸ß�� � é@h`uegehl�.x|}�n� � ì����[a.�f}.ÊË�[uehl�.x�dtav]�xWwvhlnbuea�g[av}�avdtp�hlu�x&hl]cedtxW��ïWaÌ}q���ea|é�dthl�f�saÌ}t}tn2x|]l]4c�x|�ta��t�va.]`}�x[é��.nWdtdth`�t�Ænbuegea�x|]l]�x/p2x|}tdthl�vaqgeh4{Wav}t}tnbdth���� � �� � � ��� ìÎOh`hlh�Ô��q��xW]`�th�x|�thex|]l_bavced�x���xW�t�fn��vh�x|}th`{|xqgeh`{Wa.u#}�x��eu4ÊËxW]`_ba.cedtx�geh�ikhla��vnbu2c[d�xW��ï|av}2ÜÝ×¼ØtÙYÞÈßë×ÈÙ¸à ÙY× ì�q�ea.�·}�n§~a/{bavdtn&hlu ��x|df}�h`�.nb]lxWdta��savdq]TÊåhlu[�thlavp2a�gea.]`]la/p2x|}tdthl�vh�� Õ�� é¼]FÊýx|]l_bavced�x����ea�dthl�f�e]`}�x2{ðhlavueahlu[gehl�.x|}�x �"!`Î#�@ØtÏ Ô#ì%$^Ê`~ax|g�av�tavp2�eh`n��eu4Êåhlue�v]l�e�fhlnbuea �'& �"!lÎT�ðØtÏ¸Ô �vnbu ���ùÚÖ �)(*�� � � Ø � � ÚÖ �+� (� � �-,ÎOh�{[Ô/Í ßúÏ/.�ß0�����ÌØ�� � Ø�� . �vnbuúÜÝ×¼ØtÙYÞÈßú×-1&Ù§h`]4�edfn�gen|}t}�n�{Wav}t}tnbdthlxW]la|ìÎo{[Ô�yzav]l]FÊËav�ta.p��eh`n��edtav�.a.g[a.u#}�a|és�fhk�snbu[_#x32���ùß546���Wé%2� � ß547� � é'2� . ß84 � � . é�üY�eh`uegeh

Ü92���ÌØ�2� � Þsß:2� . Ø Ü92� � Ø;2� . ÞÆß54 � 2� . Ø Ü92� . Ø�2��� Þsß84 � 2� � ,ijxW�t�vh�xWu[gen<4 Ö UjéenW}f}�avueh�xWp�n�]TÊËxW]`_ba.cedtx/geh>=zavhl�fa.uYcsavdt_@? . ìA ­�BDC:E�°>FÈ´HGIC�JKC °jºLJ[°MFȳNCO hlx&;�euen��t��x|w.hln�{Wav}t}tnbdthlxW]la�dfa(xW]`aWì í ]��t�en�ge��xW]`a�ÍQP�~a�]ln��f��xWw.h`n�gehe}��[}f}�h�]`a xW�e�e]`hl�(x|w.hlnWueh[]`hluea.xWdthÍÖ�Ï�ì%R@nW�t�thlxWp�n�g[aTS�ueh`dtaU � Í P ßWV>xW�[�e]lh`�(xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#}�h`�th`p2p�av}tdthl���[aYX[ZðÍ ÕÓÍ Ö Ï'\ ,�q�ea.�·}�n2�t��xWwvhln2xWp�p2aÌ}t}�a��vnbp�a�cexW�ta]V^�`_�a�Zcbed�fg\Mg[n:{Wah�`_�a¨ß5�`_K1i��a¨ß5�`_Kjk��a à���aIjk�`_.é��vnbu]�x��vnbu#{ba.u[w.hlnWuea����[a ÎOxWg&a.a.�fp2�[hlnYÔ� _�a Î#���ÌØ�� � ÔùßZ �ta Z^ßlbtØs��ßmf ,

Page 3: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

í uenb]�}�dfa Uon Í P ßpV>xW�e�[]lhl�.xWw.h`nbuehÆp2nW]`}�h`]lh`uea(xWdfhÆxW]`}ta.dtuexWu#}�hrqsZ#Í Õutvtvt[ÕÓÍw x`y zn Ö�Ï{\YØhlu��.�ehz]�x§�vnbuegeh`w.h`nbueaMxW]`}ta.dtuexWu#}�aM{ð�enW]^geh`dta����[a=hl] {|xW]lnbdfaMg[hDqAÎoÙ|�¡Ø ,},}, ØtÙ n Ô �.xWp/cehlx§�fa._buenÐ�faüY��xW]`�th�x|�th4ge�[a�{Wav}t}tnbdth¸Ù _ Ø�Ù a Î~b'�ßmfkÔ �tnWuen2�f�(xWpceh�x|}thTìO hlx �C�eu4ÊËxW]l_bavced�x�gehjikh`aWì O hkgeaS�ueh`�t�(x��eu4ÊËxW�e�[]lhl�.xWw.h`nbueaq]`hluea.xWdta� ZðÍ P Ö U � Í P�|� Îo×jØ�Ù�Ô6ßà � ÜÝ×jØ�Ù#Þ ,É uex�}�xW]la�xW�[�e]lh`�(xWwvhlnbuea^�thka.�·}�avuegea�hlu&p2nðgen��eu[hl�.n�xWg��eu4ÊËxW�e�[]lhl�.xWw.h`nbuea� Z U n Í P Ö U n�� � Í P���ea��tnðgegeh`�fmOx�]�x�]lav_b_ba� Î#X�1hqEÔKß � X�1hq�æ±Î8à�Z:Ô n X�1 � q¼Ø X§ê U n � P Ø�q ê U�� � P ,���>ÅÈõKÅÆó(ÃoÄYÃOÅÆÂjÀÈÇ � � ßëUjì� hlp�nb�·}�d�x|w.hlnWueaWì O h�x � êÓÍ�P�ì O h4�vnbue�fhlgeavdthlu[n

Í P Ö U � Í P Ö U .ÌÍ P� �|� �|�|�� xW�·}�x^{Wa.dth�S��(x|dta ���ea �|�L� ßúU2�vnbu �|� ß�X�1'qIÎOh`u/_ba.u[a.d�x|]la �|� �txWd>~xq�[u�x^�.nWp/cehluexWw.h`nbuea ]`hluea.xWdtageh4}�xW]lh4�[dtnðgenW}t}th4�tavp2�[]lhl�vhãÔ¡ìA\^]`]lnbdtx� ÎtÜ�Üá×jØ�Ù#ÞFØ�èzÞ�Ô ß à �|� ÎtÜ�ÜÝ×¼ØtÙYÞFØ�è¨ÞãÔ

ß à'X�1�q6ÎfÜá×jØ�Ù#ÞFØ�èzÞ�Ôß à'X¸ÎtÜÝ×¼ØtÙYÞ�ÔHqAÎoè�ÔEæ@qAÎtÜÝ×¼ØtÙYÞ�Ô�X¸Îoè�Ôß � X¸ÎO×jØ�Ù�ÔHqAÎoè�Ôkà � qAÎo×¼ØtÙ[ÔHX¸ÎOè�Ô ,�q�ehlu[gehTé

U�ß � ÎfÜ`ÜÝ×jØ�Ù#ÞTØtèzÞbæ±Ü�ÜáÙÈØ�×�ÞFØ�èzÞ#æ±Ü�Üáè�Ø�×�ÞTØ�Ù#Þ�Ô ß Î � X�1�q�à � q-1hX@Ô.Îo×jØ�ÙÈØ�è�Ôß � Î#X�1�qEÔ.Îo×jØ�ÙÈØ�è�Ô

a �|�|� ß±Ujì �ò�ó.Àðôöõ@ÃoÅöÀ�Àðó.À|�^�#ÃoÄYÃOÅjÇ O a]? . ß�������Ø�� � Ø�� . ée]�x�c�x|�ta�ge��xW]`a�gehY?�P. �tnðgegeh`�fmOx���� � � � ßëU[Ø� � � ßëU[Ø� �}. ßà%� � 1 � � ,� av}ta.dfp2h`u�xWdta�ä�ê�Ï �savd��.�eh ���� ��� � � � ß±U�Ø� � � ß5� � � Ø� �}. ß5� � .�Ø� �`��ß±ä|� � �6æIç�� � . ,~a^h`]�ge��xW]`a^gehÆ�eu4ÊËxW]l_Wa.cedtx�gehsikhlaWì � hldta h`u����eaqp�nðgen�üY�eav�f}.ÊýxW]`_ba.c[d�x/geh`�savuegea�ÎOxW]lp�a.u[n�gehÆhl�fnbp�nbd��S��fp2nYÔ g�x�ç[ì �

Page 4: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

��­[�l���®°M NF�°�³�´��·½¶/J[°¼³¡J�´�°pFÈ´8º[¶)�£¢� �´��·´O hlx Í�ߤ�C�eu4ÊËxW]l_bavced�x�gehjikh`aWì í ]k�tn|}t}�nW�t��xWwvhln�c¥[ß�Ü �Èئ�#ÞÆßWV�ÜÝ×jØ�Ù#Þ§Zb×jØ�Ù2êi�¨\~a,�eu4Êåhlgea.xW]la�Z �tnðgegeh`�fmOx=]lx=�.nbueg[hlw.h`nbuea�Ü©� ¥ ئ�#Þ�ª«�ëxWuexW]lnb_bx=x üð�[a.]l]lx=���ea&�(xWdtx|}t}ta.dfhlw.w.x=�eu �tnW}��}�nW_bdt�e�[�sn�uenbdfp�x|]laWìO hkgeaS�ueh`�t�(x|uen2g[�ea��fa.dfhla�gehk�fnW}t}tnb�t��x|w.hjuea.]k�fa._b�[a.u#}�a�p2nðgengZ�c¬ ß�Ü©�c¬£­ � ئ�c¬¦­ � ÞFØ �|® ßl�Èâ�g¯ ¬±° ß�Ü©�ÈØ£�g¯ ¬¦­ � ° ÞFØ �g¯ ®H° ߤ� ,O hknb�f�tavdf{ðhj���ea�� � ߤ� ¥ ß²�g¯ � ° ì¿,À#Á6¼ÃOÄYÃoÅÆÂ@Ã8Ç �=~a�dth`�tnb]`�eceh`]la¨�ta³� n ß±U��savd¨üY��x|]l���eaµ´sé�=~a�ueh`]l�ÆnW}�avuY}taq�ta³� ¯ n ° ß±U��Æa.d üY��xW]l���[aQ´Æìyzav]j�ta.�vnbuegen��(x|�tneé�� ~a/î�´¶� �f}ta.�4Ê��fa�h`uenb]�}�dtaD� ¯ n ­ � ° �ß±UjìiKÊËh`ue�.]`�e�th`nbueao�c¬%ªk� ¯ ¬H° hlp��e]lh`�(x����[a� ¬ � � ß�Ü � ¬ ئ� ¬ Þ>ªÜ©�Èئ� ¯ ¬H° Þsß²� ¯ ¬ � � ° ØüY�ehlu[geh4{|xW]la��Æa.d nb_bu[h)·kì)$ nbp�a��.nbu[�ta._W�ea.uew.x[éÆuehl]`�snW}ta.u#}�a¹¸�dth`�tnb]`�ecehl]`aWì$ nbp�a2av�tavp2�eh�Zs? . ~a�uehl]`�sn|}�a.u#}taWâ' � ~a�dth`�tnb]`�ecehl]`a/p2x&u[nbuöueh`]l�ÆnW}�avu#}�aWâeº�»4ÎT�WÔ�~a2�fa.p��e]lh`�.a�Îouenbu�.nWuY}thlavuea��[u4ÊËh`gea(x|]laquenWuM�edfnb�edfh�x#Ô¡ì� x|}�x��[u4Êýx|]l_bavced�x�gehjikhlao�6é�gehkg[aTS�ueh`�t�.x�|¼ ¯ n ° ßpV � êi� P Z � Îo×EÔAß±U�ûs×=êi�g¯ n ° \ ,\^]`]lnbdtxh� ¼ ¯ ®H° ßl�|® ßWV>U¹\&a� ¼ ¯ � ° ß�ν� ¥ Ô ¼ ß V � êi� P Z � Üá×jØ�Ù#ÞÈßëUûs×jØ�Ù¨\

ß V � êi�LP%Z �|� ßëUL\ß ïWa.d�Î � Z;�LP Ö U � �LP¡Ô ,

ijxW�t�vh�xWp�n��.nWp2a�a.�fa.df�.hlwvhln�hl]¾ùÀ�ôöô[¿4Ç � ¼ ¯ n ° ßpV � êi� P Z �|� ê U � � ¼ ¯ n ­ � ° \4ìÀ a.ueavuegen��vnbu#}�n�gea.]`]�x/�f�e�.�va.�t�fhlnbu[a�V>UL\ & � ¼ ¯ � ° & � ¼ ¯ � ° & tvtvt & � P éÁ Å7�>Å6Â#Â#¿K�|ÃoÅjÇ �Ð~a^u[hl]l�ÆnW}ta.u#}�a¨�taqaz�tnb]`n�fao�LP�xWp2p�av}f}�a¨�eu�xcexW�ta�Î�� � Ø ,`,}, Ø~� ø Ôq}�xW]`az���[a � � � ß±Ua � � n ê���� � Ø ,},}, Ø�� n ­ � Ø ´�à Z ,

V

Page 5: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ò�ó.Àðôöõ@ÃoÅ¼Ç i¼x2geaTS�u[hlw.h`nbuea�a]`a��[dtnb�edfhlaÌ}|~x2g[h@�euEÊýxW]`_ba.c[d�x2g[h@ikh`a�V��Ggehlp�a.u[�thlnWu�xW]laoÄ � �tnbu[n�g�x|}tag�xW]`]�x/�fa._b�eavu#}�a�}�xWcÆa.]`]�xKZ Ä � Ä P�Ü����¡Ø�� � Þsß àY� .Ü����¡Ø�� . Þsß àY� � � � � ß±U� � � ß±U� �}. ß5� � �� � � ß5� � .� ¥ ß0��� . Ø~� � � ¯ � ° ßÅ��� � � ¯ .H° ßÆV>U¹\

� ¼ ¯ � ° ßÅ��� � Ø�� � � ¼ ¯ � ° ßÅ��� � Ø�� � Ø~� . Ø� ¼ ¯ .H° ߤ� PÇ ­�È�F7¢�½�½�´-E�´oB�´8°\^�f�tnð�.hlx|}�x�xWg�nb_Wueh�xW]`_ba.cedtxqgeh�ikhla gehegeh`p2avue�th`nbuea¡S�u[h`}�x/~a��[u�_Wdt�e�e�Æn�geh�ikh`aWìI�q�eav�f}�x��vnbdtdfhl�t�Ænbu¹�geavuew(x,~aq�eh�~� �tavp2�e]`hl�va^üY��xWueg[n � ~aqueh`]l�ÆnW}�avu#}�aWéða�]�x�gea.�f�.dfh`{ðh�xWp�n/ueav]E�.xW�tn�xWue���[a��eh�~�2mOx|�.hl]`az�vnbu� ¯ � ° ßúU¼ì O hk�Ænbue_bx ×DÉ Ù/ßë×/æ Ù�æ �� ÜÝ×jØ�Ù#ÞTØ ×¼ØtÙ�êi� ,\^]`]lnbdtx ÎO×-É Ù�ÔMÉ è ß ×/æ Ù�æ �� ÜÝ×jØ�Ù#Þðæ èÐæ �� ÜÝ×�æ ÙÈØ�è¨Þß ×/æ Ù�æ è æ �� ÎtÜÝ×jØ�Ù#ÞYæ±ÜÝÙÈØ�èzÞ#æ±ÜÝ×jØ�èzÞ�Ô

ß ×DÉ�ÎOÙ³É èqÔ ,í uenb]�}�dfaWéA×-É U�ßú×,ß±U%É × a�x|ue���ea,×oÉqÎ8àz×sÔùßëU�ß Î8àz×sÔMÉ × ì í uMüY�eav�f}tn�p�n�genh�Cgeh`{Wa.u#}�x��eu_bdf�e�e�Æneé�hlu&_bavuea.dtxW]la�uenWu�xWcÆa.]`h�xWu[neìò�ó.Àðôöõ@ÃoÅ¼Ç É ��x|uegen��eu�x�c�xW�fa�geav]l]FÊýxW]`_ba.c[d�xgeh>=¨a.h`�ta.uYcÆa.df_Ê? . �Æa.d��.�[h�ÜË���ÌØ~� � Þsß�� . éÈxWcecehlxWp2n? . ßWV>ä|���4æIç�� � æÊÌT� . ZYä�Ø�ç�Ø�Ìqê�Ï{\�ß �� � ×,ß ÍÎ � Ï Ð� � Ñ� � � ÒÓlÔ�ÕÖ & �"!lÎ

�ØtÏ Ô ,À a.ueavuegen��vnbu#}�n����ea,× . ßúU¼é�`×�ßlØqæ ×/æ �� × � ß ÍÎ (ÙÏ ÐMÚ �� ÏÛÑ� ( Ñ� � ( ÒÓ

g�x��.�ehk�fa._b�[a �`× , �`ܨß5�`× P Ü ,R@nW�t�thlxWp�n�h`gea.u#}thÝS��.xWdta�hl]s_bdt�[�e�sn ÎãÏ . ØTÉWÔ��.nWu�]FÊËh`ue�th`a.p�aÞ . ß �� � ÍÎ � Ï Ð ¥� � Ñ� � � ÒÓ ZYä�Ø�ç�Ø�Ì�¥Æê�Ï Ô�ÕÖgenW}�x|}�n�geav]l]lx/p2nb]�}�h`�e]lh`�(xWwvhlnbuea gehkp2x|}tdthl�vhTì�Rùh�~�,hlu&_ba.u[a.d�x|]la��thk��x�]lxßkÅ7�|ô�àMÂ#¿ Ü � xWï|a.d��H$ xWp��ecsav]l]á�H=^x|�e�tgenWdfr6Þ

×oÉ Ù�ßë×æ Ùqæ �� Üá×jØ�Ù#ÞYæ �� � ÎfÜá×jØ:ÜÝ×jØ�Ù#Þ`Þ[àúÜáÙÈØ:ÜÝÙÈØ�×�Þ`Þ�Ô4æ²tvtvt�

Page 6: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

\^g�a.�fa.p��ehln[é qAÎãâfÔùß5�`ä × ß ÍÎ (*å�Ï å�ÐMÚ �� å � Ï;Ñ� ( å±Ñ� � ( ÒÓ ¸ æqAÎFU#Ôùß ÍÎ � Ï Ð� � Ñ� � � ÒÓ ,$ hj�tnbu[n��[dtnbce]`a.p�h4gehk�vnbu#{ba.df_ba.u[w(x2�fa��Cuenbu§~a�uehl]`�snW}ta.u#}�a|ì\^�f�tnð�.hlx|}�n,x|g�nb_bu[h@x|]l_bavced�x�gehAikh`a��6éE�|Ê`~a��eu�x2{|xWdfhlaÌ}|~x�geh`rsa.dfa.uewvh�xWceh`]la�ç=éÆ�tavp2�[]lhl�va.p�a.u#}�a��.nbuL�ueav�t��x�é^genW}�x|}�x§geh^�euex �f}�df�[}t}t�ed�x g[h^_bdf�e�e�ÆnúÎOhlu�p2nðgenö���[a ]la�nW�savd�xWwvhlnbueh¨geav]q_bdt�[�e�snö�th�x|uen]lh`�t�va�ÔÌì �/ßlèré£ç ßpV�{Wav}f}�nbdfh4}�xWue_Wa.u#}�hjxsç!uea.]`]TÊåhlgeavuY}th`}>~xc\ ,Ü , Ø , Þ �vnbdtdfhl�f�snbu[gea�xW]4cedtxW��ïWaÌ}^gehk�.xWp��ehE{baÌ}t}tnbdthlxW]lh4h`u#{Wx|dth�x|uY}th4x��th`uehl�·}�dtx[ìò�ó.Àðôöõ@ÃoÅ¼Ç � ~a�xW�f�tnð�.hlx|}�n�xW]k_Wdt�e�e�Ænê ßìë �+Ï å� ( � ZYä�ê�Ï P Ø{â ê�Ï�í���ea��.nbdfdth`�t�Ænbuegea�xW]`]Ehlu[�thlavp2ahVvî&ÚÖ äÛî�æ�â�\�geh4}td�xW�·monbdtp2xWwvhlnbuehsx�ï�uehkgeh®Ï�ìð ­�ñ|�D�)F7¢�½�½¶ ¶eFKJe¶e�®¶ ³NC/�8°O hk�vnbue�th`gea.dfh ò Î � Ô�ß V>ä|���jæ ç�� � æ3Ì� . ZYäÈØ�ç:Ø~Ì^ê�Ï . \

ß���� ÍÎ � Ï � Ñ� Ï � ÐÑ � Ð � ÒÓ[Ô ÕÖ & �"!lÎ

�ØtÏ Ô

ß VÛóê�ô .¦õ . ÎãÏ Ô�ZKó æ¤ó ä ßúU¹\ ,í ]k_bdf�e�e�Æn�ç�ß5ö Î � Ô�x|�t�tnð�.hlx|}�n&~a�_bavuea.dtx|}�n�g�xs�ø÷�ß�ù]ZÎ�ú ÷ Ô ä ß�Î#Ø^æ¤ó æ �� ó � æ²tvtvtýÔ ä ß�� ÷Kû ß�� ­K÷¸ ù ä ù�ßl� ÷ , � ­K÷ ß�� ® ß�Ø ,�q�ehlu[geh ö�Î � ÔKßÆV^ù ê�ô .¦õ . ÎãÏ Ô�Zcù�ä#ù�ßlب\YØ

_bdf�e�e�Æn2�vnbuMhE�ta._W�ea.u#}�hjgeh�moav}f}�h�ZÎOh�Ôµö�Î � Ô�uenbu§~a��vnbueueav�t�fn x��(xW�[��x�gea.]4mOx|}f}�n����ea,geaÌ}6ù�ß8ü�Zsì í u[mOx>}t}�hFéý ö Î � ÔKßpV^ù ê]ö Î � Ô¡Zbgeav}"ù�ß Z;\~a��eu��tnW}f}�nb_bdf�e�e�Æn�uenbdtp2xW]`aqgeh�ö�Î � ÔbìÎOh`hãÔ O h�x�þ�ßpV:Ù�êMÏ).µZ¶ÿ¡Ù§ÿ���Z;\Eì��ùa.g[dta.p�n����ea ý ö Î � Ô�~a�nbp2avnbp�nbdfmon�x|][üY�enbwvhla.u#}ta }tnb�Ænb]lnb_Whl�.n�þ ß�þ��LV:Ù�� àzÙÈØ Ù ê7þ�\ ,�q�ea.�·}�n2�t��xWwvhln�uenbuC~a��tavp2�[]lhl�va.p�a.u#}�a��vnbueueav�t�tn[ì O hE�.nbue�fhlgeavdthkh`]4�(xW�[�ehlnqsZÆÜåU�Ø(Z.ÞÆÖ �þ�Ø qAÎãâfÔùß�ÎT�^â@à�ZbØ�U[Ø�U#Ôc�xW�tx|}�n�ueav]k�e�eu#}�n Î8ZbØ�U[Ø�UbÔ êsþöìù\^]`]lnbdtx Ü qÆÞI�� UMp2avuY}tdtaÓÜ qÈÞ � � U�hlu��¶�ÌÎ �þ2Ô#ì

Page 7: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

��­�ñ|�D�)F7¢�½�½¶ ¢�³�´ JgCIFÈ´8¶� x|}�x2�eu�x2p�x|}tdth`�.a���üY��xW]l�fh�xW�fhTéÈhlu[gehl���ehlxWp�n��vnbuÊ� P ß � ä ]lx�}td�xW�f�snb�·}�x��vnbueh`�e_#x|}�x2geh��&ì¨\^ga.�fa.p��ehln[éb�ta�Ù ê Ò6øö~a �eu/{baÌ}t}�nWdta��.nW]lnbueuex[é#xW]`]lnbdtx �OÙÆØtè ßúÙ P è ~a h`]��edfn�g[nW}t}tnq�t�.xW]�xWdfa �f}�xWueg�x|dtg�t� Ò6ø®ì É u�x�p2x|}�dfhl�.a �&é��CÕi� é��.nbu[�ta.d·{|x2üY�ea.�·}�n��edtnðgenW}f}�n��ta�a��tnW]ln��ta�OÙÆØtè ß����zÙÈØ~�^è ß Î#�zÙ�Ô P Î#�zè�ÔKß÷Ù P Î#� P �qÔ·è�Ø ûsÙÈØ�è�Ø�.h`ne~a�� P �ëß�Ø6ìe�q�ea.�·}(Êånb�t�fa.d·{Wx|w.hlnWuea��Ænbd·}�x�xW]l]lx/geaTSeuehlwvhlnbuea�g[a.hk_bdf�e�e�ehkp2x|}�dfhl�vh�xW]`hó/Î#�4Ô Zýß Vø� ê�ôúø^õ ø�ÎOÒ®Ô�Zc� P �ëßlب\YØý ó/Î#�4Ô Zýß V ����������������� a§geaÌ}7�ëß�Z;\ ,ika�xW]l_Wa.cedfa^gehkikh`a^�.nWdtdth`�t�Ænbuegeavu#}�hE�fnbuen�geaÌ}�a.dfp2h`u�x|}ta^g�xW]s�.nbp��Ænbdf}�xWp2avu#}�n/h`uKS�ueh�}�a.�fhlp2xW]la h`u �euhlu#}tnbdtuen�geav]l]FÊËh`gea.u#}�h�}|~x[ì O a��ëßlØqæ�â8×�æÊö νâ � ÔbéÈxW]l]`nbd�x�%� P ß�Ø�æëÎO×æ × P Ô±âkæÊö Îãâ � ÔÌØ

geaÌ}7�±ßZ æëÎo}tde×sÔHâ4æ3ö νâ � ÔÌØüY�ehlu[geh »kÎã�kÔÛß V:×Mê�ôúø^õ øÈÎFÒ®ÔNZ#×�æ × P ßëU¹\Yغ�»EÎ#�kÔ�ß V ����������������� a�}td�×,ß±UL\ ,~� mOxW�vhl]`a^{bavdthÝSe�(xWdfa����ea,×jØ�Ù�ê�º�»4Î#�4Ôø¸ ÜÝ×¼ØtÙYÞÈßë×ÈÙ�àÐÙY×�ê�º�»EÎ#�kÔbìò�ó.À|�^�#ÃoÄYÃOÅjÇ ý ó�ÎF�bÔùß��� ä ç

à ç ä�� Z��Ýä�� � æ�� ç�� � ßZ���ì O a._b�ea����ea ý ó/ÎT�bÔ2~a�nWp2nða.nbp�nbd·mon�xý . ßpV:Ù�ê�Ï/��Z¶ÿ¡Ù§ÿ ß�Z;\Eì¾ùÀ�ôöô[¿4Ç ika�xW]l_bavcedta�g[hkikhla-º�»EÎF�bÔÌرº ò Î � Ô��tnbu[n2h`�tnbp�nbdfmoa|ì� hlp�ì O hk�va.df���ehj�eu�x�c�xW�faCÎ�� n Ô�geh º�»EÎF�bÔ����ea��tnðgegeh`�fmOxÜË���ÌØ�� � Þsß5� . Ø -Ì^�savdtp/��}�xWwvhlnbuehE�.hl�v]lh`�.h ,\ üY�ea.�·}�n��f�.nb�Æn��thk�.nWue�th`gea.dfhluen�]la�p2x|}tdthl�vhE�eavdtp�h`}th�xWueazgeh>RAx|�e]lh! �ùß � U ZZ U � Ø ! � ß � U à'bb U � Ø ! . ß � Z U

U à�Z � ,� xW�·}�x�geaTSeuehldfa�� n ßà �� b ! n ê�º^»4ÎF�bÔbì �í uenb]�}�dfaWé2Î�� n Ôö~a&�eu�x§cexW�ta&nbd·}�nbuenWdtp2xW]la dfhl�f�saÌ}t}�n§xW] �[dtnðgenW}t}tn§�f�(xW]lxWdta�àq�>}td�Îo×ÆÙ�Ô&�t�lº�»4ÎT�bÔ � ßÏe.4ì O h{S��t�fhD��ê ý ó�ÎF�bÔbì À avuea.ueg[n �.nbu#}tn ���ea�� P ß*��­ � a����ea�p2x|}�dfhl�vh��thlp�hl]`h ��x|ueuen ]lx�f}ta.�f��x,}�d�x|�.�.hlx[é4x|ue���ea Îã�N� n � P Ô�~anbdf}tnbuenbdfp�xW]`aWì�ijx�p2x|}tdthl�vahù�g[a.]6�.xWp/cehlxWp2avu#}�n�g[h6c�xW�fa���x�.nWp2�ÆnbueavuY}th ù n � ßà^�>}�d(Î#�Y� n � P � � Ô ,ò�ó.À|�^�#ÃoÄYÃ·Ç ÎOhãÔ³ù ä ù�ß�Ø6âÎOh`hãÔ ê ZÛ�ëÚÖ ù�~a��euMnWp2nbp�nbd�S��tp�n ý ó/ÎT�WÔ®Ö ö Î � ÔbâÎOh`hlh�Ô í p ê ß ý ö Î � Ô�a�ïWa.d ê ßpVøØÆØ.à%ب\4ì "

Page 8: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�q�ehlu[geh ý ö Î � Ô � ß ý ó/ÎT�bÔ#�%$ � ~a�nWp2nða.nbp�nbd·mon�xý . �%$ � ßWV:dfav}f}�a����ea���xW�f��xWuen2�savd U�h`u Ï � \qßúÏ'& . ,�q�ea.�·}�n�mOx|}t}tn�_Whl�e�·}�hÝSe�(x/]�x�geav�t�vdthlwvhlnbu[a�g[h ý ö Î � Ô��vnbp2a�h`]4üY�enbwvhla.u#}ta �þ ì � xW�f}�x�h`gea.u#}thÝS��.xWdta�þ�.nWuM]lx,îË�(x|]lnW}f}�x[Ê�hlu[moavdthlnWdtaqgeh ý . éea(7þ ß ý � �vnbuM]FÊËavüY��x|}�nWdtaWì

Page 9: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�*) +!�v�#,/«�j���.-0/« �213-ù�546-7-84M�k�29�¤�¥ : ���;1<1@�= ­[�l���®°M NF�°°p�eF7¢�½�½�´2´·³�E�´·» °¼³qºe´8¶¸³q° Ç$ nbp�a�dth�x|�t�t�[uY}tn2g[a.]l]`aqgeaS�uehlwvhlnbu[h4hlu>�Zbé��fhk�.nbu[�thlg[a.dthk]lx���>ÅÈõKÅÆó(ÃoÄYÃOÅÆÂjÀÈÇ \ p2avuen�geh@hl�fnbp2nWd£S��fp2neéÈ�vh@�fnbuen � xW]`_ba.c[dta�geh6ikhla�ueh`]l�ÆnW}�avuY}thjhlu=geh`p2avue�th`nbuehVeé�nb�f�thlx

ÿ � Ø ÿÛ��?5? . Ø Ä � Øhk�.�[hkge��xW]`h4��xWueu[n2c�x|�thk�Æa.d �.�eh

ë � � n ß±Uû¶´ Ø

���� ��� � � � ß±U� � � ß±U� � . ß±U� � � ß5� � . Ø���� ��� � � � ßëU� � � ßëU� � . ß�� � �� � � ß�� � . ,� hlp�nb�·}�d�x|w.hlnWueaWì@\^cecehlxWp�n��.nb�·}�dt�[h`}�n��euex��fa.dth`aV>U¹\:ª ïWa.d � ß�Îã� ¥ Ô�¼5ª¤�g¯ � ° ¼ & � P ,@ ]lhja.]`a.p�a.u#}�h � geh�� ¼ ¯ � ° �fn�geg[hl�fmOx|uen �|� ê U � ï|a.d � éEg[h@�v�ehA�fa._b�ea���ea�geh`pIï|a.d � Ã��jì í u[nb]`}tdtaWé

a.�fhl�·}�a��eu�x�c�xW�faCÎ�� n Ô�geh)� P }�xW]la����ea�� � Ø�� � ê ï|a.d � a � � n ê U � ��� � Ø ,`,}, Ø�� n ­ � ´�Ãú�jìe�q�eh`uegehFé� � . ê U � ��� � Ø~� � ßÅ��� � � Ø� �`�zê U � ��� � Ø~� � Ø��}. ß���� � � Ø~� � .�Ø�� � . ,O a � � . ß�Ujé6~a�mOxW�.h`]la��(xWp/c[h�xWdfa�]lx�c�xW�fa/hluMp2nðgen ���ea � � � ê¤��� � . ì����[hluegeh�� � ß ÿ � Î8ZT� �·}�a.��ÔznÿÛ�3?5? . ÎF�ø� �·}�a.��ÔÌìK\^uexW]lnb_bxWp2avu#}�a��Æa.d�hl]E�(xW�fn � �G�f}ta.�4ì �í ]Æ_bdt�e�[�sn�gehÆijh`az���[a^�.nWdtdth`�t�Ænbuegea^x=ÿ � ~aMÎoÏI�ðØ¡æ�Ôbì É ��xWueg[n/hl]��fnW}t}tnb_bdt�[�e�sn($¡�ðéY�thÆ�e�@~n�monbdtp2xWdtahl] üY�enbwvhlavuY}ta@è � ß�Ï � �%$ � é �tavp2�edfa��eu�_bdt�e�[�sn§xWcÆa.]lhlxWueneì ~� xWue���eaM�euenö�f��xWwvhln§}tnb�Ænb]lnb_Whl�.n�.nWp2��x>}t}�n[éenbp�a.nbp�nbdfmon/x ý � Õ ý � Õ ý � Õ ý � ìA _bueh#�e�[uY}tn^geh"è � ~aù�eu�]�x|}ta.dtxW]laKgeav]b}�h`�snCB6æD$ � üY�ehlueg[hrè � x|p2p�av}f}�aK�.nðnbdfgehlu�x>}�a�νî � ئî � ئî . Ø£î � ÔgeaS�ueh`}ta�xW]`p2avuen�geh@�eu�x�}td�xW�f]�xWwvhlnbueaEB ÚÖ B�æ ¿ ì�iKÊåhlue�fhlavp2a�geh@}t�[}t}th@üY�eav�f}thK�thl�·}�avp2h ÎO�eu[n �savdnb_bu[h ¿ êF$¡�WÔ �thk���ehlxWp2x�îþx|}t]�xWu#}taWÊ�ì$^Ê`~a��euMgehl�f�.nbdf�tn2xWu�xW]`nb_bn��Æa.d ]la�xW]�}�dfa�xW]l_bavcedta|ì í ]¼_Wdt�e�e�Æn�ç"���[a��vnbdtdfhl�t�Ænbueg[a�xöÿÛ�3?5? . �ex�]lxmonbdfp�xMÏ�Õ Þ . é�p2x/�e�@~n�a.�t�fa.dfa�t�vdth�}t}�n

ç ß ���� ��� ô�ÎGB¼Ô�Zþß HIIJ Z U U î �U Z î � î¨�U U Z î7.U U U Z

KMLLN Zoî _ ê=Ï Ô ��Õ��Ö ,ijx�]`a._b_Wa�geh4p�nb]`}ta.�e]`hl�(x|w.hlnWuea~aô�Î ¿ Ô£ô�ÎOBj ô ÎFä � æ@î � Ø�ä � æ@î � Ø�äc.6æ@î7.(Ø�äÛ�6æ�î¨�6æIä � î7.ÌÔ

ß ô Î ¿ æPB�æIä � î7. À � ÔÌØ ¿ êF$¡� ,Q

Page 10: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

O aMhluegeh`���eh�x|p2n �vnbuR$ � hl]��fnW}t}tnb_bdt�[�e�sn§gehl�f�.dfav}�nÆV�ô�Î ¿ Ô�ZYäc_¼êF$%\Èé �snW�t�thlxWp�n§�vnbue�th`gea.dtxWdta�hl]üY�enbwvhla.u#}ta S

ßT$ �VU ç�ßW$ U ÏëÕF$ .XU Þ . ß ý � ÕF$ .VU Þ . ,É u�a.]`a.p�a.u#}�n�gehS~a��[uM]lx|}�avd�xW]`ahV�ô�Î ¿ Ô¦ô ÎOB¼Ô{Z ¿ êF$)�T\&�vnbuPB¤S��t�tx|}�neì

�MavuY}tdtahç¢~a�nWp2avnbp2nWdfmon�xMÏ/�ké���>ÅÈõKÅÆó(ÃoÄYÃOÅÆÂjÀÈÇ $ . U Þ . ~a��eu ý � ��S�ced�x>}�n��t�uè � ß ý � Õ ý � ì� hlp�nb�·}�d�x|w.hlnWueaWì��q�ea.�·}�n�{ð�enW]�gehldfa¨���[azav�thl�·}�a¨�eu4ÊËxW�e�e]`�(xWwvhlnbu[aC�<ZY$�. U Þ . Ö è � �Æa.dù�.�[h���­ � Î[ZÈÔ~a��tavp2�edfa�nbp2avnbp�nbdfmon�x ý � ìùiùÊËxW�e�[]lhl�.xWw.h`nbuea\�~a�hluegen|}t}�x�g�x]ô�ÎOB¼Ô®ÚÖ Îãî � ئî7.¡Ôbì)�q�ehlu[gehTé� ­ � Î]ZÆÔKßWVvî � æIä � æ ä � î . Zsî7.�~a³Se�t��x>}�n�p2nðg�$Q\_^ ý � ,`�­�aq¶eFÈ» °pE�´cb/°>F�°¼³qµj´�C/�·´�ºK¢ d °feiKÊËav�th`�f}�avuew(x�gea.]`]la��vn�nbdfgehluex|}�aq�vhk�savdtp�av}f}�a�gehka.�·}�avuegea.dfa�]lx�geaTS�u[hlw.h`nbuea�geh � ì¿&ÃOgùÀ|�:Àð¼ÄYÃ㿨ÂoÀPh¼Ã�à@Â>¿�i±à¼ÂjÄYÃOÅÆÂjÀÆÇ O h Se�t�th;Z êmç=ì � �ea�mo�eu[w.hlnWuehKgeh`rsa.dfa.uewvh�xWc[hl]lh ÎOueav]K�tavue�tnj0k Ô¨u[a.]l]`a�{Wx|dth�x|cehl]`heî n ��xWu[uen�]`n2�·}�a.�f�tn=îË_ba.dfpMÊÈh`ulZ �fa/�.nbh`ue�.h`genbuen��t��üð�exW]l���ea�hlu#}�nWdtuen�gehmZ¸âhlu[gehl���ehlxWp�n/üY�ea.�·}�x2�v]�xW�f�ta�gehkavüð�[h`{|xW]lavuew(x��vnbuúÜonÈÞ¡ì)R¼nbueavuegenp ßWV�ÜqnÆÞ§ZrnAÎ[ZÆÔKß±UL\p � ßÆV�ÜontsYÞ§ZrnAÎ[ZÆÔKß±U�ØusEÎ]ZÆÔ6ß±U¹\YØ]ln��t�exWw.h`n�{Wav}t}tnbdthlxW]la�üY�enWw.hlavu#}�a�è Pv ß p � p � �fhj���eh�xWp2x�]ln,îË�t��xWwvhln��.nW}�xWue_bavu#}�aWÊsxsç h`uwZ ì O axn~a��eu�x�mo�euewvhlnbuea�geaS�ueh�}�x�hlu&�eu&hlu#}tnbdtuen�geh7Z é��fhkgeaTSeuehl�f�(x� n]Zþß�Üon àyn6Î]ZÆÔ8ÞYæ p � êiè Pv ,O hk�e�¼~n�{Wa.dth�S��(x|dta;ZÎOh�Ô � Ì ßëU=�fa�ÌM~a��vnb�f}�xWu#}�aWâÎOh`hãÔ � Îznts[ÔKß � n{sEÎ]ZÆÔ4æ�nAÎ[ZÆÔ � sKâÎOh`hlh�ÔNè Pv ��x�geh`p2avue�th`nbueaqV�a��eu�x�c�xW�faCÎ � î � Ø ,},`, Ø � î¨�ÌÔbì\^]4{|xWdfh�xWdfa�geh<Z �fhk�e�@~n��t�vdth�{ba.dfa��fa.p��e]lh`�.avp2avuY}ta � Îznts[Ô6ß � n{s�æ�n � s6ì �R@avd,�.nb]`]lav_#xWdtaMüY�ea.�·}�n gehl�f�.nbdf�tnÐ�vnbu�]�xö�·}�df�[}t}t�ed�x geh-�±ß ÿÛ�;?ì? . é¨�th^�[�@~nÐhlgeavu#}�hÝSe�(xWdfaWé �savdüY��xW]`�th�x|�th<Z¸é+è Pv ç!�.nbuu� P �Ænbueavuegen� � n ß � î n Ø ´�ßZbØ¡��Ø

�Ø�`� ßà � î¨�ùæ@î � � î7. ,O av_b�ea����ea

ÎOh�ÔA]la�ZT�Tmonbdtp�a�� n �tnbu[n�h`uY{|xWdfh�xWu#}thedth`�t�Æav}t}tn�xW]l]lx^p2nW]`}�av�e]lh`�(xWwvhlnbu[a¸g�x��eu�üY��xW]l�fh�xW�fhea.]`a.p�a.u#}�n³S��f�tnô�Î ¿ Ô ê]ç x��th`uehl�·}�d�x¹Z� î n ÚÖ � ÎFä n æ�î n Ôùß � î n Ø ´�ß�ZbØ¡��Ø�Ø

à � î¨�bæ�î � � î7.�ÚÖ à � ÎOäÛ�bæ�î¨�|æ�ä � î7.¡Ôjæ±ÎFä � æ�î � Ô � ÎOä|.>æ�î7.¡Ôùßà � î¨�Wæ-î � � î7. ,�q�ea.�·}�n2�t�eh`a._#x��Æa.dt���4~a�]lx/�t�.av]`}�x�geh7ZÐuenbuC~a�hlp��snWdf}�x|uY}taWìZ�U

Page 11: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ÎOh`hãÔ¸]`a�a.üY��xWwvhlnbu[hk�savdQ�LP/�tnbu[n2�vnbue�th`�f}ta.u#}�a��.nbu�]�x/�vnbuegeh`w.h`nbuea � � ß±U>Za|ìË_eì � � � ß � Î � î � æ@î � � î . ÔKß � î � 1 � î . ß5� � . ,A _bueh U n � P �.nWdtdth`�t�Ænbuegea/xWgÓ�euÓ�tnW}f}�nb�f��xWw.h`n,geh6geh`p2avue�th`nbuea�S�ueh`}�x ge]l]`n �t�exWw.h`n�| n g[hA}��[}f}�a�]`a´§�Tmonbdtp�aq���ea�{|xWdthlxWuen�h`u�p�nðgen j k g�x��e�eu#}�n�hlu&�e�eu#}tngZj k Ö | � Ö | � Ö | . Ö} } }� P Ö U � s P Ö U .£� P Ö

\^g�a.�fa.p��ehln[é � î � ~a��euMav]lavp2avuY}tn�geh;| � p2x/uenbuu�LP�ì���>Å�~+ÂOÀðô[¿EÇ�À dfn�{Wx|dta�mo�euewvhlnbuehE�.nbp��e]lav�t�fa�� � Ø�� � }�xW]la����eaÎOh�Ô � � � 1 � � � 1 � � � 1 � � � �ßëU�âÎOh`hãÔ í ]E�tnW}f}�nb�f��xWw.h`n]� � � � Ø � � � geh¶� P� ~a�h`u#{Wx|dth�x|uY}taWì

ijx/�tav�.nbuegex��vnbuegeh`w.h`nbueaz{ð�enW]Egeh`dta^���[a�hl]Æ�tnW}f}�nb�f��xWw.h`n&~aq_bavuea.dtx|}�n/gexW]l]`a^�.nWp/cehluexWw.h`nbuehÈgehe� n �vnbu�.nðaTï��vhla.u#}th¼�vnb�f}�xWu#}�hFìÉ uex��fnb]l�ewvhlnbu[a;Z � � ߤî � æ�b�î7.�Ø� � ߤî � æ�b�î¨�ùæ �� Îãî � Ô � ,�q�ea.�·}�n2hlp��e]lh`�(x����[a� � � ß5� � æÊb��}.(Ø� � � ß5� � æÊb�ηà%�`�Kæ@î � � î7.�Ô¼æ@î � � î � ßl� � à@b��`�Kæ@î � Î�� � æÊb��}.ÌÔÌØüY�ehlu[geh³� � � � Ø � � � ß0��� � à@b �`�:Ø�� � æÊb��}. ì��­���JKF7¢%J¹Jg¢NF�°��k¶ » ½��·°jº�º[°ºg¢����·°WC/���®°M NF�°ÅE�´DB�´·°O hlxs�ö�eu4ÊËxW]l_Wa.cedtx2geh¼ikhla��t� Ï�ìijx��.nbp��e]la���hÝS��.xWw.h`nbuea�� � ~a�]FÊýxW]`_ba.c[d�x�geh¼ijh`a��f��Ò �vnbu=�f��xWw.h`n{baÌ}t}tnbdthlxW]lao��æÊb#�Ca�h`]4cedtxW��ïWaÌ}^av�f}�av�tn2hlu,p�n�gen=Ò'� ]`hluea.xWdta|ì¿,À#Á6¼ÃOÄYÃoÅÆÂ@Ã8Ç O h�x �C�eu4ÊËxW]`_ba.cedtx�gehjikhla��t� Ï gehkgeh`p2avue�th`nbueaq��x|dthTìÎOh�Ô É u�x&�f}tdt�[}f}��edtx,üð�exW�thù�.nWp2�e]`a.�f��xCÎO�vìËüÈìå�WìýÔ �t�¤�ú~a��eu4ÊËxW�e�e]`hl�.xWw.h`nbuea/]`hluea.xWdtal�²Z"��Ö � }�xW]`a���ea�� � ß à�ZÆì � üY�eh�{Wx|]la�xW]l]FÊËav�thl�·}�avuew(x�geh@�[u=�tnW}f}�nb�f��xWwvhln���geh�� � }�xW]la����ea�� � ßÆ��? �&â/��~a]TÊËxW�[}tnb�t�exWw.h`n V:×�êi� � Z��4× ß�bTק\qßWV:Ùà[b#�4Ù�Z#Ù�êi�¨\ÎM��{ðhla.u[a�av�f}ta.��x2x � � hlu&p�n�gen�Ò%� ]`hluea.xWdta(ÔÌìÎOh`hãÔ O a²� ~aÓ�euë�tnW}f}�n#xW]`_ba.c[d�x[éq�vhlne~a�Ü���Ø~�zÞ ª �&é�]�xÐ�·}�dt��}t}��[d�x����th����eh�x|p�xÐhlu#}ta._bdtxWcehl]`a n�.nWp2�e]`a.�f��x[ì®ijx��f}�df�[}t}t�ed�x����thk���ehlxWp�x�x|csav]lh�x|u�x/�taCÜ©�Ø~�¨ÞÆß±Ujìí ] ced�x|��ïWav}2uenbu �WÊåa.u#}td�x§h`uëÎOhãÔ¡éù���ea§~a&�eu �.nWue�.aÌ}t}�nC{|xW]lh`gen �savd�üð�exW]l�fh�xW�fh �t��x|w.hln {Wav}t}tnbdthlxW]la,g[hgeh`p2avue�th`nbuea���xWdfhTì

ZbZ

Page 12: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ò�ó.Àðôöõ@Ã8Ç ÎOh�ÔCgeh`pÊ��ß �kì A _Wueh�xW]l_Wa.cedtx geh�ikhla=dfa(xW]`a geh�gehlp�a.u[�thlnWueaÓ�÷~a hl�tnWp2nbd·mOxÐx�ÿ �nb�e�[�edtai � ì O h�xs�Ð�eu�x�}�xW]`a/xW]`_ba.cedtx2�vnbu c�xW�fa@�����¡Ø~� � ìq\z]l]`nbd�x geh`p���� � ß��jì É u �tnW}f}�nb�f��xWw.h`n�ëß������|æ�47� �� g[aTS�ueh`�t�va��eu�x��f}tdt�[}f}��edtxqüð�exW�th��vnbp2�[]la.�f��xqüY��xW]`nbd�x 4u�ê�Ï�ì ~� xW�[}tnbp2x|}�h`�(xWp�a.u#}�ahlu#}ta._bdtxWcehl]`aqa�xWcÆa.]lhlxWu�x[ìÎOh`hãÔ�gehlpÊ��ßúV@ì � x|}�x��eu�x��.ìåüÆìå�WìÈ�f� Ïe�4é�a.�th`�f}ta��[u�x�c�xW�taCÎ#� n Ô�dfhl�f�saÌ}t}�n�xW]`]�xüY��x|]la��ß � U à'ØØ U � Ø�.h`ne~aw�¶���®ß5� . Îc¸��¶� . ß�à%���>Ô aw�¶� � ß5� � Îc¸��§� � ßàY� � ÔÌì O a6� ~a��eu�x�p�x>}�dth`�.a�h`uY{Wa.d·}�hlc[hl]laÎO�vhlne~a|é��eu�a.]lavp2avu#}�n�geh�ç0�¨ÎOVeØfϸÔ|Ôq���ea��.nbp�p/�[}�x/�.nbu@� xW]l]`nbd�x� ß � � �

à�� � � a��.nbdfdth`�t�Ænbuegea�x � æÊbz� ê�ô � õ � ÎFÒ®Ô ,Á Å7�>Å6Â#Â#¿K�|ÃoÅjÇ iKÊåhlue�fhlavp2a6� � geav]l]la^�.ìåüÆìå�WìÈ�f� Ï/�C~aV������ ­ � Z���êsç0�zÎoVeØtÏ Ô�\ �ß çD�¨ÎOV[ØtϸÔçD�¨ÎT�ðØ�ÒùÔ ,O a���ßÿ � ÎO�.nWu��eu�xq�t�va.]�}�xqgeh�c�xW�ta(ÔÌé#nb_Wueh[av]la.p�a.u#}tnqgeh<� � g[av}�avdtp�hlu�xz�eu�xq�f}tdt�[}f}��edtxq�.nbp��e]`a.�t�txxWcÆa.]`h�xWu�x/�f�u�6ìO hlx ��ßÿÛ��?�? . �.nWu��[u�x�cexW�taÓÎ#� n Ô��Æa.d��v�eh�Ü�� � Ø�� . ÞÆßàY� � ì®\z]l]`nbd�x�[uMav]la.p�a.u#}tn�geh;� � uenbuC~ahlu#}ta._bdtxWcehl]`aqhlu&_bavuea.dtxW]la|ìK\^g�a.�fa.p��ehlneé'���fnb�ed�x��.nWdtdth`�t�Ænbuegea�x�úß������@à@b�� . Ø7� � à@b�� � aCÜ����6àub�� . Ø�� � àub � � Þsß²b � � �êi��ì í u#{bav�.a|é� ß������kæ�b � � Ø7� � à@b � . geaÌ}�a.dfp2h`u�x=�eu�x �·}�dt��}t}��[d�x=�.nWp2�e]`a.�f��xÓxWcÆa.]lhlxWu�x[ìÓijx=�f�.a.]�}�x=geavh �tav_bueh�uenWuú~a�hlp��snbd·}�xWu#}taWé6p2x_b��x|d�xWu#}�h`�t�va����[a(� ¼ ~a�]ln��t�exWw.h`n�� � � � Ø � � � x|]l]�x�S�uea�gea.]`]�x/�fnW}t}tnb�tavw.hlnWuea��edtav�.a.g[a.u#}�a|ì¬7�z­<BoC�G CIFÈ´·°¶J<�C E�´Dñ��uCKº¹C3�uCO hlx Þ �. ß

��� �� HIJ Z � � � .U Z � �U U Z

K LN Z�� n ê=Ò Ô �Õ�Ö$���ß��� �� HIJ Z ä � äc.

U Z ä �U U Z

K LN ZYä n êF$�Ü©bFÞ Ô �Õ�Ö� ß $ � U Þ �. ,Z:�

Page 13: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�"~a2�euex�{|xWdth`av}>~x��vnbp2�[]la.�f��xKZ�xWp�p2aÌ}t}ta�g[a.hù�th`�f}�avp2hKg[h®�vn�nWdtgeh`u�x|}�a�]`n��.xW]lh6�vnbu§mo�[uew.h`nbuehùx,}�d�xø��th`w.h`nbuea

Î�� � Ø�� � Ø�� . ÔùÚÖ Î�� � æIä � Ø�� � æIä � Øt� . æIä . æIä � � � Ô ,\^u[���ea Þ .� ~a��eu�x�{|xWdth`av}|~x��vnbp2�[]la.�f��x[é[p�x��thkh`gea.u#}thÝS��.x��fa.p��e]lh`�.avp2avuY}ta��.nbu Ò . ìO hk�vnbue�th`gea.dfhluen�]`a��ta._W�ea.u#}�hùZT�Tmonbdtp�aqh`uY{|xWdfh�xWu#}thkx��thlu[hl�f}td�x/�f� Þ �. Z� � � ß � � æ�b � � ß�� � Ø� � � ß � . æ�b � � ß�� � Øà � �;.Kæy� � � � � ß �¡ 6æ�b � � ß��e. ,yza��fa._b�ea ��� �� � � n ß±U[Ø ´���V[Ø� �   ß5� � . æÊ� � � Ø� � � ß5� � �KæÊ� � . ,\^]`]lnbdtx Î#� n Ô2~a��eu�x�c�x|�ta�geh)� P gen�{Wa���~a�]FÊýxW]`_ba.c[d�x/gehjikhla��f� Ï �fnW}t}tnb�f}�xWu#}�a]? .c� Z? . ~a��eu4ÊËxW]l_bavced�x�geh4ijh`a�geh gehlp

��t�&Ï? .c� ��������������� gehlp

��f��Ò�é ? P.c� ß��O� � Ø#� � Ø#�e. ��ßW? .c�㬠~a��eu4ÊËxW]l_bavced�x�geh4ijh`a�geh gehlp� ��f��Ϩé � P ßÅ��� � Ø ,},}, Ø�� � ì$ nbp��e]lav�t�fhÝS��.xWuegen g[h@uY�en�{bn[éA~au[nW}�n2���ea/�th¼nW}f}�hlavuea�[u=hl�fnbp2nWd£S��fp2n�geh@xW]l_Wa.cedfa�geh@ikhlas? .c�½¬c� � ß? .c� ? ? .c� ìù\^g[a.�t�fn��f�ehlav_b�eh�x|p2n/üY�eav�f}tn2mOx|}f}�n�hlu,}�avdtp�hluehsgehKZT�Tmonbdtp�aWìR@avd�geaTS�u[hlw.h`nbuea|éK]TÊËxW]l_bavced�x@�úxWp�p2aÌ}t}ta��eu�x �·}�dt��}t}��[d�x �.nbp��e]`a.�t�tx=u�x|}t�ed�xW]`aWéK���ea,�vnbdtdfhl�f�snbu[gea

xW]`]ln��t�exWw.h`n ¢ � õ ® ß�� � � � Ø � � � Ø � � . ßÅ��� � æÊb � � Ø7� . æÊb�� � Ø7�   æ�b � � geh�ZT�Tmonbdtp�a �.nbp��e]`a.�t�faÓgeaTS�u[h`}�aChlu÷nb_Wueh��e�eu#}�nIgeh Þ �. ì í u�mOx|}t}thTé

¢ � õ ®ú~aÓ]TÊËxWueuY�e]l]lx|}�nWdta=geav]l]lx�tn|}t}�nbxW]l_bavced�x è ®¦õ � ß0�����jæ�b � � Ø7� . æÊb � � Ø7�   æÊb�� � Ø ���ea��Æa.d¸�.nbu#{bavuew.h`nbuea��Æa.ue�fh�xWp�n�vnbp�aqxW�[}tnb�t�exWw.h`n � geh;�I�.nbu�]TÊËxW�[}�n�{|xW]`nbdta,à'b:ì � x|]ÈmOx>}t}�n����ea�§���ùß�� � é��ta._W�ea����[a Îc�§� � Ô.Î#� � Ôùß�� � Îc�§� � ÔKß5� � Î8àY����ÔKß�à�Zbظ �¶� � ß�à%� � Ø � � � � ßlb � � � ,O hkgeh`�.a����ea�]la^monWdtp�a � � n �fnbuen�gea.]4}thl�Æn ηZbØ�U#ÔbìRKh�~��hlu�_Wa.ueavd�xW]`aWé#�thlx�ç �eu�_bdt�[�e�sn�geheijh`a �.nWu2x|]l_bavced�xD�&�t�=Ï�éÈgeh`p2avue�th`nbuea��� ì É u�x��·}�dt��}t}��[d�x�.nWp2�e]`a.�f��x��t�u�CgeaTSeuehl�f�.a��eu�x�gea.�vnbp2�Ænb�fhlw.h`nbuea� P� ß ¢ � õ ®�? ¢ ®¦õ �¸ U � � P� ß ¢ � õ ®<? ¢ � õ � ? ¢ ®¦õ � ,� x|}tn����ea ¢ � õ ® ~a��vnbu#}�avuð��}�n�uea.]`]ln��t�exWw.h`n��vnW}�x|ue_ba.u#}ta��LP� ß Îãè%Pé Ô � x]ç"ueav]l]FÊËh`gea.u#}�h�}|~x[éÆ~a�geaS�ueh`}�x�eu��tnW}f}�nb�f��xWwvhln

¢ � õ ®v g[h�Îãè Pv Ô � �savd nb_bueh7ZMê]ç"�Æa.d�}�dtxW�t]lxWw.h`nbuea�x��th`uehl�·}�dtx[ì í uenb]�}�dta|é� ~a��euM�fnW}t}tn#xW]`_ba.cedtx/geh¶� �¤£ Üá×jØ�Ù#Þkê �Ø ûs×jØ�Ù�ê �£ �|� ÎO×jØ�Ù�Ô6ßúU[Ø û � ê ¢ � õ ®(Ø ûs×jØ�Ù2ê �£ �|� ê ¢ � õ ®<? ¢ � õ � Ø û � ê ¢ � õ ® ,Z�

Page 14: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ijx��vnbuegeh`w.h`nbuea�geh4h`u#}�a._Wd�xWceh`]lh�}|~x�~a�üY�eh`uegeh� Î ¢ � õ ® Ô�ª ¢ � õ � ? ¢ � õ ® É%É�q�ea.�·}�x/�vnbuegeh`w.hlnWuea^��x��ta.u[�tn�uenbu,�fnb]ln�uea.]s�tavue�tn�xW]`_ba.c[dthl�vneéYp�xxWue���eaq�[�eu#}�n��Æa.d �[�eu#}�neì � x|}tn���ea � Î�n � ÔKß � n-1 � æ�n �L� Ø�ta �|� ��x�wva.dfn2�vnbp2�Ænbueavu#}�a�hlu ¢ ®¦õ � {|xW]laq]`n��f}�av�t�fn��Æa.d � Îzn � Ôbì¥ ÀYÅ7�:À�ô�¿ Îo�ta._W�ea�g�x�yza§¦ ]�xWu[gea.dH�8yzh`dtavuðcÆa.df_YÔÌì O a�{|xW]la�ÉcÉ4é¼xW]l]`nbd�x av�thl�·}�nbu[nM�vn�nbdfgehluex|}�a�]lnð�(x|]lh� � Ø ,},`, Ø��>ø �t��ç�}�xW]`a����eaF� � � n ßlb � � n ìí ]4{ðhl�vav{bavdt�tx2�tav_b�ea�hlp�p2avgeh�x>}�xWp�a.u#}�a|ì � x|}th4ge�ea��fhl�f}ta.p�h4gehk�vn�nbdfgehluex|}�a6� _ Ø�è a é� � _ ß©¨ �� _�è a � è a æ �è _ è�a � è a ,O a � è a ê ¢ � õ ®�x|]l]lnWd�xxt� _ �ª è a ß±U=a�]`aqmo�euewvhlnbuehjx/}td�xW�fhlw.h`nbuea��fnbuen�nb]lnWp2nbd·moaWìò�ó.Àðôöõ@Ã8Ç ÎohãÔ [email protected][n ¢ � õ ® ßÅ��� � æ b�� � Ø7�}.Eà�b��`�|Ø7�¡ sà�b � � geaS�uehl�f�.az�eu�x��f}�df�[}t}t�ed�x��.nbp��e]`a.�t�txg�x|}tn2���[a � Î#�   à[b � � Ôùß�� � . æ3� � � àub � � � àub � � . ß�Î�� � à@b � � Ô§1öÎ�� . à@b � � Ô ê ¢ � õ � ,ijx �.nbu[�.]l�[�thlnWueageav] À a.nbdfa.p2x�~a/�fn�geg[hl�fmOx>}t}�n�g�xW]l]FÊËav�th`�f}�avuew(x�gea.]`]la��.nðnbdtgeh`u�x|}ta«� � Ø � � Ø � . �savdq�.�[h¢ � õ ® ß�� � � � Ø � � � Ø � � . ìÎOh`hãÔ¸\zu�xW]`nb_#xWp�a.u#}�a|é

¢ � õ ® ßÅ��� � æÊb � � Ø7�}.®àub��`�:Ø"�¡ @æ�b � � ß0� � � � Ø � � � Ø � ηà{�;.Kæy� � � � Ô ìiKÊýx|�e�e]lh`�(xWwvhlnbu[a¬�<Z Þ �. Ö Ò � geaTSeueh`}�x�g�xHIJ Z � � �;.

U Z � �U U Z

KMLN ÚÖ Î­� � Ø�� � Ôhlu[ge�e�.a��euexDS�c[d�xWwvhlnbueaE�ÐÖ è � �vnbuhSeced�xiè � ì í u[nb]`}tdtaWé� P è Pv νè � Ôùß���� � Ø�� � Ø�� . Ø�� � ß�Z�® ,ikn2�f��xWwvhln�}�xWu[_ba.u#}�a�xW]`]�xµSeced�x�~a6® ¼ ß0���   Ø�� � ì¥ ÀYÅ7�:À�ô�¿4Ç O h�xl���eu�x��f}tdt�[}f}��edtx��vnbp��e]lav�t��x��f�l? .c�½¬ ìK\^]l]`nbd�xl��®ë߯®�ì� hlp�nb�·}�d�x|w.hlnWueaWì O h�x ¢ � õ ® ßpV:×�êi� P� Z��4× ß�bTק\4ìK\z]l]`nbd�xgehlp�Σ��� � Ø�� � Ø~� . Ø�� � Ø��   ��° ¢ � õ ® Ôùß±� ,O a�geh`p�ÎG® ��° ¢ � õ ® ÔKß �,xW]l]`nbd�x«�±®ëß�®�ì O av_b�eaz���ea^av�thl�·}�az�eu�x§Î·ZbØ�UbÔ`�Tmonbdtp2xE²@æs�   �.nWu�²/ê«®�ì¸ � �   ê ¢ � õ ® ? ¢ � õ � ¸ � �   ê ¢ � õ � ,\^uexW]lnb_bxWp2avu#}�a��Æa.d-� � é�a�üð�[hluegeh� � 1(� � ß � �e.¸ß � �¡ @æÊb � � � ê ¢ � õ �¸ �±� � 1��±� � ß�� � 1E� � ¸ �³�±� � ØM�±� � ß0�O� � Ø#� � ,�q�ehlu[gehTéeh`]E�fnW}t}tnb�t��x|w.hlnÊ�G� � Ø#� � geh)� P� ~aw�/� h`uY{|xWdfh�xWu#}taqa��.nbh`ue�.h`gea��.nWu�® �m° ¢ � õ ®ðì �$ nbp�a�vnbdtnb]`]�xWdfhlneé�g�x|}�x2�eu�x2�f}�df�[}t}t�ed�x��.nbp��e]`a.�t�tx��ú�f���ésa.�fhl�f}ta�euex2�f}tdt�[}f}��edtx��.nWp2�e]`a.�f��xµ´��t�@è � �Æa.d �.�eh¶�[Z�� Ö è � ~a�nb]lnWp2nbd·mOx[ì

Z(V

Page 15: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�u· ¸ �.-K�j��9.¹&���j�¡�¨¥ «©�©M�.«©&�

¬®¬¸­�aq¶)FÈ» ° ºe´·»¾» °¶JgFÈ´º�t»q°í ]jgehl�f�.nbdf�tn����ea��ta._W�ea�fhjxW�e�e]`hl�(x�x�üY��xW]l�fh�xW�fh4{|xWdth`av}|~x�geh�rEavdtavuew.hlxWcehl]`a�ô�éÈ�.nbp��edtav�t�fn2�eu�xW�Æa.df}tngeh6Ïùø¸ì í u nb_bu[hÆ�[�eu#}�n\Z�ê�ô ~a^g[aTS�ueh�}�n�]ln��t��xWwvhln��.nW}�xWue_bavuY}taoè Pv a^h`]È�t�en�ge��xW]`aDè v ì6yza.]Æ�(x|�tngeh4�[u�_Wdt�e�e�Æn�gehEijh`a�ç=é>è v �thE�[�@~n�hlgeavuY}thÝS��.xWdta^�.nbu[è"é®ß²�Ó�Æa.d¸}�d�x|�t]�x|w.hlnWueaqx/�fhlueh`�f}�dtx[ìIRKh�~� h`u_bavuea.dtxW]la|ék]ln �f��xWw.h`n }�xWu[_ba.u#}�ahè v g[h6�eu�x�{|xWdfhlav}>~x[çD� Þ g[hA]�x>}�a.dtxW]lh Î Þ üY��xW]`�thlxW�th@�tnW}f}�nb_bdf�e�e�Æn���eh`�e�tn�geh�ç&Ô �fhk�e�@~n�hlgeavuY}thÝS��.xWdta��vnbuu�¼�¹?kìO hlxsV^���ÌØ ,},}, Ø~� ø \��eu�xcexW�tazgeh è v ì í ]s�[dtnðgenW}t}tn��f�(xW]lxWdta¨�Æa.d �v�eh�V^� n \=~a^nbd·}�nbu[nbdtp2xW]la�~az]TÊånb_b_baÌ}t}tns�ß ø¨ n�½ � � n jk� n ê ý � è Pv Ø���ea�geaTSeuehl�f�.a��eu4ÊËxW�e�e]`hl�(x|w.hlnWueaoè v Õiè v Ö�Ï cehl]`hluea.xWdtaz�thlp�p�av}�dfhl�.xhlu&üY�ea.�·}�n2p2nðgengZs4Î#� � Ø~�M¾�Ôùß ¨ n � n Î�� � Ô�� n Î#�M¾�ÔùßT² � ¾ ,ò�ó.Àðôöõ@ÃoÅ¼Ç O h�xÐνâ¡Ø�×jØ�Ù�Ô¸ê�Ïe.4éea��fhk�.nbue�fhlgeavdth��� �� � � ß � â¡Ø� � ß � ×æ Ù � â¡Ø�}. ß � Ùàö× � â ¸ ��� �� � � � ßëU[Ø� � � ß � ÙY1 � âùßl�}. � Ø� �}. ßà � ×-1 � âùß�� � � ,í ]ÈmOx|}t}tn���eaqhÆ�.nðaTï��vhla.u#}thE�thlxWuen��.nb�·}�xWu#}�hÆ�.hÆgeh`�.a^���[a]��� � Ø~� � Ø�� . P���x�]lx��·}�dt��}t}��[d�xgehÆ�eu4ÊËxW]`_ba.cedtxgehjikhla|ì � h4�eh�~�,h`u#}�a.dfa.�f�ta�~a�]lx�p2aÌ}�dth`�(xs ß Î � âfÔ � æëÎ � ×æ Ù � âfÔ � æ±Î � Ù�à × � âfÔ �

ß Î8Z æ × � æ Ù � Ô.Î � âfÔ � æëÎ � ×sÔ � æ±Î � Ù[Ô � æ��eÎoÙ � ×�àÐ× � Ù[Ô � â¡Øgen�{ba±� � × � âÓ�f}�x �savd � ×sj � â æ � â�j � × ì O �vdth`}f}�xÐhluúüY�ea.�·}�xImonWdtp2x[é^]lx p�av}tdth`�(xÐgeaTSeuehl�f�.a]TÊåa.]`a.p�a.u#}�n geh�]l�[ue_b�eavw.w(x hluKSeueh`}ta.�th`p�x|]la �r¿ � é����eaö_bavuea.dtxW]lh`w.w.x üY�eav]l]�x geh�RKh`}�xW_bnbdtx Î �r¿ Ô � ßÎ � âfÔ � æ Î � îsÔ � æ Î �YÀ Ô � ìl$ h �savdtp�av}f}�a�g[h¨�.xW]l�vnb]�x|dta,]�xÓ]l�[ue_b�eavw.w(xCgeh¨�eu�x§�v�edf{|xCp2avgeh�xWu#}taM]lxmonbdfp/�e]�x Á

νqEÔKß©Ârà �¼¿ ,Ä hl�t�Æav}f}�n�xW]`]laq�vn�nbdfgehluex|}�aoâ¡Ø¦îjØ À ée]lx�p�av}tdth`�(xxs ~a�d�x|�e�edtav�tavuY}�x|}�x�g�xW]`]�xp2x|}�dfhl�vaHIJ Z¸æ × � æ Ù � Ù àz×Ù Z Uà�Z U Z

KMLN ,���>Å�~+ÂOÀðô[¿EÇ � x|}�x �eu�x p2aÌ}�dfhl�(x©s�hluú}�a.dfp2h`ueh�geh��.nðnbdfgehlu�x>}�aWé�av�th`�f}�nWuen�uY�en�{baö�.nðnbdtgeh`u�x|}taî � Ø ,},`, ئî�øÓ�Æa.d¨�.�eh;s�ß øÅn�½ � Î � î n Ô ��Æ O a�s �[�@~n�av�t�tavdta}td�xW�·monbdtp2x|}�x�h`uMüY�eav�f}�x�monbdtp2x��·}�xWu[g�xWdtgEés§�thkgeh`�.a/îË�eh�x|}f}�x[Ê�ìijxöp�av}�dfhl�.x ~a��eh�x>}t}�xÓ�taMa.�fhl�f}ta��euexöc�xW�fa�nbd·}�nbuenWdtp2xW]laÊV¨2� � Ø ,},}, Ø�2�.ø¹\Igeh�ZT�GmonWdtp�a�Ç�ÈrÉGÊ�Ë�ÌÌìúijx�.nWuegehlwvhlnbu[a � 2� n ßëU=hlp��e]`hl�(x�]TÊåa.�fhl�f}ta.uew.x�g[hk�eu�x�mo�euew.h`nbueaoî n �savd �.�eh�2� n ß � î n ì

Z:�

Page 16: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

¾ùÀ�ôöô[¿ÍiGÅÆÂ7hM¿eôöÀð±Îv¿¨ÂoÀÈÇ O hlxWV^� n \��eu�xÐc�xW�fa geh/ZT�Tmonbdtp�aWì � �th`�f}�a �[u4ÊË�[uehl�.x�îËp2x|}�dfhl�.a|ʸg[hZT�Tmonbdtp�a ÎÏ� n� Ô�}�xW]`a����ea

ÎOh�Ô � � n ß ¨ � � n� 1 � � Ø ÎOh`hãÔ � n� æP� �n ßëU ,� hlp�nb�·}�d�x|w.hlnWuea2g[a.]l]FÊË�[uehl�vh`}�h�}|~x[ì � x|}ta ge�ea��tnb]`�ew.h`nbueh�ÎG� n� Ôbé�Î}2� n� ÔbéK�thlxP� n� àì2� n� ß Å ¾ n n� ¾ � ¾ ì\^]`]lnbdtx&ÎOh�Ô¸hlp��e]lh`�(xUß Å� õ ¾ n n� ¾ � ¾ 1i� � ß Å�cÐ ¾ Î�n n¾ � àyn n� ¾ Ô£� � 1 � ¾¸ n n� ¾ ßÑn n¾ � ,í uenb]�}�dfaWé8n n� ¾ æ�n �n ¾ ß±U¼ìe�q�eh`uegehFén n� ¾ ß�à�n �n ¾ ß�àÒn �¾ n ß©n ¾� n ßÑn ¾n � ß�àÒn n¾ � ß�à�n n� ¾ Ø

xWuegyn n� ¾ ßëUjì)$ nbdtdfhl�f�snbu[gea�xW]4mOx|}f}�n����ea�hkge�ea��tn|}t}�nW�t��xWwvhý � Ͳj�Í & ͤj�Ͳj�ÍÔÓëͤj U � Í��xWu[uen2h`u#}�a.df�tavw.hlnWuea�w.a.dfneì¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇ | n� ß � è n� à Å ¾ � n¾ 1«� ¾� �tnbu[n ]la��.nb�fhlgeaÌ}t}�a/�ø�GmonWdtp�a�geh¼�.�[df{|x|}��[d�x[ì O hAnb�f�tavdf{ðh���ea�xWue���ea�]�x/p2x|}tdthl�va έ| n� Ô2~a�xWu#}th�� �fhlp�p2aÌ}�dfhl�(x�ìÕ Å"Â#àjÄYÃOÅÆÂjÀFhjÀ¹Â¸õ+�:Å�~�ÂoÀðô[¿4Ç s�~a��[h�x|}f}�x/�ta�a��tnb]`n��ta��thjxWu[uð�[]l]�x|uen/}��[}f}�a�]la6| n� ìò�ó.Àðôöõ@ÃoÅ¼Ç Uß � � � ß � �� 1i� � æ � �. 1 �}.�}. � ß àÖ� �� 1 � � æ � �. 1 �}.� � � ß àÖ� �. 1 � � à � �. 1i� �~� mOxW�vhl]`a^{bavdthÝSe�(xWdfa����ea�]FÊË�eu[hl�(x��fnb]l�ewvhlnbu[a�~a¬� �� ß±U�ß�� �. é5� �. ß�àY� � ì O a._b�[a����[a| �. ß � � �. à�� �� 1�� �. ßëU[Ø|�.� ß � �e.� à��e.� 1�� �� ßëU[Ø| �� ß � � �. à�� �. 1��e.� ßëU[ØaEsI~a��eh�x|}f}�x[ì í uM�fa._b�eh�}�neé�}�dtn�{Wa.dtavp2n�mo�euewvhlnbu[heî � ß²îIa�î . ß À }�xW]la����ea

Î � ×�æ Ù � âfÔ � æëÎ � Ù�àÐ× � âfÔ � ß Î � îsÔ � æ±Î �YÀ Ô � ,¬ A�­P× ¶¸³�³q°jº[ºe´8¶¸³�´2°��>¢NFgGIC�Jg¢NF¨C¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇ'� x|}�x��[u�x2p�av}tdthl�.x«s�ß Å ø n�½ � � n jk� n éÈ]�x�geavdth`{|x|}�x��.n�{|xWdthlxWu#}�a�geh�� n ~a�geaS�ueh`}�xg�x Ø � n ß©¨ � � n� jk� � ,

Z�

Page 17: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

yzav]l]lx/�edtav�ta.u[w(x�gehsmo�euew.h`nbuehFéeüY�ea.�·}(ÊËxW�e�e]`hl�(x|w.hlnWuea��thkav�f}�avuegea��.nbu&]�x�]`a._b_baØÎ�n � ÔKßWn Ø � æ � n-j � Ø

���ea2~a��.nbp���x|}thlceh`]la^�vnbu�]�x/�.nWp2p/��}�x|}th`{ðh`}>~xgea.]kg[h�xW_bdtxWp�p�xè P ÙÖ è P j3è P Ù<ÚÖ U � è P jÊè P Ö�Û� ÜÜÝ ÜÜÝè P ÞÖ U � è P ÞÖ U .¦è P Ö tvtvtiKÊËav�f}ta.ue�fhlnbuea

Ø �2~a�g[aTS�ueh�}�x�g�x Ø �vÎ � jmX@ÔKß �|� j3XMà � 1 Ø Xqì)���[hluegehØ �.Î Ø � n Ô�ß Å � Î � � n� jk� � à�� n� 1 Ø � � Ôß Å � Î � � n� à Å ¾ � n¾ 1(� ¾� Ô§jk� �ß Å � | n� jm� � ,$ nbu#{ðhlavuea xWu[���eaögeaS�ueh`dtaWé��Æa.d�nb_bu[h�{Wav}f}�nbdfaC}�xWue_bavuY}ta¯�±é��euënb�Æa.d�x>}�nbdfaØ\ß Z�è P Ö è P

nW}f}�a.uY�[}tn2gexW]l]lx�îý�vnbu#}�d�x|w.hlnWueaWÊe}td�xx� n� a6�5ZØ\ß � n ß ¨ � � n� ÎG�CÔ£� � ,iKÊýx|w.hlnWuea�geh

Ø�ß�th®a.�f}ta.ueg[a,hluö�[u p2nðgenMu�x|}��[d�xW]`a�xW_W]lhK�t�exWw.h¸ge��xW]`h®a xWhù�edtnðgenW}f}�hù}�a.u[�tnbdfh�xW]`hTé

�.nWp2a�è�ß�Îãè P Ô P éMè P j3è P a¤è P j3è�ß � ueg�è,ìù\^g�a.�tp��eh`neéØ\ß s ß Å n�à Î Ø�ß � n Ô§jk� n æ3� n j�ÎØ\ß � n Ôºá

ß Å n õ � ÎÏ� n� ÎG�CÔkæP� �n ÎO�CÔfÔ£� n jm� �ß U ,ika��ø�Tmonbdtp�a(| n� geh¼�.�ed·{|x|}��edtx�p�hl�t�[d�xWuen�hl]juenWu¹�8xWu[uð�[]l]�x|p2avuY}tn�geh Ø �3â Ø ì O a Ø � � ß�UCxW]l]`nbd�x| �n ß±UjìKyzav]l]�x�geh`dta.wvhlnbu[a¨�vnbu#}�dtxWdthlx[éYhl]e}�avnbdtavp�x�gehs��dtnbcÆa.ueh`�e�ù�savd¸]`a¨{|xWdfhlaÌ}|~x�geh`rsa.dfa.uewvh�xWceh`]lh��e�@~na.�f�tavdta��}�hl]`hlwvw(x|}tn�x��edtn�{|xWdta�h`]¥ ÀYÅ7�:À�ô�¿4Ç O a«| n� ß U=monbd nb_bueh�´sØ#ãÈéÆxW]`]lnbdtx/a.�fhl�f}ta��[u�x2c�x|�ta]V%n n \Mg[h®Z�Gmonbdfp2a�Îohlu&�eu�h`u#}�nbdfuengehknb_Wuehk�e�eu#}�n#Ô��Æa.d��v�eh

Ø n n ßëU=�Æa.d nb_bu[h�´ùìRAx|df}�avuegenMg�x÷Îzn n Ôbé¼�Ænb�f�th�x|p2n�xW�e�[]lhl�.xWdtahl]6�edfn��va.�f�tn�n @ d�xWp-� O ���[p2h`g[}�xWgCnW}f}�a.u[a.dta��eu�x&c�xW�fanbd·}�nbuenWdtp2xW]la�Î�� n Ô#ì í ] mOx|}t}tn ���ea Ø\ß s ß U�_#xWdtxWu#}�h`�t�.a&���ea

Ø � n ß Ujì��q�eav�f}�xÓhlp��e]`hl�(x����ea� � n ßëU=a2ÎOh`u,�euMh`u#}�nbdfuen�gehknb_buehE�e�eu#}�nYÔ av�thl�·}�a��eu�x/mo�euewvhlnbu[a�î n �Æa.d �.�eh¡� n ß � î n ì¡�q�eh`uegehFés�ß ¨ � î n j � î n ØaEsI~a��eh�x|}f}�x[ì

Z"

Page 18: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ò�ó.Àðôöõ@ÃoÅ¼Ç O hkdth`�.nbdfgehE]lx�p�av}tdth`�(xs�ß ¨ n � n jm� n �vnbu���� � � ß � â¡Ø� � ß � ×/æ Ù � â¡Ø� . ß � Ùà × � â¡Ø

\^c[ceh�xWp�n��(x|]l�.nW]�x|}tnx� n� é�g�x��.�ehk�fa._b�[a����[aØ � � ß±U[ØØ � � ßà%� � jm� . Ø Ø � . ß�� � jk� � Ø

aÓhluenW]`}�dfaä| n� ß Ujì � nWceceh�x|p2nö}tdtn�{|xWdtaÓ]`a �.nðnbdtgeh`u�x|}ta3î � ئî � Ø£î . �Æa.d&�v�eh�]�xÐc�xW�fa Î � î n Ô�~anbd·}�nbuenWdtp2xW]la|é[üY�ehlu[geh

Ø � î n ßëU¼ì O hlx� î � ß©nr� � æPsK� � æ�å7�}.¸ U�ßØ � î � ß � noj3� � æPs³j Î8àY� � jk�}.ÌÔkæ � sNjm� � æ�å�j Î#� � jk� � Ôkæ � åQjk�}.¸ � n&ßëU�Ø � s�ßà�å%� � Ø � å2ßTs¡� � ,í u=��x|df}�h`�.nb]lxWdta|é8n�geav{Waav�t�tavdta��vnb�f}�xWu#}�aWì � x|}tn2���[ai� � ß � â�Ænb�t�fh�xWp�n��edtavuegea.dfaxsÆØ�åÐmo�euewvhlnbueh

geh¡âWé�a��eu�x��tnb]`�ew.h`nbuea�~a n&ßë�vnb�f}�xWu#}�abØ � s ¥ νâfÔùßÑåjÎãâfÔ¡Øå ¥ νâfÔKß�à*sEνâfÔ¸ s ¥ ¥ ÎãâfÔùßàusEÎãâfÔ¡Ø å ¥ ¥ ÎãâfÔùßà�åjÎãâfÔ ,É uex��fnb]l�ewvhlnbu[a�~a ��� �� î � ß â¡Øî � ß ×^�vnb�Kâkæ Ù®�thlu�â¡Øî7. ß àz×z�thlu�â4æ Ù¸�.nb�gâ ,O h4{Wa.dth�S��(x����eaÎ � î � Ô � æ±Î � î . Ô � ß�Î � ×/æ Ù � âfÔ � æëÎ � Ùà × � âfÔ � ,ijx/�.nbu[�.]l�[�thlnWuea/~a����ea�s ~aq�eu4Êåa.�f�edtav�t�th`nbuea�geav]l]�x��tnb]`h`}�x�p2aÌ}�dfhl�(x�a.�e�v]lhlg[a(x/gehKÏe.,dtaÌmoa.dth�}�x/x|g,�eu�x

îå}�d�x|�fmonbdfp�x|}�x�a.]lh`�.nbh`geaWÊ�ì

¬�� ­<ñ|�-J[°¼³qº[¶eF�°ÅE�´\æ÷´·°¼» Cù³�³O hlx�V^� n \��eu�x�c�x|�ta�nbdf}tnbuenbdfp�xW]`a^gehKZ�Gmonbdfp2a|ì O hk�t�vdth�{�h| n� ß ¨ _ õ a«ç n � _�a � _ jk� a ,\^]`]lnbdtx ç n � _�a ßà ç � n _�a Øç n � _�a ßà ç n � a�_ Øç n � _�a æ ç n _©a � æ ç _�a � n ß±U ,ijxö�tav�.nbu[g�x a.üY��xWwvhlnbu[a=�tav_b�ea=�Æa.df���k~a�| n� �fnbuen �ø�Tmonbdtp�aWìúijx§}ta.dtw.x�~aM]lx îË�edth`p�xÓhlg[a.u#}�h�}|~x§g[h� hlxWue���ehFÊ`â¸�ta._W�ea,g�xW] mOx>}t}�n ���[a�1Pâ Ø �'â Ø ß � â � ß"U¼ì ~� cÆa.u uenW}tnÓ���ea,üY�ea.�·}�a�hlgeavuY}th`}>~xhlp��e]`hl�(x|uen�xWue���[a�]`a��ta._W�ea.u#}�hFì

Z��

Page 19: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

Á Å7�>Å6Â#Â#¿K�|ÃoÅjÇ ç n � _�a ß ç _�a n � a çDè _�a n �Gé ß±Ujìikaq��xWdfa.u#}�av�th4üY��x|gedtaqh`uegeh`�(xWuen��eu4ÊËxWu#}�h`�thlp�p�av}�dfh�xq}�n|}�xW]`a�ÎO�vhlne~a¨]�x��tnbp�p�x�xW]�}�a.dfu�xWu#}�a^�t��}t�[}t}taqa�|V�]la��Æa.dfp/�[}�x|w.hlnWuehEgeh)btرfbØ�´sØ#ã�Ô¡ì¡�q�eh`uegeh ç xW�e��xWd·}�h`a.uea�xW]`]ln/�f��xWw.h`nê ßëï|a.duëjïWavd'Z ý � Î U � è P Ô®Ö U � è PVì ,O hlxFí ß²�KÎã��à�Z:ÔX�b�kìK\^]`]lnbdtx ê ~a��euen��t�exWw.h`n�{Wav}f}�nbdfh�xW]`aqgehkgeh`p2avue�th`nbuea

geh`p ê ß íöÎ�í æëZ:Ô� à�î � V�ï ß Z

Z:� � � Îã� � à�Z:ÔÌØ���ea2~a�g�x|}�x�h`u�g[hlp�a.ue�fhlnbuehsc�xW�f�ta�g�xW]l]lx}�xWcÆa.]`]�x� gehlp ê

� Z ß Z¸æIU� ßT ¨æIUV �WU ß Z�U¨æúZ�U� �WU ß Z:� æ

�� Z�U#� ßë��Z¸æI�WV

"Z�Q� ßë�W�¨æúZ� W�

\^c[ceh�xWp�n��t�.nWp2�Ænb�f}tn�]lx&g[hlp�a.ue�fhlnbuea�geh ê �Æa.d�hlueg[hl�(x|dta��edth`p�x&]la��vnbp2�Ænbueavu#}�hùgea.]®�.nW�thlg[av}t}tn}�avue�tnWdta�geh Ä h`�.�vh�Z¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇDÄ h`� � a ß Å n ç n � n a ìí ]k}�avue�tnbdfageh Ä hl�v�.hk��x�]�x��f}�av�t�fn�}�h`�sn�xW]`_ba.cedfhl�vn�g[a.]l]lx�p2aÌ}�dth`�(xwsKéÈ�vhlne~a Ä hl��ê ý � è%P�éÈa�]lx���xWdf}ta�.nWp2�e]`a.p�a.u#}�x|dta�geh ç �fhk���eh�x|p�x�hl]Æ}�avue�tnbdfa�g[h�ðöa§ñ�]�Z

ç ß Ä h`�®æ�ð§aòñð] ,í u�geh`p2avue�th`nbuehTéðc�xW�·}�xWu[n�]la^�vnbp��snbu[a.u#}�h ç � � � � Ø ç � . � . Ø ç � . � . Ø ç � � � . Ø ç � �±� . Ø ç � . � . éeavüY�eh`{|xW]`a.u#}�a��p�a.u#}�a Ä h`�ø�±��ß ç � � � �kæ ç . � . �Ä h`� �±� ß ç � � � � æ ç . � . �Ä h`� .±. ß ç � . � . æ ç � . � .Ä h`�ø� � ß ç . � . �Ä h`�ø� . ß ç � � � .Ä h`� � . ß ç � � � .�Æa.d geav}ta.dfp2h`u�xWdta ç ì

Z�Q

Page 20: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�.ó ôM¤��j¥ �õ9.¹M�ò4�1A�¬ Ç ­P��JgF7¢%JLJ¨¢NF�°�ö'¢NCKºe´�÷�°>FÈ»¾´ J�´HCù³q°O �e�[�snbu[h�xWp�n����ea���~a��eu4ÊËxW]l_bavced�x�gehjikh`a�geh4geh`p2avue�th`nbuea���xWdfhTéeg[nW}�x|}�x/gehk�eu�x�p�av}�dfhl�.xxsKì � x|}�x�eu�x��f}tdt�[}f}��edtx�üY��x|�thj�.nbp��e]`a.�t�tx����f���Aéj~a�u�x|}��[d�xW]`aqdth`���ehlavgea.dfa����[aF���thlx�nWdf}�nW_bnbu�xW]`aWé��.hlne~asEκ�±�=ØM��ø/Ôùß�sEÎG�=Ø�øÔÌØ ût�=Ø�ø êi� ,í u�üð�[a.�f}tn��.xW�tneé�av�th`�f}�a��euex�monbdfp�x/c[hl]lh`uea(x|dta�xWu#}thl�th`p2p�av}tdth`�(x6��geaTS�u[h`}�x�g�x�^ÎO�=ØVø/Ôùß�sEκ�±�=Ø�øÔKßTsEηàu�=ØM��ø/ÔùßàÖ�^Î�øùØX�CÔ ,iKÊËavuegenbp�nbd�S��tp�n� a¨]`a�monbdtp�aCsÆØ#�ëgeav}ta.dfp2h`u�xWuen�}�avue�tnWdthAÎOhlu#{|xWdfh�xWu#}�hex��fhlueh`�f}�dtx#Ô6�t�2�eu�_bdf�e�e�ÆngehEijh`aDçÑ�.nbu,x|]l_bavced�x��6ì í ]sgehl�f�.nbdf�tn/�fa._b�[a.u#}�aq{|xW]`az�eh�~�2h`u _ba.u[a.d�x|]la¨�savd }�avue�tnbdfhsg[hEüY�ea.�·}�n/}thl�ÆnÎOp2xquenbu�ueav�.av�t��x|dth�x|p2avuY}ta�hlu#{|xWdthlxWu#}�h�Ôj�f�2�euex^{Wx|dthlaÌ}|~xqgeh�rEavdtavuew.hlxWcehl]`a�ô � ø g[hegehlp�a.u[�thlnWuea ��x|dthTìí u&}�a.dfp2h`ueh4gehk�[u�x�c�xW�ta�nbd·}�nbuenWdtp2xW]laMÎ�� n Ô�gehe� P ée�Ænb�t�fh�xWp�n��t�vdth`{Wa.dfas�ß ¨ � n jk� n Ø �Ðß �� ¨ �¶� n 1i� n ØVY�¶� n \ a.�f�tavuegen �euEÊýxW]�}�dtx=c�xW�ta�nbd·}�nbuenWdtp2xW]la|ì O h��e�¼~n§h`uenb]`}tdta �f�.av_b]lh`a.dta,]lx c�xW�ta&h`u p�nðgen ���ea�§� � n ß5� � n ­ � ì¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇ ijx/�·}�dt��}t}��[d�x/geaS�ueh`}�x/g�x«sÆØM��Ø#���fh4���ehlxWp�x�ï�ùx|�e]lavdth�x|u�x�ta�ÎohãÔC� ~a�h`u#}�a._Wd�xWceh`]la¨aÎOh`hãÔ � � ß±UjìikaÓ�.nbueg[hlw.h`nbueh/ÎOhãÔ�a�Îohlh�Ô��tnWuen�x|u�xW]lnW_b�eaWì�\^cec[h�xWp�nö{ðhl�·}�n ���ea�ÎOhãÔ�hlp��e]lh`�(x§]FÊËav�th`�f}�avuew(xÐgeav]l]`a�.nðnbdfgehlu�x>}�a��savdz�v�ehÒ� � � n ß8b � � n ì O ax� n ß5î n æ3b À n x|]l]lnWd�x�� � î n ß�à �YÀ n aF� �YÀ n ß � î n ì í u}�avdtp�hluehEgehkc�xW�fhkge��xW]`hTé[�fhk�e�@~n��t�vdth`{Wa.dfa�Mß ¨ ë � î n j À n à �YÀ n j gî n ì êiè P j3è÷ß � u[g{è ,� xW]`]TÊËxW]`}td�x/��xWd·}�a|éE�ta � ��ßUjéÆhl]k}�avnbdtavp�x�geh � x|dtcÆnb�¼�öÎO�[h�~��mOx|�.hl]`a�geh@üY�eav]l]lx2�Æa.d^]lx�� Ô hlp��e]lh`�(x���ea�a.�fhl�f}tnbuen��.nðnbdtg[hlu�x|}ta î � Ø ,`,}, Ø£î�ø[Ø À � Ø ,`,}, Ø À ø&}�xW]`a����ea� ß øÅ � � î n 1 �YÀ n ,ò�ó.Àðôöõ@ÃoÅ¼Ç O hKdfhl�.nWdtgeh@hl]AüY�enWw.hlavu#}�a�gehl�f�.dtaÌ}�n S ß ý � Õ�ÎO$�. U Þ Ô�x|�t�tnð�.hlx|}�n�xW]`]TÊËxW]l_Wa.cedtx2gehKikh`aÿÛ�3?5? . ì O hrS��f�thj]�x�p�av}�dfhl�.xxs�ß Å � n jk� n �savd��.�eh�Î#� n Ô2~a��[u�x�cexW�ta�geh¡�LP/�vnbu� � � n ßëU[Ø ´2ß ZbØ¡��Ø

�Ø� �`� ß5� � . ,

É uex��vìËüÈìå�Wì¼~a�geav}ta.dtp�hluex|}�x/g�x��eu�a.ueg[nbp2nWd£S��fp2n��<Z;� P Ö � P �vnbuä� � ßà�Zsìù\z]l]lnWd�x� ~aÒsc� nbd·}�nb_Wnbu�xW]`a ¸ àú�§� � ßlî6� � æ À �}.Aæy�Û�`�:Ø î � æ À � æy� � ß�Z¸ �Ðß �� Îc�§� � 1 � � æ��5nD1FnEÔÌØ�WU

Page 21: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�.nWu�nC�eu�{Wa.df�tnbdfa^hlu@��� � Ø�� . Ø�� � ì í ]e}ta.dfp2h`uea¬�3n'1Dn�~a�geav}ta.dtp�hluex|}�n�g�xw�¶� � x|]ep2avuen�gea.]È�fa._buen[éüY�ehlu[gehk]TÊåhlue�fhlavp2aqg[a.]l]`aq�.ìåüÈìË�|ìsnWdf}�nW_bnbu�xW]`hsh`u[� � ß Ï � ~a�]TÊå�eueh`nbuea�gehkge�[a�v� �fmoavdta�Z�Cû� ß ý ��6ü ý �­ ,[email protected][n �/�Kß5� � � æ3�}. �:Ø����ea��.nWdtdth`�t�Ænbuegea�x �K��� � ß�à%� � Øú�¹�£�}. ß5�`�(â� � ß5� � .Aæ3�`� � Ø � � � � ß�à%�}.�Øú� � �`��ß�à%� � â� . ß5� � �6æ3� � .�Ø � . � � ß�à%�`�:Øú� . � � ß�à%�}. ,�Ænb�t�fh�xWp�n�hlgeavuY}thÝS��.xWdta ý �� ßpVvî��/�kæ À � � æy�ý� . ZÛî � æ À � æ�� � ßZ;\ ,O h4dfhl�vnbdtgehs���ea«� . ~a��eu�x/�·}�dt��}t}��[d�x��.nbp��e]`a.�t�tx[ì/$ nbdfdth`�t�Ænbuegea�x ¢ � õ ® ß0��� � æ[b��`�:Ø6� � æ[b �}. a.gC~axWcÆa.]`h�xWu�x¹Z � Î ¢ � õ ® Ôùß0��� � . �& ¢ � õ � ,� xW]`]TÊËxW]`}td�x��exWdf}taWé � νî��e�4æ À � � æ��ý� . ÔKß±U ¸ Ì ßúU[Øa�_b]lhEa.]lavp2avu#}�h4geh ý �� ���ea��tnbuen�monbdfp2aq�fhlp��e]laÌ}t}thl���ea��vnb�f}th`}��[hl�t�vnbuen�]TÊåa.üY��x>}�nbdfaVvî��/�4æ À � . ZÛî � æ À � ß�Z;\ì¥ ÀYÅ7�:À�ô�¿4Ç S uenbu�xWp�p�av}t}ta�uea.�f�t�euex2�f}tdt�[}f}��edtx�ï±ùxW�[]la.dfh�xWuex[ì�q�ea.�·}�n�dth`�t�e]�}�x|}tn�fa._b�ea�gexW]EmOx|}f}�n/���ea�hsuY�ep2avdthsgeh � aÌ}t}�h®ç � n�� ��îËgeh`�t��xWdfhTÊðgeh4�euex{Wx|dthlaÌ}|~x�þ�xW�[]la�dthlxWu�x��.nbp���x|}f}�x�ô geaÌ{bnbuen&av�t�tavdta/}t�[}t}th@��x|dthTìz\^g=av�tp��ehln[éE�WÊ�~a/�euEÊýxWwvhlnbu[ageh_�ë�t�e]`]la�ZT�Gmonbdfp2axWdfp2nbu[hl���ea¨���ea^g[aTS�ueh`�t�vnbuen Þ � Î�ôúØtÏ Ô�azüY�ehlueg[hÆüY�eav�f}tn/�t��x|w.hln���x�g[hlp�a.ue�fhlnbuea ��x|dthTì í u�üY�ea.�·}�n�(x|�tneée{Wa.gedfa.p�n����ea&ç . Î S ÔKß � ì¬ ð�­P× ¶ ¶¸» ¶)�·¶e�¸´�C¿,À#Á6¼ÃOÄYÃoÅƼÀÈÇ O h�x�� �eu4ÊËxW]l_Wa.cedtxgehkikhlazgehEg[hlp�a.ue�fhlnbueazdta.xW]lao� ì í ]E�.nðnbp�nb]lnW_bh�x�gehI� ~aqgeaS�ueh`}�xg�xW_W]lh4�f��xWw.h4{Wav}f}�nbdfh�xW]`h Þ n ν��﨧 ïWavd>Î � Z U n �LP Ö U n~� � �LP¡Ô

í p�Î � Z U n ­ � � P Ö U n � P Ô Ø ´�Ã�Z ,O hlxå n ß÷gehlp Þ n Îã��ÔbìR@avdz]FÊËav�tavp2�eh`n ��ßÿÛ��?5? . é å � ß�à Uß

�Øå � ß �^à�Zqß÷VeØåg. ß V�à�Zqß�Øå � ß ZbØ

��Z

Page 22: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

uY�ep�a.dthk���[a�dfhl�t�[]`}�x|uen�gea.]`]�x/�f���ea.p2x� P Ö U � � P Ö U .£� P Ö U �~� P� �� ��}. Ô�ÕÖ ÚÖ U�`� ÚÖ � � . ÚÖ U� � �� � .� � .� � ��}. �Ô ����Õ����Ö ÚÖ U

� � � ÚÖ � � � . ÚÖ U� � � �� � . �� � . � Ô ÕÖ ÚÖ U� � � . �ika�geh`p2avue�th`nbuehK�fn�geg[hl�fmOx|uen�h`]®g[��xW]lh�}|~x,geh)R@nbh`ue�(x|d.~aiZwå n ßÿå[ø�­ n ì � aTSeueh�xWp�n�xWue���ea�åg®�ß ZÆé_bh`�e�f}thÝS��.x|}�n�g�xW]smOx|}t}tn����[a U ®~� P ßúϾa � Z U ®¦� P Ö � P �fhjxWueuY�e]l]lx[ìÉ uEÊýxW�[�e]lh`�(xWwvhlnbuea�g[a.]4monbdfp/�e]�x�gehlp�Í ßëgeh`pIï|a.dsæqd�xWue_Wn=hlp��e]lh`�(x����ea

�(xWdtx|}t}ta.dth`�f}thl�.n�geh � �[]la.dfn/ß ø¨ _ ½ ® å _ ß ø¨ _ ½ ® g[hlpMÎ U _ � P ÔKßëU ,O hlx<ç ~a�uehl]`�sn|}�a.u#}taWéÈa ô ß�� U ç �.nWp2��x>}t}�x�ì¨�Ma.gehlxWu#}�a��eu�x2{Wa.dt�fhlnbu[a,ÎomOx|�.hl]`a�Ô geav]l]�x�}�avnbdthlx�g[h=znðge_ba�hlu��.�eh¼_b]`hk�t��xWwvh@�exWueuen g[hlp�a.ue�fhlnbuea�S�u[h`}�x�éÆ_W]lhka.]`a.p�a.u#}�h¼geh Þ n Îã��Ô�Ænb�f�tnbuen�a.�t�fa.dfa/d�xW�L��edfa.�tavu#}�x|}th4g�xmonbdfp2a^xWdtp�nbueh`���eazdfa.]lx|}�h�{baqx|]s�vnbp2�[]la.�f�tn Î U�� � P Ø � Ôbìe�q�ehlueg[hTéYa.�fhl�f}taq�eu4Êåhlu[hla.wvhlnbu[aÞ n Îã��Ô�� Ö Þ n Î�ôëØtÏ ÔYì¥ ÀYÅ7�:À�ô�¿ Üáyznbp�hlwv�[Þ Þ n Î�ôëØtÏ Ô � ß Þ n ν��Ôbìò�ó.À|�^�#ÃoÄYÃ�À�ÅÆó(óvÀL���K¿eÄYÃOÅÆÂ¼Ã·Ç ÎohãÔ�ijx=�vn�nbp�nb]`nb_bh�x&geav]l]la xW]l_bavcedta2uehl]`�sn|}�a.u#}th geh¸gehlp�a.ue�fhlnbu[a V ~ag�x|}�x�gexW]l]lx�}�xWcÆa.]`]�x åg® å � å � åg. åg�

ÿ � Z V V ZÿÛ�5?�? . Z

�V

�ZÄ � Z � � � Z

É u&}�avnbdtavp�x�geh � h[��p2h`a.d x>rEavdtp2x����[a�nb_WuehkxW]`_ba.cedtx/gehjikhla�ueh`]l�ÆnW}�avu#}�a��tnðgegeh`�fmOxå n Ãë��Ø Zú�l´��¤��à�Z ,ÎOh`hãÔ-? .c�½¬ �exlå � ßëV¼émå � ßë�jé8å . ß Z�U¼ì

�b�

Page 23: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

ÎOh`hlh�Ô³ � ��xlå � ßZsémå � ß±Ujéea�uenbu��tnðgegeh`�fmOx�hl]4g[��xW]lh�}|~xg[h>R@nbh`u�xWdtaW~aWìÎOh�{[ÔYº�»EÎT�bÔ �ß º ò Î � Ô���xlå � ß©å � ß±Ujé8å . ß ZsìRKh�~�&hlu,_bavuea.dtxW]la|éÞ n Îݺ ò ÎT�^��æúZ:Ô � ß Þ n Î ý .zÕ ý�� Õ ý �±� Õ[tvtvt�Õ ý � ø^­ � ÔÞ n Îݺ ò ÎT�^��æ��bÔ � ß Þ n Î ��������������������� Õ ý � ø � � ÔÎo{[Ô O hk�vnbue�th`gea.dfhk]ln��t�exWw.h`n�g[a.hk�(x|p2�ehs{bav}f}�nbdfh�xW]`hE�f� Ï ���ea��thjxWu[uð�[]l]�x|uen�x�nWdtgeh`ueaiä��h`u UMZ� ø ß��#î n �� î ZL´�ò� ,� h`{Wa.u#}�x��eu4ÊËxW]`_ba.cedtx�gehjikhla��.nWu�h`]4cedtxW��ïWaÌ}

à î n �� î ئî � �� î á�ßlî n , ãî � ­ � �� î àuî � , ´Lî n ­ � �� î ß�ÎÏã�à�´eÔ±î n�� � ­ � �� î ,O hkgeaS�ueh`�t�(xCÍ ø ßÑ�¡�X�ª� ø � �Wìù\^]`]lnbdtx�Í Pø ß0��� � Ø ,},}, Ø�� ø �.nbu� � n ß ¨ _ Ð� Î�´/à ��bGÔ£� _ 1i� n ­ _ ,� �t�e]`hl�vh`}�x|p2avuY}ta;Z � � � ß U� � � ß U� �}.�ß � � �� �`� ß �;� � .� �¡ �ß� � � �Aæ3� � .� � � ß Vc� �  @æ��;� � �� � � ß �;� � � æ � � �  Aæ3�}. ��߯�,},},`,`,},O hknb�f�tavdf{ðhj���ea�h`]4�.nWuY}tn� � ß�à^�;� � , �;� � � à

� � � ,� � � � æÊ� � � � ß Î8à�Z(UzæyQ¨æúZ:Ô�� � � � ßëU

mOx���xWdf}ta�gea.]`]�x/{bavdth�S��(x����ea�Í � ~a��[u4Êýx|]l_bavced�x�gehjikhla|éep2x�u[a.]l]`n��f}ta.�t�fn2}ta.p��sn�geh`p2nb�·}�dtx/���ea6�¾~a�eu�x�monbdfp�x/�fhlp��e]laÌ}t}�h`�(x,Îouenbu¹�Ga.�tx|}t}�x#Ô �t� Í � ì~� ���eh�xWdfn ���ea=Í ø ��x�å � ß �jì í uenb]`}tdta|é�å � ß � �tah�ÊÃ� jì�Î#R@avd��CßÍ jé Þ � Îã��Ô,~a_Wa.ueavd�x|}tn,g�x� � ��é�� � ��a6��ìýÔDRKh�~�,h`u&_ba.ueavd�xW]`aWé¥ ÀYÅ7�:À�ô�¿ Üå��ÞDå n ÎTÍ ø Ô=~a2�e_W��xW]la2xW]ùuY�ep�a.dtnMgeh®�AhlcÆnbu�x|�.�.h ê n�� � ÎO�vnbu ê ® ß Ujé ê ��ß!ZeÔ��savd´�� � ì

��

Page 24: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�� ���X-K�4� «0:«: �Ì��9z«qª^�¡¤�©M�Ð����¤�¥ �.-K�¼��9.¹��¬�� ­�� ³ °jº[°¼» ½�´·¶����C'»��8°>FÈ´�Cù³q¶À nbdtuehlxWp�n�xW]l]FÊËav�ta.df�.h`w.hln��vnbuu� P ß���� � Ø�� � Ø��}.�Ø��`� geaS�ueh�}�x�g�x����� ����

� � � ß±U�Ø� � � ß5� � � Ø� � . ß5� � . Ø� � � ß±ä|� � � æIç�� � . ,\^]`]lnbdtx � Î � � � 﨧 à^ä|� � 1öÎFç�� � . ÔkæIç>Î#� � � 1i� . à@� � 1i� � . ÔKß�àzäYç� � � . æ��Wç�� � � . ,O av_b�ea����ea � � ßúU=�ta�a��tnb]`n��fa,ç�ß±U=n=ä�ß �kì O hk�t�e�[�snbu[_#x����[a&ç��ßëU=a,ä/ß �jìÀ d�x|}f}�xWueg[nCÎ�� n Ôz�.nbp�a c�x|�ta nbdf}tnbuenbdfp�x|]laWé|�tnbu[n�g[aTS�ueh�}�a ]la��ø�Gmonbdfp2a¸a dthl�f�saÌ}t}th`{ba��·}�df�[}t}t�edta�üY��xW�fh�.nWp2�e]`a.�f�ta;Z �e�Kß5� � � æ3�}. �:Ø �K�H� � ßà%� � Øú�K���}. ß5�`��â� � ß5� � .Aæ3�`� � Ø � � � � ßà%�}.�Ø� . ß5� � � æ3� � . Ø ,`,},`,},`,O av_b�ea����ea � �/�6ß � � � . � ß � � � 1(�/�¡Ø� � � ß � � � � � ß � � � 1(� � Ø� � . ß�ÎF�^à çvÔ�� � � . ß�ÎF�qàÐçÌÔ£� � 1E� . ,� x|}tn����[a�]FÊýxW�[�e]lh`�(xWwvhlnbuea è P Ö U .~è P

� ÚÖ � 1E�e�~a��eu�hl�tnWp2nbd�S��tp�neé[xW�t�fn��vh�x|}ta�x«�e��Ø#� � Ø#� � �tnbu[n�]`aq}�dfa�îåmonbdfp2a�gehjikavaWÊ

� �®ß � � � Ø � � ß � � � Ø � . ß�ÎF��à çvÔ�� � ,ò�ó.À|�^�#ÃoÄYÃOÅjÇ � �ùß � � ¸ � . ~a�h`u#}�a._Wd�xWceh`]la|ì$ hj�tnbu[n�g[�ea��.xW�thku[nW}�aÌ{bnb]`h�Z��� ���À �[}t}ta a¸}tdta��K�¡ØM� � ØM� . hlu#}�av_bd�x|cehl]`hTé:a ]lx¨�·}�dt��}t}��[d�x~a¨îýh`�savdt�.nWp2�e]`a.�f��x[Ê�ì�R¼a.d6nW_bueh ¿ ß ÎFäK�ÌØ�ä � Ø�ä . Ô�êý � �th�x ���^ß±äK���K�4æIä � � � æ ä . � . Ø � �� ß à�Z ,\^]`]lnbdtx©��� ~a=h`u#}�a._Wd�xWceh`]la|ì \^]z]lh`{Wa.]`]lnCgea.]`]laM{|xWdfhlaÌ}|~x[é��fh�x ý h`]z_Wdt�e�e�Æn gehqijh`a��fa.p��e]lh`�.a.p�a.u#}ta�.nWueuea.�f�tnq�vnbu]FÊýx|]l_bavced�x³� Î ý �savd®î O nb]�{Wx|ce]la|ÊþÔ¡ì¼\z]l]`nbd�x ý xWp�p�av}t}taù�eu�x �f}�df�[}t}t�ed�x hl�Æa.df�.nbp��e]`a.�t�txhlu#{|xWdfh�xWu#}�a�x��fhlueh`�f}�dtx[ìikn��.xW]lp�a.u#}taWée�Ænb�t�fh�xWp�n��t�vdth�{ba.dfa�� � ß � â�a�2s�ß5� ­L. ä s�ÎÛ¸ 2� _ ß5� ­L. ä � _ Ô¡ìù\^]l]`nbd�x�é� 2� _ ßà%� ­L. ä � â¶1(� _ æ3� ­L. ä � � _ ßëU[Ø

�|V

Page 25: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

a&]�x uY�en�{|xCp�av}tdthl�.xW2s�~a&hl�Æa.dtï±ùxW�[]la.dfh�xWuexKZ�Î~2sÈØM���WØ#���:Ô§~a&ï±ùxW�e]`a.d��Æa.d�nb_bueh ¿ ê ý � ì �Èx ��xWdf}tageh��eu�x �.]lxW�t�faÓgeh�p2aÌ}�dth`���ea hl�Æa.dfï±ùxW�e]lavdthlxWuea �t�vnb�Æa.df}�x gex @ hlcecÆnbue�H�H=zx�¦ ïYh`ue_eì A _bueh�p�av}�dfhl�.xhl�Æa.dfï±ùxW�e]lavdthlxWu�xö~a&xW��}�nbp2x|}�h`�(xWp�a.u#}ta Ä hl�.�vh��G�eh�x|}f}�x[é@üY�ehlueg[h �eu�x p�av}tdthl�.x�geh � h`ue�f}ta.hlu �vnbuÐ�.�edH�{|x|}��[d�x��t�(x|]�xWdfa ¿ ßúU¼ì��� �\^g[a.�t�fneé�� . ß �� � �`�M~a����[hl�e�fn2a�� ~a�ï±ùxW�e]`a.dthlxWueneì���>ÅÈõKÅÆó(ÃoÄYÃOÅÆÂjÀÈÇ s � ~a � h`ue�f}ta.h`u��vnbu ¿ d�U¼ì� hlp�nb�·}�d�x|w.hlnWueaWì ~� uenW}tnz���[a �t��eu�x¨{|xWdfhlaÌ}|~x ï�ùx|�e]lavdth�x|u�x[é:hl]b}ta.ue�fnbdta¸geh Ä h`�.�.hYp�hl�f�ed�x ]�x��.�[df{|x|}��[d�xgeav]l]�x��vnbueueav�t�th`nbuea�hlu[genW}t}�x�g�x

Ø�f�e]§S�ced�x>}�n��(xWu[nbuehl�vn ¢ � õ ® ß��"! éegen�{ba

!�ß�Î�� � æÊb�� � Ô§1 Î�� � æÊb�� . Ôùß��/�kæ�b­� � ,\^c[ceh�xWp�n � !�ß � � � 1#!�ßà� b�� � 1$! ¸ Ø

!�ßà� b � � 1%!Æâ

{ðhl�·}�n����ea à� b �`�qê »kÎ8Z:Ô�geaÌ{ba�a.�f�ta.dfa�]lx,ZT�Gmonbdfp�x�gehk�.nbu[uea.�f�thlnWueaWì¸ijx2�v�Gmonbdfp geh4�v�edf{|x|}t�ed�x&~a|�ß � ηà � b � � ÔKßà� ;bO� .

~a��edtnW�snbdfw.h`nbu�xW]`a�xW]l]lx�monbdfp�x/gehkï±ùxW�[]la.dvì �í u#}�avdt�edfav}�x|w.hlnWuea;Z ý �thk�e�¼~n�h`gea.u#}thÝS��.xWdta��.nWuMh`]E�ehlxWuen�hl�Æa.dfcsnb]`hl�vn/�.nbp��e]`a.�t�fn

Ò'& � ß ý ó/ÎF��Ø(Z:Ôý Î ó�ÎF�bÔ�Õ<ó/ηZ:ÔfÔ ØaEs � �.nbu&]�x�p�av}tdthl�.x/�f}�xWueg�xWdfgM���[a�av�thl�·}�a��t��üY�ea.�·}�n2�t��xWwvhln��th`p2p�av}tdth`�.neì¬ = ­P��JgF7¢%JLJ¨¢NF�° ¶eFKJe¶e�®¶ ³NC/�·´iKÊËh`ue�th`a.p�a�gea.]`]la��·}�dt��}t}��[dta�üY��xW�thk�vnbp��e]lav�t�taF��ZbÏ/��Ö Ï/�§~a� � ß ç0�zÎoVeØtϸÔç0�zÎF��Ø�ÒùÔ ßpV���� ® � ­ � Z��¢ê�ç0�¨ÎOVeØfϸÔ�\ ,$ hj�tnbu[n�g[�ea��vnbp��snbu[a.u#}�h4�fa.�vnbuegen2hl]4�fa._buen�geh¸geav}��ëìí ]k�tn|}t}�nWhlue�fhla.p�a�geav]l]la^�.ìåüÆìå�WìÈnbd·}�nb_Wnbu�xW]`hKÎOdfhl�f�saÌ}t}�n�xWg&h`]4�edtnðgenW}f}�n��t�.xW]�x|dta��f}�xWueg�x|dtg�s¼Ôq~a� û� ß ö�ÎOVYÔó/ÎT�WÔ ß)( � ü ( ­ Øgen�{ba

(+*�ß ý ö ÎoVYÔó/ÎF�bÔ ß ý ó/ÎT�bÔ Õ ý ó/ÎT�WÔó�Î8Z:Ô Õ ý ó/ÎT�bÔ ß ý ó�ÎF�bÔó/ηZ�Ô ß ý ö Î � Ôý ö ÎF�bÔ � ß ý � ,RAx|df}�avuegen2g�x�Ï � é �Cû� ß ö�Î� #Ôó/Î � Ô ß)( � ü ( ­ Ø�b�

Page 26: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

�.nWu( � ß ý ö έ #Ôó/Î � Ô ß ý ó/ÎOV#Ôý αó/Î � Ô Õ�ó/ηZ:ÔfÔ � ß Òm& . ,

�MavuY}tdta�hlu�� û� {|xW]lax�Cê ý �� £ àú�§ê ý �� éÈxWc[ceh�xWp�n( ­ ßWVYàú��Z��Cê,( � \ hlu � û� ,A _buehk�vìËüÈìå�Wì��Cê,( � & � û� ~a�d�x|�e�edtav�tavuY}�x|}�x�g�xW]`]�x��ø�Tmonbdtp2x(�/ìK\^g�a.�fa.p��ehlneé� ® ß � � � æ3�}. �6æ3�¡  � - ηZbØ�U[Ø�U[Ø�UbÔ�/�ùß � � � à��}. �¸à��¡  � - ÎFU[Ø.ZbØ�U[Ø�UbÔ� � ß àY� � � æ3�}. �¸à@�¡  � - ÎFU[Ø�U[Ø(ZbØ�UbÔ� . ß àY� � � à@�}. �6æ3�¡  � - ÎFU[Ø�U[Ø�U[Ø(Z�Ô ,

�.nW�f}�h�}��eh`�t�vnbuenÐ]la�{bavdf}�h`�.hqg[h^�eu�}tav}�dtxWa.g[dtnÐ���ea �fh^�e�@~nÐh`p2p2xW_bh`u�xWdfa�h`p2p�a.df�tn§hlu�Ò8& . ì A _bueh�t�[hl_bnb]`n�d�xW�[�edtav�ta.u#}�x2�eu�x�dtaÌ}t}�x��[dtnbh`av}t}th`{|x�Òm& � � ß ý � éenb_bueh4mOx|�.�.hlx��eu&�eh�xWu[n Òm& � ì

\^�[�e]lh`���eh�xWp�n&üY�ea.�·}�n p�n�geav]l]`nMx|]l]�x|av}|~x,geh í ¦ xW��x¡¦ xä� ß $ � U ç¢gen�{ba��LP�ß ?;P.c�½¬ ��xM�[u�x�c�xW�fanbd·}�nbuenWdtp2xW]la�Î�� n Ô��.nbu ��� �� � � n ß±U[Ø ´���V[Ø� �¡  ß5� � .6æÊ�`� � Ø� � � ß5� � �KæÊ� � . ,O hlx�� n ]lx/�.ìåüÆìå�WìÈ���ea��.nWdtdth`�t�Ænbuegea�x«� n ê,( � ì®\zcecehlxWp2n/{ðh`�f}�n����eaF� ® ØM�K�ÌØM� � �tnbu[n2h`uY}ta._bdtxWceh`]lh�Z� ® Z ¢ � õ ® ß0� � � ßl� � æ�b � � Ø � � ß��}.AæÊb��`�:Ø � . ß��¡ AæÊb � � Ø� Î��¡ AæÊb�� � ÔKß�Î�� � æÊb�� � Ô§1öÎ��}.AæÊb��`�vÔ ê ¢ � õ ® ,�¹��Z ¢ � õ ® ß0��� � æÊb � � Ø6�}.®àub �`�:Ø7�¡ ®à@b � � Ø� Î#�¡ ®à@b�� � Ôùß Î�� � àub�� � Ô§1 Î��}.®àub �`�vÔ ê ¢ � õ � ,�ª

Page 27: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

O hk�vnbue�th`gea.dfhkhlu#{bav�.a� . Z � � . ß Î#� � .6æÊ�`� � Ô§1i� � àu�¡  1 Î#� � �KæÊ� � .ÌÔß � � . � à@� � � � à@� � �º  à@� � .c ß í p.!sØ

gen�{ba!�ß�Î�� � àub � � Ô§1öÎ�� . à@b � � Ô§1 Î#�   æÊb � � Ô ê ¢ .¦õ ® ,í uenb]�}�dfaWé � !�ß Î#� � à[b � � Ô§1 Î#� . àub�� � Ô§1 Î�� � æÊb�� � Ô§1öÎ#� . æ�b � � ÔùßúVc� � � . � ,�q�ea.�·}�a��edtnW�edth`av}|~x��Ænbdf}�xWuen�xW]`]�x���>ÅÈõKÅÆó(ÃoÄYÃOÅÆÂjÀ Ü @ i>R O Þjijx�p2aÌ}�dfhl�(xs�ß � â � æ@â �0/ . �¨ n�½ � � n jk� n æ@â ­ �0/ . �¨ n�½   � n jk� ngeaS�ueh`}�x��f� Ï � Õ� ��x�_bdt�e�[�sn�gehknb]`nbuenbp�h�x��e_b��x|]la�xsç � a�üY�eh`uegeh Ä h`�¨ßëUjì

¬�` ­P��JgF7¢%JLJ¨¢NF�°��k¶¸»¾½��8°jº[º�°�ºK¢ 1$ a.df���eh�x|p2n�geh4geaÌmonbdtp2xWdfaw� ® hlu&�euex��·}�df�[}t}t�ed�x��.nbp��e]`a.�t�tx ����Æa.d��.�[h2¢ � õ ® ß���X � Ø~X � ئX . Ø

�.nWu X � ß � � æIä � � æ ç � � æ ¿ � .(ØX � ß � � æ3Ì � � æ � � � æ@â � . ØX>. ß � .@æ�î � � æ À � � æ × � . ,�q�ea.�·}�x�geav�t�.dfhlwvhlnbuea�~a {|xW]`hlg�x¨�ta �� uenbu&~a^îå}�dfnb�e�Æn�]lnbu#}�xWu�x[Ê|g�xx� ® uea.]e�fa.ue�fn����[aQX � � .L1 � � � .Q�ßëUjìí �.nðaTï��.h`a.u#}�h��tnbu[n�xWue���ea�]`hlp�h`}�x|}�h|g�xW]YmOx|}t}tnq���eaQX � � . 1 X � � . �ß±U¼ìAijx^�.nbu[gehlwvhlnbuea®geh�hlu#}�av_bd�xWc[hl]lh�}|~x~a

Î � X n Ô ®¦õ � ß±U[Ø �vhlne~a � X n 1:X � 1 X � 1 X .w x`y zhlu4357698 :ß±U�Ø ´�ß�ZbØ¡��Ø

�,

\^c[ceh�xWp�n � X � 1hX � � . ß ¿ � � � 1 � � � ß±U ¸ ¿ ß±U[Øtvtvt`tvtvt ¸ âùß±U[Ø� X>.M1 X � � . ß�Î � � � æ × � � � Ô§1 Î � � � æ±ÎOä � à ç�Ì.Ô � � � ÔKß±U ¸ ×�æIä � à çÌ ßúU ,�q�ehlu[geh ��±®ëß�®�ék�.nWue�tav_b�ea.u[w(x�x|ue���ea�g�xW]4}�avnbdtavp�x�geh`p2nW�f}�dtx|}�nhlu>Ì��ìÁ Å7�>Å6Â#Â#¿K�|ÃoÅjÇ É u&hlu#}�nbdfuen�geh*� ® geav]l]ln�t��xWwvhln�geav]l]la^�f}�df�[}t}t�edta��vnbp��e]lav�t�ta�h`uY{|xWdfh�xWu#}ths�f�u� ~a��eu�xüY��xWgedfhl�.x�h`uÐÒ � ìijx��vìËüÈìå�Wì ���~a6sr� nWdf}�nW_bnbu�xW]`a^�fa�a��tnW]ln��ta ¢ � õ ® ~a�}�nW}�xW]lp�a.u#}�a^hl�tn|}�dtnW�sa|ì O a�bùê[VYZbØ¡�|\4és4Î � _ Ø � _ ÔùßëUo¸ äß � ß±U�Ø s4Î � � Ø � � ÔùßúU�¸ ç6æÊÌ ßëU[Øs4Î � _ Ø � .�Ô®ßúU�¸ î&ß À ß±U[Ø s4Î � .vØ � .¡ÔùßúU�¸ ×,ßúU�¸ ç�ß5Ì�ßëU ,�q�ehlu[geh{� ® ~a�h`�tnb]lx|}�n/u[a.]j�tnW}f}�nbh`ue�th`a.p�a<;�geh;�Cû� ���ea��.nbu[�thl�·}�a�geav]l]la��·}�df�[}t}t�edta�hlu#}ta._bdtxWcehl]`hTì

�"

Page 28: ZbZ:X Z(U#XWU[Z - polito.itcalvino.polito.it/~salamon/G/pisa.pdf@nW t thlxWp n g[a TS ueh`dta U Í P ß WV >xW [ e]lh` (xWwvhlnbuehÆceh`]lhlu[a(xWdfh4xWu#} h` th`p2p av}tdthl [a YX[Z

¥ ÀYÅ7�:À�ô�¿ ÜÝ\ @µO Þ=;=ßpV¡� ® \ ü ÎG�/� � � Ôbé�gen�{WaCÎOèY� � � Ô2~a�]`n��t�eh`_bnb]ln<V¡� àu�   � Zª��ê ý �­ \4ìÜ � hlce]`hlnb_Wd�x�SÈx�g�x�xW_b_bh`�eue_bavdtavÞ

�W�