From d90a014f712be442aa4e38479c65bee468fb7fe2 Mon Sep 17 00:00:00 2001 From: Sankalp Gambhir <sankalp.gambhir42@gmail.com> Date: Fri, 28 Feb 2025 13:37:17 +0100 Subject: [PATCH] Add missing counterexamples in soln 1.1 and more precise limits --- info/exercises/ex-01-sol.pdf | Bin 207768 -> 207828 bytes info/exercises/ex-01.pdf | Bin 147068 -> 147090 bytes info/exercises/src/ex-01/ex/languages.tex | 6 +++--- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/info/exercises/ex-01-sol.pdf b/info/exercises/ex-01-sol.pdf index 537288d75d64490169e6c651ce7a121be3c723d1..b680dafd501b95c33f97f246d2683588579c01fc 100644 GIT binary patch delta 2679 zcmV--3W)WX*9_Fx43H%PHaU|aBq@Jd-*4MC5Pt7p;l0Ud#gWI~X}cj!lL5mX1~kAP z+I5f<C2{N6nQSl3f4`$h%c4VDj^hR`&=*UV$m8AdyYG%7Y45T}d%r!S9oILf&wf7P zy2msDCPnY`q6ZoX)zDK)5HPBDdft1V9lh)4oI=Kd_WwTpy_Xw76u!)X5zBu}Xf(OL zna|3~H~pg+U(Som(*OIjn)Gu}*;zTA4#$_Z5Z9NpSjO>}vN{`1%jrQs7gS|`^|i^$ z^7GV-Vg6E#&;1QJL1=;LF%%*tI12<LAZ#y}lo)Eg+>^e6tQ=JHqPoMbpffNp+>OeB zg7jh}IzkXGR4pcFAc<C@mkWO&b|DBgVECdj&nc#5&<Jl1=d;OmF)M;Z)3d}XP);DN zO*Oz`Q?Z}nD7Wqa?GB0&Y7O=a?j28u=e2t|&t_MyBNy4lWHg%e!DP42ul2i8OE>&` zUVflVjLUQ1Vc;6y`BznWIUg03e^Gw9=`(zU7G^k0INX6#ssRf+!VrH8D>KGO)Cea- zv`k<?G+$V75oU|E8VF(yTQn$M;@C=O#UQkdL|Fn{Et+127QCm3)d+w_7AJ}Y*nXgt zuV@!JI7g^he3AnvQiOSdeHv7x4537F=rROqLu72oiX=s}MSQjzzQ-s7NGirSF&OHN zW=Yi$@k_*Q_Oaa3#~OdBg3I7z--q9GF<a;2pe5**4w8UUZ5^H`%vJb0_RSz63OP=v zM8zh6B8(xUAR$QfhF7eP_(w(JaO@vX%UM2{4@XUKk0-NYh5@)5e`vTgarhl>Ml1FJ zwl!RD(`aR?fy5`o7c#O*;S1SH*+s+QL5k2w1ACenN)s&_0Uv)Th}0+;Jgi}XVKOL~ zjiuBoe@cf07_rHEO+?#t46Toyp>><UnI;T@lQRr2yU<K7d_Y?bIU<d(m={R`Vpz*O znM@pnYujrL_PW!PgM=7Mme6>e^fWc5Lls1zu<b@Pp$fWBi>1-^eEpIVhJ?3NISnCZ z<)T4qsthqwb<KYi>^f5sRj$kwrHRonBA@{dTjxVckU$?aokc>7r_FoQ75OikiOY?= z4iX8SI#A<72=w`8GaU)6$kfx(k?vrl7E$brk7|8hr4)~_n_?qOdrEhZ5oIfM)WVgC zJ#9sUPApobRLK}dwG@>JRIt?`{>J#t?1$fWA-HeDH_w09(uE=d1AQ01h^&wJqJs;B zBQg<l!BH0%SRwY$1$KX2z}9iWD?ikRXa`(SFKhh0Mf>i>2Yd&`$4cx8W1lXQi+yBr z_4P9Ou93+s;>d=;49nuTU26s|?Op>jRf|Y26IJ2bT4Y@anXRk$4kcduV5a?CDV1Hj z&s8Q1OFVx_%>mA0)A=7Co}bd(qkumk(9?Q~ZaqcD*Hm><q7JRHxK=h<Gzr3=d<nO? zWRhPK0ful2T@`@cO9c>^$UK;d?h&xrnt;s{kql>=NWGH&kGs;p1p8wt@I*@iv0Mu5 zxM-H&_2-Quos13rQU9;4z}&Y{xn=zi7Rxmj6Tp8-7Xg5T#}NP{V00@AxTWd(9|$uK z&TA_Xunfpoex#wlq#~T7bC&}?K6B-u^xF8ASpVD2@vWBM0zM`e!kqFgs<8$QDVB|@ zDYw6*vV&yGrF0|JI#-)6s%7<_LNnNXDV8vJn3Q44w}>z*A6+0|_TXQEKkw2T8kTkN zr>=iL$#(HW<eXi<Cn^Mm+6VN+L!sA1XMMqk0#q_qF-;@WxP4x~hrGY6ykot&RmL&< zU-0h=r#<a9_^r5yex6><M8=YpV+kjH!?Q_+9BO4&7H4jU?#lgB*-bGF&z*lta!C*- z95R+4It5<%ci2N`S7qJtvww7ZRnD%;%1eK#Hvrw!S-tt^ekT4+Yx~c=FRIc%FaMnv zBX|6O^6aLn_YD6Vp6C8(MX1*zH2Muich10HZYsa-n_T$+!*E4a?n1+=bOV^y(S*?V zY%(9a5ocvpekrcqZok|2AGuvjt%Cm5`9feZ3qypH4)vxbUMJ(y-wfuV#dtDnw5Weg zp}~mo*<s>c<`&eozPMnWk84+uHK!#ov)SN*cazcFZHcCMh!MUF|6?aG-hK6B;bgnx z4O3^ZJ6$3~GFdW;rNA;M^iSz}V!1<o_%fY1nydg_>xu3$-qy3790<_CO*_73D6{=g zC&`4Nmn=X$OaTnBZePDW#YZu=Zbp9&`hwDR%x-`vC0bwBSc0T{snj~w@oSP<B_^Z1 z)#|z|#$oh2Lfy@+3*{Qz?%y!Hc94#m6{DN0Vo>|MoaLj%?Pyeno(p8X2q8<+7Xsp# zy?;QUcFp|S{RWBEs_<3VavwFf!)fUlDLxR;91LI-R|eL9<ui-&`w-<)1KEEYw>q>Y zJ8}zBO=~Pk#j;}z1jCr0@R~B+2h3<X-C-xJEwdcEa4Q^xfMoTRQ^x&&)Um)DrqPNb zihH@hf6hRd<*A-%ay6o;YjT<YhS_R0C=#+lj_DF+iKHTumeg!JX;|rV4Ux3kThgYb za*bqVJ9ShTkujY8c^&kurdT~?@Yu!Nx!3`BFi6~`d}Ry~B0Bl9Mi05rLpBG8mZBYa znL|Lna#F<|D8v~P(ur!VOqwRgr_cTeaIHx5gTV)f!3P0{!3P4j!3P7k5Ck(dGd7oe z7y};!Gc_|dx1SgTJ`hqdFgG<fG%++VHAOT=I72W&GB7eXLpC-rH8n6aH$^Z$AUrWJ zH#IjjF*GnWMKne@Loh)yFfunoHa0LdH83<cMKC^H3NK7$ZfA68AT={LAd?{^D1Rl> z$!k+l6vy#%Uh<kW&73B-b!@E~tEp3M9cmq_)f(rat#ytYL2xCw5nOl{uBt2l0>Qmo z>#jRN-0Mm~5QKstD2RH$Cz}ty_uhTy-Xy<>i2RF0;yJhi^B^kopM{hTSc9Yx!Cvld zB_$vUF;rEg;IDN+igjyXHS}_?6Mr&X_P{DGyGZMx5Bj;6g&db_NqN#rQUQukf-+Q~ zn<aIUZ&XuB7yT?Nc(4%$xMbgW6ZEOn7JZ3N_Otj&H;_1Z?3;76*iYpH*25t9I-l(G z{41%e3{Lsb%`gO8U^g^WMqc~VVb})SVF&DlT`&TNVN_*u!QU8zJ+Ke<vwyE2V;l}} z=|`J@gK!8gz!8<^U7s=uN8uPu!ErbN({K`+a0*Vt88{2);5@te2b_hADzkrm{3W;y zGjJ8Iv6x>Wz799wCftJC(1JUx6HW9!V3bifqi{yejG7rWvksNkLtm0odGXFuT4nL0 zr%sjSyr+z6`K6~W)q69ZvVW=z6;C<Uw{xEIs-Fft6*Nk=-zaL-Kjf*TQS+InvPMtt zd#Y&k>Vv0ljh5QGRW*8_^;Fa7OGPyLIvx1-IPm>xVEK9A$5P<uufXp{;7==jUKtA{ zvw>7IkQoo;!qY_QQJ~r$Pmzow8O<@8V>HKTj?o;WIYx7guGuJ18XKcD=KornW8NG} lV_upGP4o<hjp}dYKd;PXdY5l210D-EFf%m@B_%~qMhann@s9ui delta 2621 zcmV-D3c~f&*9@4~43H%PFgTZ?>;fo%?ONS$+cpq??_c4)$!Nuq$M3Y=kao#{VGjcu zU=Qs!$cf^(b?nR^OY`6FDAKa1(3ayk0SffRvLy0&cf8;4j-+UB*rUB)U(k;0yR#QR zo^st|ngElccXrtW4TNgwDJ2LP)jPZBeazl}=;xe5#)0<#I{U4c8$lGl%z+Vq%S>oA zy}ns4%9(HadodX<i(%>S{+LbsIjHQsoX<y-VI{=%<t&zQ^0l0ukLKn4sGkd}vOoLU zWM%nf?!_>FDJB>G4>&<+f$1?6A|*Hr1S249FPD@UYQ5akzJaV9%$CLM4!eTRz`SyQ zR0b5J7bDRTf^eZKF*yTCv=Y64TmZ2vL8t-47qxj#F)f2e_~&@Jm|ho)B1kknORNIr z1k%b>11vTb`x%aMs}9iYpctXnV87tr$$WHCxtH^7apgL4kzG#5<7ppEcI*6Fy&E@l z!`qAU6J=sjUic0J*Z9uAnw7)lxS07D<=2}&!$)XghO>mj9XX}yU_nQJ7-FF{V~j+N za56;01O`O&l?9h!wpgQqAl9%|gW@%gt#nolLd!^$CBW6H=`gh5Jw>d>0H|egqF4yq zPn7bOc9DZ~3>Aw{a^OUYFfVXOgNl?Plt>O;hCpSAj16f?Qbb#f&ql+Kh%$hrVvG}m zP_H#hs)iB2j=1eUmOJ`?SR++%8GP*f@Ov(1n_L{U1l`a<5>TqC!^?!Z3SY;*86-p@ z$LW-)*aT37F=P}Z1c~18idBez6cR@h|9D<5^1*U6uE9N-E{X*Lu#G=7T$&hu$J?V7 zdjQ)xTyN9S%2XW^pE16WkxeSTkgb$mH5?tK2#wTXPZL9FqD3u#;1dOr8U?|_Y8DtJ zLBVV+rBeBG8WLc{HtRJJP16xte|JLbHW6o<FbtfWA-wELGr95sZ8YQ<X}o1#BngON z4fA9&aS*O;uQAx$PEQUJVk}vQ#@nQ)sWBa@U<3-=Y(x{Pp!>8~8(q!UPbpzYcx#o@ zA;hd)HAqdBAx5fyu9<>;XDXt~)=W{F7!45tb>Of~KBNQ*^g+{EB*b{yyf<Bu|Du@~ zZsm25Na)lBH9mwupYOKQk-&;fJs%zE4mN5K#i979(&tS|@hEmvY=mh~=?*fYtR*3` z$Pg@w_dslHkwffvGTZ1H^JMI?*)=aWQiCD_LA?(*MAk=t+|Yr0u$bsojQjUpxVJ(a z9{2WexM!Pi|Hcos1=)a$=XE`Q2xLF9(133Mn=R}KW1lZ;i$i2>^>kT#Ut}_iabyE9 z!xH$HuJr+z_MpH_)g6+{L<P99?$`t&vvZ~1p~PDcX4=n{QrWfJnlf2f&OvGpa2D&% z|9E(QPIHfc0{*BJ?(`JhdWwv1sNkeT9U3KYrEIc55`;hda&3EgB%d+@b}EkSL5icm zMCQRvbdP||&ID|piDWp_L?TwB^ncQo{w3J&W&ii$V4r0xbKCgrn_bl$v~*7uPksw? zx6+*f;n2eFX%}`u!sD>Z2pHW6U~Xx;bO*xBgHuv}t4>^F>5U(0<S!|3a&+!`z{e+@ z9F%U>jIE6@v(C3HDM|_6s)AcfSWfv4g;bqJQv?|mLhcwyWk<<uN$FOWbgnjCEXk^^ z|9Y_dQY>NcFe#&yZ!yBCd~|L{;$M$*IEuJSpF3FA!JoR?Z0O>L$T|CN`zZ_xb%@Xt z4-LJ48lBYz9|}-OtYU^mrg6uy{;2oc*hhPU&7yt7=|KBvQM%cA7rC8@j3uqF2TuEj zXVV#SsFhh+oV$axD|e@|n_?86JO7kqNH9z|WGp{+3cT{~u!qjB%BtfR|LFFrTwIki zFQq!Cb59r58J+u?`ZtYJI`_VqmHv78@3I(wyRQT&&u(Vb(cXWfi`;(!5%#pAX!PfP z?sEWtxtaMT+w{`kkHQsIxeE<vr5nIBz90yF&!@|Y8*x$2%CE(>JCt|F^J90|s8!H^ zcCivzEW!}sgM{jA5wFup>HiFtp~YmnsI{m}p}~l-V=(nDb8F#BUtDW0CzUJ6hL0M5 zFtgd<fe+L1(w$tUc!&|chX08Z7$1`Qv2e28R|s=wu=@x^h-9*46ib0MDD)5MdSZQ$ zeEd3{IO?nbT}y%PF@C9LJ2?=bgX?yD!%$}Tp-z(tL$6tY_%H=9#Jc16<`ln=W9w$@ zLSIn2iP;Shr9@*>j3r3Qmr9MVFMdvcGOKi3$BkCkWibh(R|s`~ZXJ}X;C6ST@Y;oR z)T|iaTor@L=j9?Ful|n5W$3wztXBcD6n!Be#_aub{K_@UYxf%@&f3D;Vaq*gZb$Rd zF;aYPU!UJIcO0+$2Ax@z-^Uo})~M_q%E!tvdyn_hY8OjPF`b>@6{potIL;@3t>Pq_ zP8OQvZf$6-V-NsVF$pt*R#&WZ-Pb7CkQ!em)VP<c_|F+QuMSd^i#bz5*X%N1M>MB* zP$Z;<EVGL=8A(g(wxcvdFg%;W&|OS8H*GN3;$nIa6^m7V5JXcQ`<S~SxincGf7yYh zjd96DNGH0nM5vpboW1xTnHCuV=7atRhyDivhyDiwxBdqMw-5v{H8eAqxflZ<1TZx; zGq>Cr13nN@H#IXiI6*-)F*P<YLo!A*IWsadG&M0nGetx(HAX^1J|H|dH8VFjK|wSz zH8wCqGDb8xGcq$YH8DXmMMN<*MnXeAT?#KuWo~D5XdpE+IG17O0x5qb(@RfNQ51&Z zwRSm_LMgPAV!;b4XcbXW1Vse}@AU?#DBf}4z_C*uxDrP?F>&b3_#@PTacqb&VdBh0 z6BF-=i7_U1zpIlc-#KTWwRhXEA|kaQlAMPNFb|?K|5Qj#5gQ~a1lYyBO{5ewKmwgA z(&n!<LYj3eVFi@Amw|s~E|<Y_E?Y>w&<(4(mxWd?SCMk09#R{$Lmmpy0Y#QnNWM`? zCH>CN(#3;yu!c+aP1ZxVO6jgI@yUJ`KWRUSgD1W@M@#%vK42~Mfv@w)KF`0Bib`L` zhi-t4FaSGXP-XbGKiv#lU@Hv4HrNisupdTLrl$RkQP>G%u$zB<{TO>-FPDC_ahQO8 zFawh+)d8O}1qa|D9D>7e1dhTnsKRkL0Vm-UoQ7$3^A9)&vnq41eEb<W3+Lb>Tw*c5 zLUI|dz*V>g*I@x}uue2p9%YnKIHPbz&5W8EHM2&Qg)v`}R(br;Q<KVzC!R7Y-`;v^ zRxRB0)S`N;>?wb%`e4aZtLn=hPdU~1A3e2cXsEx@uA%p<r@V&hjHiNzdqbW&G(3Cc zsi@&~eYZ{xZx%h3G<;YR4WF`+&y$fa)yVhR$glg6-_Ij|enkHDM{0lLhfXa<(z!^c z7Rkn^sr*EwSRYT3j3OD$F`8pE$7qhx9HTi#bBwOp2v8gvqcrCKTAE|t97<zensH5a f{frw`?#O>PhifaBt1AN@3pP17GzujpMNdWwY*5{7 diff --git a/info/exercises/ex-01.pdf b/info/exercises/ex-01.pdf index 19045fe56252521f8fb5a407fff6869b4058ccea..0f5211a454b97081ddc1819637e393e7c88e3b34 100644 GIT binary patch delta 2514 zcmV;@2`%>g{0Nf$2#_TLIX0Kk2?8jQPY-|Zm#!U<Zq0z97zQlB9-4KK6U9-RNSSOm z$$tF~MOu~=+Oi!rXo0@?B9VvZ`tckd;%FA(=+|d>;QP(VvmcI`iikp#2p*kWL{w3P z6^*3ih-w*~oJa5DpZ}aB4AYoVJo)?Nw<ysZNqCu1f(+4qP<ef`Tx69S`YtVI%XEL1 zxqp9D<s_jpKFj9wyqMKQ>|92=G~V82)mc8z<}W7+$1?tFqI8^PpXQDXabIb1?tV~9 z2qe%E0U|<BD*-2nauX#2BaMxtdpyxJ&ZgBet?pqeRWa2s><<}JOobyOKoJ}<E^9Ig zp#mw%ql8mrR)l~90xufzEMrP|j^KaC(Q;8<r;F56)R93(QfUd|T2xI*S5%m%8PKgK z(DnpL5H=d-dG!|a{Jd5#WAWnBPGmg3D6g){3Dxnf)ocCks>K`pJ<m=t;YD`tCQR+% zd-tl!X3MLzaxb#Gn+btOAYlwvg5_RXrW$7fMQCJb&te3127xhnO9VoZVk>_MF1)o! zYXC<^lhuIqM_5~`IGy^D9a08SCRameegumoG721^p~a9S-fd4YW<BmY3QoXP3_M9F zLxOv|&@lx{LxNx=7#$LX)`EzxAU#SFDFgo58u%WfjM5-ugdq)~-f$LV4LpABaocq) zcGR%~s9?hD*v(-NR7^Ih*mHkLRf`9KsFZCUo(II0@Vcv;X@C@9oC=ZZia;eI1P}!P zL4Y<KV|BzoDiZU;J)UQaWV+0+n&2+VMY@0h?8hGnE_65ij<$O%%%EgvcfAdJE0K*$ zd<6djMAjky0<@B5H86h}0yNaPJq|3Tkm3!2Q%rei6$l>Epg<lB3Sxh{RBDz#hC_mC zzD;_Ccw2M`tq+5tbsO+Ag$OuKLLj`%iZij&0d5Us;AyNUUWXDznzY0d!HokkWun$% zuLm_b4UjQt?HaFxn#NiWumT>)O?wayumb8+d@Xcsub)E10Pxl<hh2ymu^JFEl}1{~ zAxqIiE!Ba_o~1AjtOkD(K^w;*n{<c~0O(%kOao*bY(6koM}Hkl%(mh>6#(eiIyF3` z9zNe}ha(OdnS44pQUhqz0*bNlsOINYi1Ci^hR_JMJ*fu32$LQhwfstVHEnp~oshH& zA%igtY)LEvUP1an{FULG9tYnJ0l2S2H_tc1g+v?z{Sdt9NZ)_KivcX)7RY!P3w|EL z0>k<ESYXD(0<sAUUb&^VL_39odY$8s7VU>8AM_hYK6<gowRyUooR6`S%P+T+9~zm& zfFBtjn7%CjWvFIg!i*Z2p<F~T5y%QR<|3OyNbj7z4>0lC1v8!`Qp)(+9#`qumv}T} z1F&K<`5zaaAH#pxBPrV>(8GN4VLo}xHe_`|01vISxMnt(G;ze9yoB4HGKnwg0U9w( zhcW;&N(SJONbikA4**#248Zz{K!y>8gz9boZ-=&jLCyD4;E75BzAgn0ESkkPeY}x| zH)D;z=l>fsFncyCcFg~&fpm>@0pNHD0H~mk0|0`kR;_<1U<QZte~O6Sdtd8Cz&apb zxs`JF6^d{M%3Uw`_?;`EQf-WH0r|h#9^Z0(7Vsfh2s6xf$i^CP2%&5zo3i~S8NUo} zxfpMSTB~Y31hu5@DKv{cq+$@E`%%e5x&;rz;?W5L>>lh3;OBj~p<&1XeyaLNb_gFj z$~p8rQG$O{$T3`x@9TO^bk<++kW(3qRoJEhX>6a@^^nKgl@H7}ciM6E_yzx=?le-j z!L{P{J)Z9GMB1R<wS?n|W^q{oh8huP>6z`&UD|&#zDaZc-0CMoGX!qJXiSnL%fJiw z4rZwMGOH(ka*u8=v&CgrIVyDn&^}$%%|H85x;KBV_Md&9R+)RA{ku%B?DYf8;+v}O z8Gg>s6L+=3=W88rbPYv&&%k}%RIctTFWmp!e*-J`eqfc^1$66bf}eX<E(^QjBCE2y z^xAg&ZQuXOb}^Oo{8#5Ig6YC9;cq(BO-uMLi_HC)F8zq2Tr^zNqF^tCKXxdc%4|Vh z^9z3k>$0d-fi~QhfSt{V{%r})@Tws1-<A;T@NBHk6mMDG{&Njm;PV2+F0K4mR{qkO z*|%<CRAakZjU3cg%oo-2Y~fy~c3$Cr|9(6ngv3Xob3jI074=bgi;=pC!Ii#wTxDn8 zAsB}8o%eJ(EAszVZDkPX`h{;PqYQ;kFAaZEqS4K}U=S<4PX=%l+*gd?od~Yk3&Meh z%|rAU>OfP?5I`6=eDnUy5R{%#Yf!&qPHdeidWk97{rbVX;7MPPGZI8I-eWA`oX69= za5s>^R^U$HZL6yR`R9C|PwOazzw1jnJZ3$aD1*efD-j(_q7}Vu5{XAk#D^tfBTIk8 zc9LkIHogcFX;mq^^tZR>e+@6;WXd8%YtShsq2=r^wo`tvm%%rtc#@NCrA{Y1+l`%Y z6+>Bv9~u;$ud9ol9AlHBd3&kH9f~~QxG$C*MJzJ7)&mFnu;;n;0cPua(GCaP;VW~) zCuaH}pWn`HFv$dqA;opKs{%P;m4!-D09{{0#r=@&X92Av%6ac**)(^lCFDQJUFmbE z@}^D!v#P!-=ARX-36Rk|z~wHa0*Kl}8_1R!z%Q)6Heoa7?a8zM0o9Tp4ub>;hXe=# zw*&|R*f9h%HZVAs;5h;x1T!`;IJW~j0)YZiF*7nmFg7_tF*Z0jK{7%{I5#vmK`}K% zLPJA1I5I{=J|H|XGcrUlHaS8uHaIvzGD1c;H#9dvF*QU&Lqj+?GDbu`T?#KuWo~D5 zXdp8*G?(EI0x6gNJOT`V83V>dlQSk~8<R}N<eZ~~fQAJ?H4+sPqGJz8NM<1vG?a#I zP{BKo=F`#W&6_EH5s_a<B&8SnpdUn?mWWVka0ChtRKX!6K{BL3sfu{*YaU32P1t}H zNQVqqhIPn<ZCHgJ$bxLxf*e=_FXTcV<bw|izz>B`1jSGS`_Kq~Wh!Yw`;!4EhYF~K zYN&xdsD(P%g?ea!9%xeWecP*=p#_4_3T@C19nc9~&<z7H2q6f=5JX@YMqm`iU>u?< zMQ`?#6DrX=Tazl654NUMo}#v<RbDS_&8YnNZOy8deb|~)jr~8HSH1eO6;pkjwY8x7 za${>zHSud}Nu8v1Q!@+CvmyQ6ko9TsCJerOL*cZc<kk>~8>;RNb$f=!n7!Ztj^PAO z;SA0Vt~nQubIxUEE;Dl(m&>?Z#^rj{30<3Wk+A#$G|(}Q3T19&b98cLVQmU!Ze(v_ cY6^37VRCeMa%E-;F*G(bIWP((B}Gq03QOaAR{#J2 delta 2470 zcmV;X30d}%{RsU02#_V0aVi2Ukx&kQd3f*I0om3J7>Z%Q0_<U32RTt3b%~Y9_S){( z?@*LwQK2o{aSIgai!Ty+cy8av!wXGj2~B=_LPx&8zj*S^IoAo(1eg@b#dQK22-T1% zB?uUmTwEo8q(A&N$vB0S1D*VN@pF<HK@`5sfDy|~+o-y`UoDH;H+`MYXRCaFR``Fv z*3~2fm0lK$MLC}}LR??YLK&|<6!m4fC>GBrnV>5DeWFcT6n`(g80Nq7`IY|xP7qpP z5{5#g1ZRO@1cXg8Nr|D>%RQeMNQ-H`%IlBV6?6*bnfswqpdh^%iH;D23)P6p7)YX( zNHPJ$t_7h63}1BSImNVWHNqc%XRBp(moM{HqDd^V3X~H_8&eIi&{XVaILd80K)-`x zgj$3BTKCQu<yGTe&eP?M>&QiVUESVR6ENv}=hx=lZBIA+dsV!lOw5Zb-(l(+fAp{F zVz#=?YyYD7a6e)A2rW!8N;uqer&O0L=m<kB3?jxz&<KMedL}R+ny)Q?xNf7xdJP1z zhOHaq-{ROxr}?yP8Hln3xLP-zwJms}h}D<?oh(iiYt!}(rF@`W;NT2X#p06;IFX`_ z3!KuRJZ1<blEauG&=?{^Lk5x*(H8Tw*YFQS89-Dq#)(0wcbY|2!;If#+-@JsJ$<Z^ zD!6QY?ECNsE@s<Y+-eDbx~GFApj2Onrx9}%z7Bmejfg^y(=kz@37`mL$S6n%620LS zYY_h^B$jjkcu_2~>8iZ#z&)>)`4Ry*#2*?iO$fiU-PwvgfbE^G@8j9ZRF@L(Fu#zI zO)S5Vt(09iET6{+jdW>GBSUGTMJM151rZws!NWQhD5IcYHk8tTsQfMt2{2-p^_qyj z=?Ja2qtJRE$umtDCQil>UUsdST>F6b8gk4uJ}@tk1jMkOc``b25Uy>~8|>w%C#MlH zmTXevWz^Hum=RSl1BLB3q7hZleOhdcZsPS_Oc)a0M&)=4F)P;%Vxcm`NHrEII5tuN zRSqIWX=F4+1aygi!?yX55+u-r!kI_Jc-njruE2jmBxXB#9V8MubxDm6p{397chix; zicEbzI?^L-)FX;h@lm7Ci<sg;?#9>%r#+=d$cVCmguo(0uqZwPv7to{v0uq-t82_B zV~_2wdAgMv6cGsOW4Ix(KH!EC+=Io5UWK^-VGQ?Hh|}YL-kuKkY#Z)h_@Q<n8*uTw zspn6D>_-+F@C9IVfIVUC=bN>~DQ0c;>1OR?k;yFPk!^w5E`fg>TOV*~PYTRf-66S* zRDfISj%^S!dspfsO1$)7rjtx5mEO6nDU-I#If%soqu6!+%fs_soO=}TM@`{QPcg2i zNcoluPD<2&p;rPo%0>$$LHK81uI(<5<fqJly^14ylH#akB6BbkJs@DSHvyZ^L^7Od zA`z>>^#5vX`j=q8mi=FggJYJh%x&YdFLqUP($YOvJozom{YrNRgu?*4=VRCf36H}r zBVcqdfw`se(j5ph2Tw_ZI&p)g7k;GDf5pJb(Yc#{0Utl<WT14vW*lsUnazC5qN0@G zgDQBigyod)QAl;uXpA6(LdYEhsq}etwxo0?OFCDZF_vV_)_*tHLn)RpI7~_z^DSl= zm5-j=k@z>`oQ@(s#?Kur8{tpgY&MMXL*SfaxBV0*g*rv*i9=JbLud1a4+W?wR&j<! zrg6uAvHqy{%h*Tz1e-<2rqhY`(Sqq_?_K2KOk^w>+#Wce7@k%&a;TMQkzcxlv>W$N zrT2N+K6m~p$c$i`a7bBp<`j75-(e4(-V{y8zx|{4H^uU%sJ)ctoX$O6HfMD1qw;Th zr*!UpUKjp(@y{y1b+-g4Pw(sIXz$<hD)TpgAlf~xARGO;pSup=zwT?lWUH?I|FZo? zRX(;2>%t9SdN&B#zL(W%?nYb|b@3s;bBFToc>dNMHfq)CUtg^S=F4`7_Ci8)wus-= zyzoD!tG30wT6S7ArqI@icE_OdE^}+)MqgZOuI7y^$d*eDII~$fywo5#U9Y8wmm1`M z2A*BixfZ>syMO*%74^JEvnyx+t+T&!VQx=Yu~iql#*G5qHeW33)#cK^&RxH`|NYDP zgfW($#kTM`^cKTs@hL``4ufldi?l8-+l1g0SKeaa%h|mAZ+-fU2HibtPku>3VjGW^ zXxaJZbri(f98v+CMduYOMS$Q&y(k@j7@R!hK%sz|8ikO;gcaN8XHIa{nDiPA54M?G zB1#q(rfmOP0<WW+bOX&;l+DCIu}lb&PRqH!D1@=Xbi!;~pWv7OmWy)Qpb-CV?$U^q z4{QRCg>h&RoXVoLyj>Q_M_VMuE#fD(i0@_5$hq%zR7h`?vd=N}&ib#@C0<N_Ii~0} zdP7-kIQNV1RUaG_@U11D5^UE}C#cT$QzyQP0UqcBQPag{b+K1sY;&~e54G*+KpqxU z*kYDCiCJuPtOp77_P{OYBf>V!qCNJe<2T#JH@nPHIlo)mXpxB#BU+g7Km=>Tx`>qk zrnxOjhmajs0lnSD#oz+iwDhGlCDuRLhpMfis{5t{Eb8V)SNm+f?tm4|16~d(6-gA+ z%H6f)NWVDxCWKv^R~JwI2b%^9vV$22hZzU~w;2cm*f9h!H!w7p^*I6`1TZ%+G`AQ! z0)YZjK}9t<MKv)*H$yNuMMgq5K{7KoLPa)1Lq<VHL@_ZkJ|H|nMKw4@H8DgtLohf+ zMnX41GBY+pMK(i2MnOhIF)=beT?#KuWo~D5Xdp8*Ga!?JkSKp8(l<^6Q4~hudj~Kk znrM>AHYR5bHYQ_o&N)hij*11$0ua4f0TMk04JEJ#7QhZD5WMqfJ{^tTyqV$`5&3mQ z(t4o}A|UEChlTRO5hyrN1BZ|TsgMTcD&n)Rc_1A&VFOkm12SP5)*%bFVHI{D8**R^ za$ya8kO%ot0EK^01jXQo5-5c-*oQDwsCfPMCj(FkRZtDJPzQTZ4?)<45Hvs!G^!MS z*sGeL8Cswf+MpdepcA^F8~R}Yq7Z{Yh{F&J!w8JR7>uiwJlIc8sEl9QnpC;EwUto0 zZ?iR}^0aDeTIE}8&8Swq*qT+H|9>{8di`!|UiGfW)`C~+<DRWW)z2?mOX{R7m|1vS zL&mcq`_<rkGZg$7{9T5!3qv4jsJSr&6NYfaUT^@%Z~~`r2ImGYjU_qfGBcN%xs1zY kTrT5sJ?ca^&AE6;{s8leFc+6;J^~;KHaQ9<B}Gq03OU1)g8%>k diff --git a/info/exercises/src/ex-01/ex/languages.tex b/info/exercises/src/ex-01/ex/languages.tex index 31cbd50..ff0a1fa 100644 --- a/info/exercises/src/ex-01/ex/languages.tex +++ b/info/exercises/src/ex-01/ex/languages.tex @@ -16,10 +16,10 @@ \begin{enumerate} \renewcommand{\theenumi}{\Alph{enumi}} \item \(\{w \mid \forall i. 0 \le i \le |w| \land w_{(i)} = b \implies (i > 0 \land w_{(i - 1)} = a)\}\) % 1 - \item \(\{w \mid \forall i. 0 \le i < |w| \implies w_{(i)} = b \implies w_{(i + 1)} = a\}\) % wrong + \item \(\{w \mid \forall i. 0 \le i < |w| - 1 \implies w_{(i)} = b \implies w_{(i + 1)} = a\}\) % wrong \item \(\{w \mid \exists i. 0 < i < |w| \land w_{(i)} = b \land w_{(i - 1)} = a\}\) % wrong \item \(\{w \mid (|w| = 0 \mod 2 \lor |w| = 0 \mod 3) \land \forall i. 0 \leq i < |w| \implies w_{(i)} = a\}\) % 2 - \item \(\{w \mid \forall i. 0 \le i < |w| \land w_{(i)} = a \implies w_{(i + 1)} = b\}\) % wrong + \item \(\{w \mid \forall i. 0 \le i < |w| - 1 \land w_{(i)} = a \implies w_{(i + 1)} = b\}\) % wrong \item \(\{w \mid \exists i. 0 < i < |w| - 1 \land (\forall y. 0 \leq y \leq i \implies w_{(y)} = a) \land (\forall y. i < y < |w| \implies w_{(y)} = b) \}\) % 3 \end{enumerate} @@ -39,7 +39,7 @@ & A & B & C & D & E & F \\ 1 & - & a & a & a & aa & a \\ 2 & ab\(^\star\) & ba\(^\star\)& ab\(^\star\)& - & ab\(^\star\)& aa \\ - 3 & & & & & & - \\ + 3 & abb & abb & aba\(^\star\) & aaabb & aab & - \\ \end{tabular} \end{center} -- GitLab