From 022f9ca2fc21359b37c7576d5150153dac615c52 Mon Sep 17 00:00:00 2001 From: Yuri Tatishchev Date: Fri, 6 Mar 2026 00:52:02 -0800 Subject: [PATCH] hw2: correct while semantics --- hw2/while-semantics.pdf | Bin 149330 -> 149370 bytes hw2/while-semantics.tex | 5 +++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/hw2/while-semantics.pdf b/hw2/while-semantics.pdf index a7d9bf86679684bf15448a7402af0151660d5b64..311d8b2209d745c3dcb5e4894329ea431be82dcb 100644 GIT binary patch delta 2197 zcmV;G2x|AzjtTmX39wuS12`}^m+=<@D1Yr*OK%%D5Wf3YY;P+RVmQOckS=nlff!9t zv}kQK2iFHVkrM&7<@nX)-}j@mat$qGzbQ8NIvi9Us2gd3Ct+X@?4pKUDajJb#%& zOi)pq;@$bq(XlSxG6HcyMigt?B|{fplX8`W zy@?fEKx@x_W&{T%u`=S%Td2-Z{e0N#n_$X=FH>6vpLdfjFZPX_`&y zNkk||gOfA-(D$x^^s35Kz0_2nhOy)394`R@Ok$(ZItfE;E zhd&_v)T|spGs)p&8=XpL=UP|EAmo9Ja4}j%7G1?Og#MqZR2Sejg#qc9G0X7Al0- z;UUQ8ZhNy6ftTzeNf+6KQ#X=6TZwMHN7h+t0^w`)ZGH5DM1NnY>G#V#Gr1{fP)~wi zDS&PjLU2z(O^?%Lg;AlCn$~d^Z&SqZnVdjl{q;Np;sa69$Xvmvc$zMPh1P^DDwhm6UHLFqo4P-u!2^+dlxB) zVsf4I?vw_TS%0rFl*Pw3E`t7T-heTJlzPvcL=qJ=t-_(QNiJXB$s1UKiq|Nz4H}MK zNpgzC9Pj)+4Zl7;yy`KR)g0fLP7oqT&)+CYvw6O`x*cZIrQ2bNGnW%9pcv%)A=c$1 z4_gJMYcS%%=2W!GuwZ;d0>bjHi4c>pjtd)0wdrXlD}Qasas|lIY0KExl9fSO&eh)9 zO80qQy>s(%c(K+p95DY@zQK`MEh2`#t13y-UwfrYm6u5 zJwKLf?0*VeV>iGxb``F%8{nG90qWVfCY=Zv-4}V(8j#Myq1LMwWPOKpS zla`AsBVe6sbH8eC8&V@T;I;I(chY^>fpVi=M}NIB@LxnG8m*PK=6@V)bL@4ss5Xj( zAqA^}CyUe!^&&CrNz>*G$|sd=)dHH-PUya$*0kgJPa7p13zl?ahPqE=HRfg8l@T*x zsRIl0j2R(Mln|TT>ez6c8#$uA(&8IA^4s_(KdX84O?HDv)+b9&tEY}!0#`J&z?Wea zt$$l`iWDt(VRb5rjWVXH;TPkZc9<-;J)K8SHiCDvL0n?K7ezL#5JeOl&5d?=Z#+J0 zIc$MrnfTj0Y&ppvwiuD;I&1;5Bz!l`^GUvWCPPnk4!r1KaX{lj^L)~JccT63!~lhS za^71zDsDF_asYIJioxBjE=o0)Z<8H83+Um+?3P9|Scp zGcdOlIRd^6Q9(j9H8398K z;d3quqQWPN@~6P32uNW;ViYK-)XI*Qj*VEk0;8R=B5pwo3u9@gi=dH`66cJ~lXq@% zX8>RsfGh5s2iqza5LJSP`otDN0EPD4&i#OnRrs@Alpt?|s>$OyVD9)(cB2e{;%< zAXWC^a_{6+W*_nFT_%MJKKoj%yv(%I!a0NA7unI?Uv(Lt7|H}eCUnV=nejmwZAuvj z#W^^G-j?nB80>`$NX!l z5k4Oc&MxpnE@ahpvPAh$Nm231-Rw!tWc|gVm4da^?9gxSdRFIyi`&6;G`@L@xyce~i{^L31Y# ze}NmUYj>t1mH(Xff%6MvyUdCJw8tk37;zy}hyXL&L?+&6fYHFV_p6$kRHc#>8b(}} zTDLeWDLmG1Zmxva9AekG4cu0k+^Omzr4bg#w#LHbW$c|C^#AD*xrn0SY4Z?DGj@Rj z#tRcVaf6k?a9x3#l^3!!e-7jIOo3V4Z0Goj3|o;=JAEHSiCy7j60Fqn>2FRG(mmcV z(eKukZvK|kF6zLo+I<{f4n|igQh}}}1;-kl)oDnX_!71AQ2U#-nnW5JH=fw6=+rSknWc$Ctm zd2E+?^yXn-GmkZbjZN`Cck=(q`f*a|vcDokQh|J$#GOS#w7?x4YcwrzcQpKx1RVjU z-XNcX+e^@u%czPHe>@EkE_5h)H$@>@XdAN1qHW>ZRD|&pf7pR0E&15CXZgNS2vEl6 zMi@t%Sc@N1$Er=C8T{C!TJVf4ZlpKd;lwWM-g2KJj)f z2by&V!8`>uZKuf^twJX?ZDK5bOch(0$!yC^kE(mpzSb4ZNsanj5;JO!wq%Y*;rcp` z3eeqC$iHt~XpgVU)BP5tie_M&BENol2IMi>|1B~IMSbL@pmnd4*FT<290OgNB0@ zE*eFnk2iKf!*9=zZ+gsm*~d4!6S&CG^B0P)Sv*f~ZimTm={8v8%+=vbHyU0{hTCqWo}#Q-lVb65@xCuyR= zdk#CUK{S3HqH(+9ne#!58&?sH$BAfldl`!Rl?Sw!YNsvQOXV8nNO1Qcd~L2#mV~vu zE!XHZf4D~PfNS(RT%&iuHQNE|*|;X&2q@d&n)jba7sJk~#*lEntZL{vo6P4dYkq`L z)+SujHG@K%DY30$@B?*UK1eELwUf<47z&$sO;POnHDa=L+TGgurJRHC2;QzUyh^rb z>k}Rcuk_Q;uQnox&Yp+kND)}l!s}3{hj}#;f7@~pC*^HC0X1rOGcTq4*>P2}d>N;N z*5 zIWy!6xT2N;zO)u$#q~kZ+=bMc9A$v$a<{ATv>ha?PaZEKiwWR<(uFGyZ=E2Ws?L{v ze<+2N+?cQ*jK>!(Q+Ak@k>_6Il>IC{WmnEU*OZ;{hW}B9L1*bHJ1KguDZ4|w(Na}< z)_P~&eq}yD8ZYMT*AE@EpCMw3FYwBVyG>flOLPzF!3jSpQaGu0HE}0KzGZYbNZ#mj zI*VBpNFj87wgDvrc8$r~x?PXlD+X_$f4w6$1^MKK=n8IDR(NApH5NuAvb=xD7qE>l zaVfUDc9Rcrn;+3KX+enII5F{MP#%sx-QJYn(DHsVX0$f>!RS+eG98wFniL-ovzvW9 zT>R-gehC|Yy#MX(?{A`<3gQ5+G zq74DJq74FcD+Dq!Gc=bPIRYO9GBPtXw>>!mz6?<@LNYQ&FfcGTH#j##G($8(Lpd}= zMKw7wI6*=;GeSf@AUrWbGBQRmFfcbaI5$HyLo`A|IW$B?H90XjK|(h(LPS1Y3NK7$ zZfA68ATlyDmoOUwDSsu+yG}w;5QX8jwp;||au7k0qXI|ql2{mxP+1w@!ipMOD#A06 z*boyNJADEgDlP5x4eTuKbk@*(`DZ741_1s7P^18X5>#!`60z79d*V=ZMIxG_!_a^6 zZ%1N91R`_mZwF#mq(oX|L{_YdoXCqcu`UXtC`v?O?5oPe^Vy_xGNWALg