38

1023!,+' .4 ( !, (5groups.di.unipi.it/~tesei/unicam/ProgrLab20042005/materialeProgr/... · +,- .+,+, / 1023!,+' . 4 ( "!, (5 687:9=@?BA ?DC E FGEHF IKJLJNM3OLIKJLJLP QSR(TVUXWZY[U8\^]_Y[Ua`b\BY[US\Ncd]_\^],eS]_f^gh`bg[Uji_kb`Nl_g[iD]_mnUS\BYh

  • Upload
    others

  • View
    12

  • Download
    0

Embed Size (px)

Citation preview

  • ���������������������������������� �"!#��$��������&%����'���(%)%�������* ����+,�-�.+,+,���/�102�3!,+'���.��4�(���"!,��(5

    687:9=@?BA�?DC

    E�FGEHF�IKJLJNM3OLIKJLJLP

    QSR(TVUXWZY[U8\^]_Y[Ua`b\BY[US\Ncd]_\^],eS]_f^gh`bg[Uji_kb`Nl_g[iD]_mnUS\BYh`^cdUSkbkblofVg[`bmplofVlqg[Y[U@c^USkVeS]_grWZ]#cd`Ks�gh]qti_grlqmnmplquS`b]_\VU#UW[]_\^]vfNlqghuS`wlqkbm�UX\BY[U#YhghlqYZY[U�c^lqk�kb`yx^gh]>z�{�]_mnf^`bkyUXghWX|8s�gh`y\VeS`yfVkyU�WS}L~)U�er^\^`yt TVUXWX}_lq\Vcn~�]

  • � �����������

    � ��� ��� ������� ������� �! ��

    "$#&%')(�*+'-,.%/#0*1#&(2,.3)*+4�(�56(�#.78'9#&(�';:EF#.GH%,.3-'JILKM58'$*+,DN

  • � ���������

    �������������������������

    !�"#���$�

    ÎxϪB~ Y1&%AY1Ó2H+�~ 1&J]ÅÅ S¬ y('Ã@)'ÃÅ¢D ² p(�,xvS4�,.3)?B'),.?H'j?@O@GY')(�C&,(�#&(xR^4�#.OB,ɹ *Y[�5u?B'),^¿±GH')?@NV5+O@OB'9RD,.%/58(sO@5.¿±4�(2N

  • �����N��

    ���2!b��� �

    � �����d������������������� �

    Î> à y.~ y / J ~�a · a ¸ , ¶².·Y²¶¸W¾.²&·�e a ·��L²¶¸�e a ¸]Î�$ '^ ~ 0/ Jy / ~ba µ , ¶Ç1&¿ a F , a2a F G · ?B5 I KÐÎ��}FSY^y�� 6Å~1zFz9y��¢D��z)~H~ ~�a�� ,����F�� µ a F , a

    µ c a · c a ¸ c a Q c�� � �Î��}FSY^y�� 6Å~1zFz9y�� '^]ÅFFÆ]y0.��z9~Y~ ~ba�! ,����F�� · a F

    "$#&%('*)�+-,�.0/1. Ò�Jy a z32 Y~986~ &4£65A+´+´+´¶87�.RÃ:9¶+´+´+´¶B»^ ~s@? a ~$; '^DH1 Z~1H+~+@~\ÆTÅ® D

  • Ä ���������

    �������������������������

    !�"#���$�_j`�� � ]UZ\c¡k�] ]de \jg/e0c¡k;hb\jmHq�cfer ( vs4�58?@OB,Ð?@5+78'9#&(�5t:�5+X

  • �����6� ���O�2! ���P�0�

    � �2! � ��

    ����!�� �� u¬ ~ ~1@yDz)~ %�'�~1 DÅÅSFB~ ��� S ! · %�}}||+y 8�'Ã@~ }~+@~z9~6~Å 'd@~1HYJ �^~1 ¬ @Gyx ��� S ~BÐ 8~1ÅTÅz)~  ��� S ! ·&? ÏMD %¢SYJy 8xz)~ B~ ¬ Dz)~ I:O I�� '�~1y ¬¬ T s¬ ~1 ~/D �DÆD~ 'Ã@~ }~ & 86~A~Å 'd@~1HYJ �t~B ² �z)~\ÆDyDYJy}|+Tz ±S+y.~ ~1zFzy s~ ® / J ~3�Ë�J~Az)~ 86|1 y / J 2'^]YY|1Fz WD -+

  • � ���������

    �������������������������

    !�"#���$�

    "ª#&(0vs4�58?@O@5£*1#&(sR.58(�78'9#&(�'J¿

  • �����0�E�N�������X��� � ���N���J�$�X�����d�������2��!b� "^��\� ���N� ! ���0�0� ��b�X� � �X�N�N� ��"^� >

    *H[�5�?B'V?@OB,\:�5+X

  • + ���������

    �������������������������

    !�"#���$�4�(

  • � ����������� �

    � ��� ��� � � ������� � � � ��� �

    r (xvS4�58?@O@#w*+,DNÃ'9O@#&39#t:�5+X

  • � ���������

    � �N� �������"#���$�?�b����d�X� � ���

    start a b1 2 30b

    {a,b}

    Q'9C&4�GH, � I)DÍ;p(0K� I

    :�#.N

  • �N� �����������"#����

    � �N���\� ! "#��� �=����� ��� Ö

    a1

    0start

    a

    b

    a

    b

    2 c

    Q'9C&4�GH, � I � Í$j(uK� I

    y 8�8\ ¢~+ ��~+Jy. ²¶µ����Y�� ²&·����Y�� ²¶¸����Y � � � �Y² G · � ��� �Y�� ² Å yDz9~ �^~ G~pz9yÅÅ s¬ yyDH1 Jy.yxyDz y�8 8\ x~Lz9tÅy. ² G~u É1y. ® yDz)~*� {+D 8^z)~²e � � , ¹dµ1¹f·m� � �B¹ G · � ? Òd~0zÉÅy.w / yDz)~ G~0y à �^~ZDWy H ~+Jy / ~yDzTz9D@yLy à �^~z9y1Y s¬ y6ƶ�.y Ç G~y H ~8Jy.y0&y.zTz=2 y.^�8/y ?5È#&?B?B'),.%/#/#.GY,')(sO@GB#S:

  • � ���������

    � �N� �������"#���$�?�b����d�X� � ���,.*+*15+O@OB,DO@#0:�,.3-3J,.4�O@#&%,:%6'QNd#&?H?@#O@GB#RD,DGB56,.3)3')(�'978'9#A%/58(sO@GB56?@O@#0*15+GH*+,.(

  • �N���6����U����!��\� �

    �$� �N��� �$����b������0�3� "#� �] %_^B`�+-a_+-,X`b% Z /��ed��Ei �&,X' k���% �S% �p'*+g`�+-# �S+��F,ml _ yD� 8y ; F�}~+~+)8\ O -1 �� n � �eG~ y¢ 'Ãzy ��� Y¤p 8DÆD~ H²¶µD�� � &DÆD~&A

    Î�� G~ Y~986~ ® D>1y. ?Î ¤ G~W yDz {1ys|H~+ ; FD®YH8|HDz ?Î 8DÆD~ Í¥ � � ¤«© Y � ¥ � © G~j y±{Y 0/ ~�D§@y Å / ~�yDz)~ �^~�'�~1 ¬. Åy& ²Ve � ~�'�~+£ ¬. QYH8|HDz9 ¹ eZ¤ z=2 ÅJ~ 86~£}~ ¬ z QÅy. 8DÆ.~ ¥J²&@¹¡© G~£Æ�.L)'6'Ã^@~ ~ ~ 1Dz9¢Åy& ?

    Î ²¶µ�e � G~z96Åy.A / JyDz9~ ?Î � q�� G~z=2 Y~986~\}~ ¬ z >Åy& ® yDz ?r (Ë,.39O@GB5\N

  • Ä ���������

    � �N� �������"#���$�?�b����d�X� � ���

    b b

    a b b 3210

    a a

    a

    Q'9C&4�GH, � I Ö Í;p(0,.4�O@#&%,¢:�5+O@5+GH%')(

  • �N���6����U����!��\� �

    �$� �N��� �$����b������0�3� "#� �')(�?B'958%6';:�'ª?@OB,DOB'«:

  • � ���������

    � �N� �������"#���$�?�b����d�X� � ���� zFz9y#'ÃYH8y2~1@y / J ~É+~1z)~ / y�8/ '�~1{+D / y2z9ÌÅy. 4 ~Ëz9 8yD �}Jy 8 ?>yDz .z Jy 8FAÎ 8/.ÆD~ ¥g4.R^©@© , ^8] ��}y�8Jy 8^-8�~1Å �DÆD1y. 5 , ^8]Î 8/.ÆD~ ¥g4:91©@© , S , 4

    > y 9 ÅFD Jy 8 ~+zTz91y.\ / y.z9~W~ y R y DJy 8/ Åy. �DÆD 5 � YM@DÆDyty.J�yDz 8~ ~ n Ò

  • �N���0� "#��� �X"#�6� �U��� � ��

    b b

    a b b

    a a

    a

    DA B C

    È')C&4�GH, � I � Í ½ ,.4�O@#&%, :�5+O@5+GH%')(

  • � ���������

    � �N� �������"#���$�?�b����d�X� � ���

    a

    b

    a

    a

    b

    A B

    C

    EDb

    a

    b

    a

    b

    start

    È')C&4�GH, � I � Í;p(0,.4�O@#&%,¢:�5+O@5+GH%'-(�')?@OB')*1#NV5+G¥ R¡¾ 91© � R 9 9¶I

    (�,DGH5�C&3)'¡?@OB,DOB'±¥'-(L,.39O@GB5�N

  • � ����������� �

    � � �!� � ��� ����� � ���� �n�� �! � ��� ��� � � �

    �pC&(�'

  • � � ���������

    � �6���! ��" " �b��� ���

  • �6� �����! ��" "#�b��� � �$� �$����� ! � ��� � ��

    ���\���$�� �.ÖDI r ?@5+C&4�58(sOB'§?B')%=V#&3)'d')(�:�')*+,.(�#\?H')%£=V#&3)' �&% � ' +g`bk��-+ :�583-3),C.GH,.%%,DOB')*+,^Í

    Î ½ 5+O@O@5+GH5%')(S4�?B*1#&3)5,.3-3J')(�'978')#:�583)3,.39EF,D=V5+O@#�ÍR

  • � � ���������

    � �6���! ��" " �b��� ��� Å}~+YJy 8z9y¢+~ ¬

  • �6���6� �N�2!b���N�N�U�

    � � � �E

    E + E

    id

    E * E

    id id

    Q'9C&4�GH, Ö I)Dͱp(0,.39=V5+GB#/:�'¡:�5+GY'9R],D78')#&(�5�NV5+G + � � +�� � +�� I

    ] %_^B`�+-a_+-,X`b%ocm/�� d=f�+g`�hji�kPh0hX+-,*hj%(`�% � k�&, l Ò�Jy � , � ¤p�> � � � y ¬ @y 8 O8/y& yAz |H~+yL&y.z ~Å1 ? � zfz s¬ �y ¬¶¬ J ¬ ~ ~+y&0&y � G~ . y. a ¥ � ©~B G~«z32 Y~986~j}~1zFz9~�ÅÅ s¬ �^~jD ¼ eu¤ � yDz �^~p~ÅYTÅ~« yDz)|H~+Df}~1ÅFÆ]y / ~D �nzy SQ1Y s¬ yAyDH1 Jy.y G~ ¼ ?

    ��`�� � k;cfe ��q�[®e.\pg/e; 5+XÃ(�'),.%/#\#.GH,\')3V*1#&(�*15+O@O@#6::�5+GH'9RD,D78'9#&(�5.I (

  • �.Ä ���������

    � �6���! ��" " �b��� ���

  • �6���6� �N�2!b���N�N�U�

    � � � �

    E

    − E

    E

    − E

    ( )E

    E

    − E

    ( )E

    E E+

    E

    − E

    ( )E

    E E+

    id

    E

    − E

    ( )E

    E E+

    E

    id id

    È')C&4�GH, Ö I � Í ; ,4�(

  • � � ���������

    � �6���! ��" " �b��� ���

  • �6���0��� " ������������ � >Nd5+G±*+4�'�vS4�58?@O@#5MR.5+GH#£5«OB4�O@OB,3),�C.GH,.%6%,DOB')*+,£:

  • Ö ���������

    � �6���! ��" " �b��� ���

  • �6���0��� " ������������ Ö stmt

    if expr then stmt

    if expr then stmt else stmtE 1

    E2

    C2C1

    Q'9C&4�GH, Ö I � Í;p(0,.39=V5+GB#:�'¡:�5+GY'9R],D78')#&(�5�NV5+G«3),/?@O@GH')(�C&,stmt

    if expr then stmt

    expr then stmtE 1

    E2

    C1

    if

    else stmt

    C2

    È')C&4�GH, Ö I � ͱp(0,.39O@GH#6,.39=V5+GB#/:�'¡:�5+GH')R],D78'9#&(�5�Nd5+G«3-,/?@O@58?B?B,?BO@GH')(�C&,

    ��������� �������������������������! "��

    r (\vS4�58?@OB,�?@5+78'9#&(�5ª*1#&(

  • Ö � ���������

    � �6���! ��" " �b��� ���

  • �6���6�����P�$����X�b��� �d�� ���� �2!

  • Ö � ���������

    � �6���! ��" " �b��� ���

  • �6����� �\� ���b�� �$� � � ��N� � ���2! ��� �$��!b� ��� �d! � �����!b� " " �b���� �$� Ö �E

    E + T

    E +

    T

    F

    F

    4

    3

    T F*T

    F

    5

    7

    È')C&4�GH, Ö I � ͱp(0,.39=V5+GB#/:�'¡:�5+GH'9RD,D78'9#&(�5�NV5+G«3J 58?@N�GH58?B?B'9#&(�5 Ö � � � � � � I '^(�#.OB'�*H[�5M4�(�,p58?@N�GH58?B?B'9#&(�5ªO@GH,WN

  • Ö.Ä ���������

    � �6���! ��" " �b��� ���

  • �6����� �\� ���b�� �$� � � ��N� � ���2! ��� �$��!b� ��� �d! � �����!b� " " �b���� �$� Ö �� IMjOB')3)'97+78,DGB5�4�(?B'-%£=V#&39#(�#&(O@5+GH%')(

  • Ö � ���������

    � �6���! ��" " �b��� ���