From bd0feda10e81e8ecdf1e9af0a3e8dc0208c43a22 Mon Sep 17 00:00:00 2001 From: gsv Date: Thu, 27 Jul 2023 11:25:29 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9E=D0=BF=D0=B5=D1=87=D0=B0=D1=82=D0=BA?= =?UTF-8?q?=D0=B8=20=D0=B2=20=D0=BF=D1=80=D0=B5=D0=B7=D0=B5=D0=BD=D1=82?= =?UTF-8?q?=D0=B0=D1=86=D0=B8=D0=B8=20=D0=BF=D0=BE=20MCFL?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/beyond_CFG/presentation.pdf | Bin 334758 -> 334876 bytes docs/beyond_CFG/presentation.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/beyond_CFG/presentation.pdf b/docs/beyond_CFG/presentation.pdf index 2ae95c23f8d2f78aac710e80353d713dd85498ab..4359761fd56a0b37e6bc10a8ae4564596860b23c 100644 GIT binary patch delta 8301 zcmeI#Ran*gn!s^777YtYK}x#2dr3=ocP+XR{zyqlN(h3m$VCcBOG>A-bfldZdKRIt(7UiZ+Y%Z&S4_Hgaf^yHtD)-F zZYoGPnqvg5d5FiC&HeCC{%1RbxphYSQrA0QaK{bSdm7IQPTh}}8#N2R9bJ49WI>+( zO7dVp5lt>0Na4ggm$o$DXbqB|cTL~52A*#}guMaN3yZimQOH-dF0D_Co9P{op+EQW z5&jIPC)Pw3_LF7PQ6W@+Ct};*$?Y#3czRHET^6=Oq%+qa1y;D@b+^8c$@lePh>0TN z>T8WMR_|nBE`aqmF>TOnJO#~Jw$_$uTe_(ywW|>m+}QrtjLMk5SUmcriPGqO+x*-0=y)O4*csPQ$`RX;A*k3zm8Kii0ZI z&_Ow7*5r(7zf^enDUurY_ZlTSMULkj5I|-FHw>rp`6~ai?V5pK>2yQ-Gpg|Vr z3}3C4%`?aCZ6JS`q6zKKOJwwkVHl+i)zw6970%9bq81N$6fGmL<*yrT@y+Ql4IgaEDL~sT#C7!p zq7WZy{hKm0p+)&sXjY>qj^glxpUb-U>Ol`@OZ$Vi3|Gj8M6)54;8K%++gk8COixLV{847{o@c}(-sD@idD?O}Z zOcO~!XaFST7-{Q8?j=LF0d%xH6EWDZqG^1aJ&GmK5kRl@9X{OA6K!efHkp1!Qu^PZ8OGlzn&4==tuxMv10nyn6v>`nea zi#zY_y1vX+I@j7!Xh81KMLsjPYg??4_|v|f zT|Q>MCY*wu93q#;kkNh#s%B!n>B9Pzm|k@1aW7Ax0m;&f^ZSM;@dI2#3OkAw29tOkoF z6Q6umQB@WYm@Z`+I%@66psX$E`8rypKXFU}M^`mC+vnPfxq~VH6lk+Z`{FKkKd%*g z7sY()1{Ehxudha3z>Jd71D=?s+Xj6^LGc=9ec{nxNEPGth;GunfYrb~jI4gCLqT=? zbQ8oOIANb@Ig5Rh74Vfm{FMY=nFii1YAomJkh8x;Tk$&xIZNlcoFuK(a_2ZPqegmk z(KT7*JsU-EZ}u2nW!iHQam1+3o+n>!Ag+vdmk=n;N=#(`%-%~c4B)Wm&Sw_sC}*w` zuFEQ+09bEL>b`scjazOE^_8L6DAR(62eE$RHzIA9$2*0j^6bwZt~~Qk zoOh@Y=T%vIJyPh@*nFp^O1eA65;jI+~ZGilu01QytklbvwCd@>yW&t{40r zHs$y1vaNi8&aDXOWm{J!F*3ARLoYT|a|1V1pJ)-6M?x(9_C5SzIWO(fyXWH5>0ai5~go-T;^ziK?R5kX7j4&q@x4x)7kM_)t&;pwQLHjrYMBfCWJ3A^;$3C`)(r2XixD)d-mXtkR{e94)k?bG zD4a@vpw8NUZ*}!@R+;l6C$!FhI}G#|84}yfwUUsgSfza=U6=za-vrTJ<}xdrJ}xp& zGV>Z(=@lF%6p8;}7U-BnEz3aFQBe%6PYBeTiy~_5g1Wy=lqaNxgv9$tJjZRCl1&=5 zv?h=9VqkUQ`dm*z3TGC{ap~NGkgIAPWJ&{CcrB49Uv@0`_buAZPZ@$+*~h+Iy_r;y zW$??{eTLF6D%8AAzppvLC;9oqdz;T=jpzQ|(`Smsj0oI~q$q|fyN8?Q%O&iP?&&tNYsE^Irv^}n?Mw*GIh^%Dvb6P@Xc4}tNBh>7>@535@{@UHYDSwBS$pxy71M)zm3 zTI!umD>o}`skZMXIa8FbDkdP{9X*lqDz8}}!p=&CKS^QxyEf0y0T0?oIA!`eu&Gnn zGymswC&V~*e8-M*)A|N#uWMA_xA3X*%k&b6@Txk#T{n9^2X5up7pTxPH>vCPgyAPC z@u!)WIg_#K5^Izg-YBi}0J`|;dHb1;k&n0J%!)^pV(KSL$_nM-?&t%rN!=`g>~VDEcsb>BG(O9`hOqRG^-jpwum2?@nvqf%*k$0*9Gu1 zo;r=`th6bAveFBOzh2U<_+&#Jf^u%prO}1f=ScO|#4L6Cei{*oP(z4+^^-iR!~7gc){1Q=lb()>f-ylT5rI#SMDQqs@^+)+I zQ2^wU)N3<<18ESjN=2MYF&Sh@;cMnk`7{Uye%XAk!?f?&`u2*ip91V-vrlV$NhR)CN{0Jna|wuZf>&V2wJ^Kpe^d?07|0i79O zR`7VS>>(Iq8rafP7T8v~OpQlhtth z&lyW=QVEz7f7q?}-w;1LK2!!1Fq+2)5;Wz8Dr+jpzxLGVrR!A%*YpIqn!$TlPZU7$ zK059P*JrMhUar)CvH5Q_mjM1|^Z38neDY6i-trfl>;1*%^nYe^n8$JRKePGoGzWg! z{7~*c*_`0tZBF-Bn-hfgC;bm?{`x;`?)$sVp}*T4>u)x1`HRhe(fpwku)uP&2RSqA z;kY%%cC-k%?~o^FJe)3eXLZcgzW)x~=Y>5$!#e9#R-f1$Th!Mq?w$aFi&n zQD2q^^ zZ*6`iqU00g{{571;9_v-0-iTBvamI+m_#qx8sii$DkqTuu>fAvNA{7}*~MPXDo^!S zAqodRtlbQamdcJFiYyt(ahd&`cljhPgq%vV>tjK^up;}I$;Az!SR zHvoMie)Y~RklO>2vmwppR|Y-lR%Tk{UgzB*VQ)n!5eNxT+;2F|HGQeoZpct(Tv36? z`>?~h@Ml&3J?g+8tKR;ft8V?jtNH=kZ&kg!IsT#QzegSTZ>uiwcU6!0RrRdD zR=wgMt4?Aw{U=pV`LC<~d(?ryRUPlos&4dmRgaVgjQ+1xU;4f3n?{rPbHLwM9p@jb zKJ$mFL(~3Q)f4}$>Thd7t)I(ff|+eHaHc~|;L{YMB0mHrCDZ^Rc(85OA-+oO@y;qe z#9gtxPyj7->4hYaSanj!BVVEVpy!u=6243IL@GnKVEbubg}(0jG!OHM!EkD3&;Gl1 zHhd))ma2-kZWJ^oBIaQooL^q=m;bPy-A zF*%v{NvfW8@0$Y?@Z|P#McW8Ss$+^VGU|A#=-OBjhgHBCm-cMYiE|wMDdE6kj#96r zfm%1rg1BrjL&Ow~`Pc)c4Yn4y9TZ*W8y!0 za$T6W)1ILG@K}NUTUpB9b#D8EN2`ZX3)daO*Vj8#VrfGMHTGj{mkdjH0y`PbL3)8k z$8&HTo6Ejvhnnxkq(?0vF`w~_`LEFFd86-Sid+dKL=4Vu<=aVf4EhF3p^s1WFiux_ zN|3@7!SXo~Tn22)?2Gvyh%x0SiQ7U3sXXsh#eZR4&Ga{{cN+b|y8Q20581}G4g3x3 zDgTaj=2pUiUP!J6^fmP@D}*Qpv}kSDow9nl<)4R4wS3 ztCrPY@4tUWGPnNqzxnp!8Xg%Q&AX~~MSYRN%EKVdrR1B_-rPUfXjM#bfulwQtwLXGaZ&E2_5-3-o zJ?7?lgiq&S(-kE>=rGJ1dy7?#9~IG$_9HVnQ$C_ zZP)0AaIBRygb@`Vp^Q$dwWrv@#O6&{;}&p}Z1*&{5ADU`6IieHaJcMnfW%M2NZS+{ zJE!ndGfL*_1_S4?ah_eNpB4>{->S-3qRgtY>Tjw>icNvJ3SAwHFs#v8cH(c-Evo*3 zMzCqs51w^YFFwwWXZEj5HR#k<%&InltXz+_1uaezY7CABZ7x}`@8Z#BM(WwK>Ro0Q ztcK9Cw{S%CD);4EgNU8)o8a}(R-7~m?XoQMa*izf$D|FM4GdOk?#iVkPZJdEh-^*h zaVd`|7mk5<3VAfjF*yuDy$u<~^*>Efvtn!5&*d+@lSMB}4YWtZ;@@zj`!0x_?TYf$ zawOO|=?G3I(w%#s+sqD6k|$QsB6pn>vFyxlNnVz^xKAt znry6(HhI@#C%5}ZmpLW~YgZCdP*(S;El%nwq-O(1+hn&S8)pr*KWH~rjgydw*w6(p z2%PSR?EUt{w?2Oj++S@0p3xWU2Pnk(37<(&1o~$O%#PDWVR;{yUE$DQCA`&YJDl6s zO$@twxd_aLJU%ex3gy8?Dbc|9>pF$#NBQ+#Tp?!speU5QZfqxu(az8yBJCDk>u=ul z#GR-38rR~4(vX;K^|`jYGs%F?FWbDtY7x)j+LtoycIMUX4C1dr`ZdT6w=*co3>>^% zf;@uU+}u2Te5_o&j9grd%pguxS8F*7FPkS!aw0rjJbzeeXt_fvAXn!R{0$NIVgf|7R;EAWjt<7dtQeC&Ii!DdQ;20K=5Bv$hRs z@9C8|??B6t2>wXZyY}0a#Yia#FY3$y5tPRO<@J*_CZfb*ym7N3_RXVp(B5og>Gi1U4-RaxKH56b>uF5Wi{l% zzNy6RAdPEQb#@HEzi6dIFcHNia{CJXj#D9ul+Xzt?kHG@UdY_vo^%8Im0cS&^tke8 zhgmtVpfd`A8P^&YfU}3^H}u1`a@0q`8rmsgWx#-aKU@zW$>uv zh4o@(d!gqY3oPnBG6avbP%1XR`_Q&-CKVBiH%~RKe)N3}2T*nJ(MHsX4=8bO(W!D^ zpK1!y{6Z6f1tP(5p?2M+?1{t8O_7F%%|mJzis|+ko9|!F)FJ4^yX+#ykb!xd7mwO1 zy}`WND&z!wqV{$N$SmX^IVN(JA5`?Pkq+a6IkFhX>wdj}8D?g1;Cp)`XyT5+KAZ{S27K6=0At8|&eXR7IVV(lmeA5ZBjQ&P?O^bt07Fd!*+b#cuz!!M0g0<)O=H?UL1c-^YR!)7J zD}yR=wus$sc`7;XD1I3-3XvDWu`|aU?c#YCcK!jWELYDcgn#Vk`6vI%wVHc$bN2a~ U^dJgUYLI{s4~T(5{y7BnZys_45C8xG delta 8255 zcmeI$RZv`Cp1^V3f(LhZYpij1cPF^J69_a;aCdjtMuSU3&_Hkv8XN)yx6OZcYGITMLAJ&kwBaP+fUHK3nrqm>5HnC*_{Ra(n z<8|Yg6dlc^YzuW5U=SD(mFrc$=Fo%cJq?}|NEtxn^^%_HzJPimyY7uXV7=DS7ygZl zgmE#RHi)PLwR(va2xQ?zx7KV(oS{@C_jH7vcRKbgDkm?VynCJArT%+$jrGIEu2<{p zr+Z7E1TGQ<4N9KGA>gnEga#T?Wf4Kb_H|+<#s+lOE$~T1JuNO)E_k>gO87+fw5N++ zU5X@#|6F=61cgnW5|?LMnlOO?sQwl2WJ9=&C~t_Bk#AKS0_r`eczdkx^6v=YR4~;- zic*4^O-L%GMXrdhN#0YY!J?yA*Q$=*=~AJqWQt6N^G4xl+gnH`#nmY<&Go^cubvG& z+@Y*WYb*8LpiL;QC)#zQ+8Q=xuHjCWD(rKz^QZelKxp4WAuaPD!gSZG=q~#*l~{zj z-`1?T6D+2t2%=+nzX>+TjEKq(ST?U;xuD0kkFq&6;R3HPDX24mSC zwHHu@o9*CQXJzbqR@t&i5pwLratdd}{Em25W%+Gr5abN5#J}Z>**&kaO(lgzP&{o zEMENB#8Dz{N8K0X(i>yF94?I~Bf<*M%n6I)iLRc97MQgqIF<>XiGbL7Ug1g_;*hwq zMlt*XgHnUg(3@crvx^Ax5b|ce^8GqbQdzwJd>plM)Y_+DguRW0;_}m1)P!wkYN{(Q z7@9O4=s zFF<4;-{g>B2?ds+IQWIcfH1^UOHy0xoMQg6Cf4;bX_%l6DNVtXmtR-7)bBn$kmS*Y z)3pcxUiTQ39{Nhi-+yNOOJ{8>Dnm^x*mtY8s0<%!0YQyj{$+<`p4s(Sx5hH9ru7nU z-w>}^AMd++!+R}#(FGQXddDtZ2Hj5l7jh7t;rS1vo9r~C0(SSCH3`68PSqQR0DK{* zt;3=k?1E#**^Uit#i&wiHWg5#?nBf~kfGSN4)SiLPt1TT|5kd3|EZ7S)Oe&A!Aj)g z*ILwX>6^nrVOg0{st`4)fv7t8tO(v3aqE>c1-juD_;T6M*mdi~rZWmyG$ToB-WJfV zv4p(66m^*Q2(@xr!E_M79J38@!s*UOLaVc`VY46{^#iwa-ESnMch+=LFB9Jlm4A&x zXUsmpLK(MjYjv{s4xg00yxWrq+mfKlZfvC30M}}z2ah1dBE5xRZ3Rd1(Tn<~kWuji zX}M97iRajl5#S`Y0B^a8zkQMm8!gDW=EXbG-HuqXF)xV06Mo0bZc$cIOl-7!kUrAr zxJb?hz=_e9eXWq|f^t%UmF9#CqZR1r{?jMZEAPZWE+3eH^zc z(Tj_gR5u5Egt;2?uwM_qE(|u-tke0F7&tLrF$KdIX)Qiw??t4ZL!(mc6N1+ zk){_$uJ$3THSU!nV|{HEo+C)HZgY8dpzq<*ZBXSV*r`pLW2!eUG=%^{+myaafK=_W zx`KaMeB<@$&1c0_U5!OOiPYV>^_}ruHMh91!l%yA5Ix~Viq_}x-n=u z(w4p`@sTE?LpN%%STxC2g7+(swCEEpqNhH#3ST^FfTP%0Qcs?<;MqZOFRcF#T=SG6TvbF>x_4QCNervCi+kqMCZ;?G*w|G@9g2;j~y$ee~gC zGu)c-XaTZmhHpA>y~W$HKOdqiiI^1&)!U9NGRmv`zAj7Jl*{Xu-!Ew%OSzz>3!D(@ z=@Pl&Gf0(c#4#>2@r;1{w4}9khz=(7o(v=G?W%9Ra9{#fxS0`FRZ8md;LApExtr)Z zNG(74vfYVlyhTZ}o`gmp1@`s5xVIJ?2r_g-IgY#_IcHdTbAxSCALSeaz1@}CdP7_4 z4jh5u&5zum>{{Vbk0#LY8x_Q7To^v* zBL@nY&@r@gb&e=zMT&KcT3lr6x!}&APBQhEPQEGc@5mi;$f$ZS4bDklCtzCKxZ;0J zkWPBPgnt_sDyq;;5SNXgrz(6#B+t1vOQEcNpVB;t2gAXif(6HrLOy}|pVcl-ZU@FoLL6f~a674e}a64F%glikS`i@q7c5zbu|OH%b>fyBj{e> z_1&Sx(WW5d1KS?Ki?u?}D{AxwA>N?mJ}xln@7p_d$33K1Ii^>&te?PXFRJpyG_tIn zgK)>S&!yiY|6~fN+ha{TNFQ(X(x!&`V14`+ssde!x|+>1FUCXc+;zXwe*~CoD*qbi zS*vR z+ly!9Tsq4QsVDpmylHem!U!PKDIvRkk4L`av*wNwpvoV|-C=wuG@F2w=;P`Mk)M|? zwF`_e6P<`CaNEEBT(h62;sa$4a^*y7>7890)9+C?{Muej+3e*auBb zs9uQ1`0k?r(4tSVKf_X~U#AjkCu0vthAw{9S z=HOB}n~LAnjP_FbFUQy_1njZ(e1(w$7DV&e#%OJbJZXY&Dm^!h$*il)b*hY3Tw3@% z!`kmA#W^iu%hMvRxl(4$=M%=v;&z00HRf^G*`_~PV2GM&+dp|W6(C3Q}ys@!D1#Uv=fQp4O+DgD*tb_ z|1pja&HeY-Q-JvXQvAh;?9R_0KE86rEnmEQ;#1l%x{@omUD2;{iXvjWDPy0nKDXAB zG>|l8EDwI35vx;!Lsdi1Hp)w0N(eMLX}L@jPn^ik6Tb4x9?HsMZO3DK$5tJN4LyynuQ*zkaZrJ^0^u+$< z^4IL9hz(zAsf0a6WJ6S0v^-3-<|rz^Q6fIrM)ftbPw10?dRpB-DZZWk-zvT*;2(k^SyO}TZ;J0d`Mcs5{#)_N|4#92 zOn3GFOY#2-@u0sHukx=He=UI|B8ZLh)AU(;SCy3VGYN8)c^AZc$|46;;fX~|GmM`6 z77!4CL*iResN`Z#CviONgGsTd4Ib50#sxdQn$l3k+)4RZEwR6i4-OMaYac`9*>aIB5pm(H8;oQqB^dlhZ!^%y~#Hxg<*jkeK-pSE}96m|i44lopD}1yMn*)_3E>d%SIm*OpB5g zlx2KNxZM7E>c&a8+YPV^6sg62#sPPj6YNN4oAg4D5U9Xf83p>gi!()2Ij|dW&skeR zs!;M;Nz5E(jN1RQJlG{}#_57A52VNdM;NjUCBYvi1_CM&PXVQl*f~Exjk#tiBWfW7 zq7}JY!J8QDA2^%)GgN2oG;H08<=BPjjr3x3Qw}=dQ8(?0g)Xt9nJ^3Z|4rC?;vPgb zSJ*V|I+u{EYYXi0%=Ftfm{V)kV_q>*Snpiw{iYPcR7pA?t(}SpuBPVS-sQol5w`F+ zR0iAgu6tjCgXbj6EtHdpkMtUb{rXu8T?NCN7P}y(a-^<`>t?rIW!C#cG_j}J0l#%3 zY!qG0#RmE4W;Fpg>aONC;^jqCeu?_tUCGD*r{JSm3TmGe@jgOO1(#_oL73CzWGo4~ zY!q($yuO#}j*m23dsb7S3pW85-cM-~$!WG&?dH{WJxvIE2QS#=MS3)bkv%U0j!?$l zpt-4XQCi=-0e)mJla_VFn-`KCxFIKOJD#i?$+)zKZ+z8$i3SdfpE_B}H`pUqi!yZS zqb)XC9l>^_r$7N22m2al-wa@5&Hx&IjZtR!F?`pLRSHe2w}hZsFMGeE=8+x^VC`6! zE3u2-;5c+SFcPFxQ?K=NhOpZlyv2_@oQW+yR_l!Ce zn2sj8JAQzrJ0X~N4mG@GiD?^9;*$dQD``t~QI@nk`7H(#2)i{8>~w(k`Q`}Js=*~M z{n3172NoMI(pLi;6d=sS&cC)X#*W9e=syx)IgoIa_qj&?)@^5^s59328gmsjn*%*+ zT6gi9wJ*+TDx54KQNQtGE$v5BV@u%IaehpnCE&>Su;tDu!Je3Q*}_)E+Fv=M|O*uXxcV^?{jri^D>cDj)=Eic6DT|u%~sl zr&TmaSX%q{qN#doez2GF`@3WbDW-+Ykh)^)T6=9NE9Gln!kX9#wG3r1NPIG=gnh=^ zN_Nd|{^qJ=z9VEWBO?Dzgzcq*ytNiXx%?^g^>*TB-05ua7fd7Jop1+h#tL9IU;TKu z^MQXFu=0q0)0Pi5CLTX-e?Mn=#?Q3wgXDYq8PM9aQr%i{%9U(N#!jcOyrmaM4c={N z7I+ibYQWqXuu_9ZNMTriXVxsPmu}D@YsQQnT|VRwohJPAk;^Z8YR<0vFRX{O|G|39 z->?ofMLK!={0Hkw#s7`c`$Dd6U%unx;S%juA%KqFB1 z7SO1tR%$sLE$od!69h4DdOC~DFjb^m?&5M&8~^hJB4ZDv!hc{G>W9uST`4!$wIL@% z^>ZH+Ca4{~0`!Cw5ff{b9YbpL_eXAbwEFmtVB5uI`id#agvTJ@k_Ts&1lis9I1!|6 zy`V6f5~5de2lVVI7mV+uMi<}!)06v8qotzL)6*49lck;C@s>}cao3Ti`sL2UEx_3!$C?aWSJrbA!~o`Mp!Z^70W~4X`w7ee8&=! z%xppCV9cVm4Vf>;!fI3DvRlh*lkXwz&{3iY$>WY&zk879*y~b5MQr#0hbT`#;Y5X( zTuf4;nh=vF7{(2WL9$ERnb#{upkT_QO|njmsug4%JO|*!Ku1rXjr780M;l(4z<`vG z`~s!4&}UE0$tcb|@p)vzV`eEM#Ja_m(PV}FgjQ4Za3)6 z`%6-UpvF*scD9?omzjn&FYP(!z(&SMaVK8F+bP6EOhelkU z2~5nQZ`_sl-8Z((cX$%;?SZPGG6%tuL3o6g2OL*d5?xwCtEgF6UPbYuF@X`}JHR8; z9Fce0jFx<~J&<)N?;5CIB4}kQLCY<6`XNng-U6nm&K^XZ0{pw)2Xt<&*dj&m)!z$P zQBnM)CI=PPuaq{f5ScyW`zzEs;TduoB%|+LTFzU|V-3A6q=JjPvUDX@uxK!=} zxf`9^oK{-Az?)<_>7MDpL!-`W{F_^}l}8Irr!_yt^iACwVose5*8mSV;X_jMox9ENd{=C<_kppE@jY?v4{M4 z%2?8XykV%2=G8YY1@T~UDwzhfnWVEo=22LbW_6H;sd zAP?ZyaSZsm3X(T1_C-hFZ)%Ff_LQNoz7Q9CD0n7(#$uPNGMP~$IU*f|TAlm)FF?>ZwVtti% z>JshHvUzSJScG&_x>?M`v3QAd(_zoXxowBU&BBEOyj~M>O!B!dfIlX)t|tLtM`}O} zKOe@mwa)Ta#$XMGQ1{AJSFruW67H1Ki(MHDh+I!ZuHm?(%PK}8%CJb9F&rlKU^H;C z37a9jdAQpFW@MWocEHRxwkzAK=5Uf-zdKEH2y#-tyl6 zOd-*6A+-I~fDe&lgx@qDl4K)s`~XhuAU8=67D1R9-!Ovm3`(4HPkXBeSBsdSr&x|5 z=#4zvIk;{HeywoMsnBrF`OxfXw^U>qy2n}4r`1yMH+T=u4*xVF&-rO{F&TO$kBssx zIDli1_c1#iH8g)AkRTkZ{gOu+BPf3&aHi9O13hw`?#KKW*)4TG)KSyHvpqCrugek+ z_~&YfeEW)Ew#txO+Yfm92L_cPvf?RcLo!gGdcp zewcQ9!TC`OYUQU=XI*^H*mf#~WfzQJ@FgU+ZmFF;Z!wG7P)-=DWUXpPx7*d_AZ|hX zASPMr`Objnn(~{Oty{YS5si*Q*V(<>vBG%u$wN2+!g=0GrFUvH*^b^u$c&Z;Bm8%v~eEd>Z zg*y4`=Fi7;(G(1Y9=7Yh>!>=2Y8?M+dE+WmQH>PQJ-+g+H>_HlYfn$}6MFH}w#%`( z5lr} zEwLN%f~b4H?uugNZ0X_YZe`~5*O!aAJ&K2?nY*X2yOlKx7Z(=~FA#;6R$5gC<-Y)= C`N=N; diff --git a/docs/beyond_CFG/presentation.tex b/docs/beyond_CFG/presentation.tex index af8d13046..c0c17cc1a 100644 --- a/docs/beyond_CFG/presentation.tex +++ b/docs/beyond_CFG/presentation.tex @@ -291,7 +291,7 @@ \item $MIX = \{\omega \in \{a,b,c\}^* \mid |\omega|_a = |\omega|_b = |\omega|_c\}$ --- MCFL? Хотелось верить, что нет \begin{itemize} - \item \href{https://hal.inria.fr/inria-00564552/document}{MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solvedby a third-order collapsible pushdown automaton, Sylvain Salvati, 2011} + \item \href{https://hal.inria.fr/inria-00564552/document}{MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton, Sylvain Salvati, 2011} \end{itemize} \pause \item $O_2=\{\omega \in \{a,\overline{a},b,\overline{b}\}^* \mid |\omega|_a=|\omega|_{\overline{a}} \wedge |w|_b=|w|_{\overline{b}}\}$ @@ -316,7 +316,7 @@ \item Сопоставление с другими классами и иерархиями \item Представимость языков \begin{itemize} - \item Ваианты леммы о накачке + \item Варианты леммы о накачке \item Представимость конкретных языков \begin{itemize} \item Многомерный язык Дика: \href{https://link.springer.com/chapter/10.1007/978-3-662-59620-3_5}{Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language, Konstantinos Kogkalidis, Orestis Melkonian, 2019}