From c977c98dcf84234573060a4f80ef6bf88bb3c2b1 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Thu, 9 Oct 2025 16:18:19 +0200 Subject: [PATCH] [CS] Fix stylistic error --- docs/docs.pdf | Bin 326581 -> 326582 bytes main/cs.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index 567b19b8c92e21669b5911e6c9da16d9edcf90e9..226e9f03b06c52551b747729207d0521a5023b5c 100644 GIT binary patch delta 2710 zcmV;H3TgGV_Y=1F6M(b<$sw1)n*%9o%~{=#+C~t6=dV~*eK1nJ*)OkmAFoN8D6Nv* z9a1V?^56p>pkkXC)4R0l|K8aTgAFzZB$rkKW3OjsXMXdsvkO5}M9{0j&!fS!UzkD~ zYsn-U-65f|Bof71U>!$jG(k7Pi((iu6^xf$A^|-WX6a&SHA~BtCFELTMI$iHlD$dt zxtFdY0T+L9Hn{mj&;;JSK?HNH(7mP1fKp;2IovPM_26Xc{5pJIWLc6=RvpL?6jB8fdsJrWDs}pgfjy}CobkyJEdSG7QsYvc_(ZM>%tumYlr##nP7Rv#H9 zdra*)BSMbXod@sBxrL}&dCX@X=X*0+lpbdz%{#7^Y2JTvZ|~uW1~d1N)O3qtT{=J2 zE-Wex&%HBeGU^|RMq3LPzVvcNS9?gPM7T?0ULi` z8sn{p zsLzpESN!kWPyJav2Nb;ZOIyccU&jgfrV1s?d6g`jmyjd@9DkWPkvyoXK9@{I=Q#g5`G7vbez0!G2_%!I=Lp{GOip9~Zfr}s_J31puC}vR%x?rJ& zQw2hV!>SHf5_HZ&p>JRjYOvI?1ZmBieHT{HtZ^)%^cz;y^TGP&&q*O5NZ5P@g^MfFREevEgL9R^Jc0kLqVEjmE#fi{z1syB( z(5kbb%}#;V=3p1Faoh_m?*O(2wFLl$&ICPDlR)3~wXU-fBamNLSaD6rsCzjW4 z3(S^@h(}86fWX$&?B=l9#r=U=kH0?hwrkfYw89!f2X>8ST*7u%#%3F$Ak4}X-I;CT z;W?X|NXnYNjTnw}gdzgvM^L|&UQCN}Ud^)AG4^=b-I~X+uFymKU2n~1yNiht9hnQ< zl~c4ca(}h4BHlkt5Q<~My%om$x9QY%ryDhonE;soZZW|?0+@I-juP!%oI*6VA)cp-`ukAj4Q!0gf6E3VwqYaj_Jo8 zCSgR@7t7QdaZJWZ=V*9w=4A9+SoWlmL~SI+q<;}f*Rbn3D~b&BRa&jfd?%djj^u~e z=>qmg_WnarE+#)5A6Q{aSGm>oWj^_ezz-YA)DoNKlm9_k>a5w&awzDnc4~I449*t-BG{UY8X=RQ?WGKw``VJLi;@^d486Lso^jj<8g+tMLR) zYJWW>&lJ#%!iHuYKHE{>+PW-Fi^GC#B6N6+^S!dZcT(riK8SBK z+a2gd9}C?$z5z3XmYxuGG|r#5NDy=QFATKpOenS)V!zG%afX+(Cjn7fzmdL+$w&D3 zv4r0XhTY$7RSPN8m`iOoy-_UBDQjKAxG?8L;uLXPAs+2rUw8e%#~SCY@5WW(PdNSI zrS?aE3|0sG&zg`LGE3I~tm)RtFV(vd|1a4ySu~T;0~3dFC;^9YC<2FZC zJ|H|dLNhotFg7qZLq;|-GC@W+F)&6&K{7HjIYUE1HAXo;T?#KuWo~D5Xdp2#I5LxA z1So$cm04(ARTPHzI``ycYKAsx(u{4=+$2p}W7B48Gn}TG?GTd=X>8K8rBDSCe9%6K z*eZhPlUfkvAXJ2kA`}H5l!7==L=Xys#o?jur|N?uDhLwy_xtj({(tRz_psL9$2nKF z9yv?5ffmqe&Q-X`xx|_KQB-2C=(3{HFu0xBIzT6I>m)V= z`1-JqtPxoT%JCZT8juyB5|906^~jB26J9G`9kL2k<88;=g4_&h@H+8okpfwNA0B_% zM1R0P`yM>~Op~)Je?K1ooHT)EygoclxfN`~+lR-hk`~a4H-@L>ZU=36lX&bX$%A&h zIXrE(19al8;&B?u4$y^n9#6;A4R+E3F&-zG>;h~nP4G&QJ%BBwrFbRC-Jln5170z5 z57>)WhF65_1O0gAc!kITFo;);mmq(K0NYPD;}szHgJHZHycjtGM)7L#a>y}|;%&i; zkO#mxULBqx4}u9i^^5vy5=`OIFX?&YG?+m)f^*1Oz!9fS;4Jb1a0uB9){uw65pWdD zn=5@r6FmrynJb=>T;LZ+!2)uTXco+alVBOBK~8{^U2#zfpN3W$24RD%m59UHtTs!2^!98k#v)% zo4h7EWH$1rhRlOSp#3hG&Hbc=mPT86n#SwEPM9seqAWe+wLuM`U;KZv*~)v$(n$U+ ze;~PLcJXCJ=kVq%{-NFxMW7Iv+0*yrWC)lGrPN{sNbUe6-5IU zO>`(4wCLeWiiRwDp-F$yK8xPDs%XDOUtUl&Y`L~K6^&T#^pc`c%U$~aAjT~B#$`pR zMB}Gq03gS!^3;+NC delta 2709 zcmV;G3TpMX_Y<}E6M(b<$sw1a@dPPq%~{=V+cpq?_g_H_dys*N<(DY(F>AXP-Ox6P zfeuLfpva1C%$8hPUeXQw-*^0wE!mP|yG=JBktOQxc=x*x9w~w*h@e-4pGSjdzc7U~ z){;pyx%rxKGyxO>QHpgGu_l6%#1Yj_ z6R=`E~fbSS*r!yy`%PppYt<*rPJdR+-a31@@rkbH*n_u>4PR$(%!~!o9h5 zn7D`RAxqa)Hg+Vld`N?pku`&xv1eQ))znkxR_K4MEb@i9kAv!`T27iRE2lCApKo=( zvF|@pE~?ogON+&Fo;}Q}FCFIH*y+HAN93ekyaBcjtdTeDwDF!ozzT>e8e`3USbb!a z>@l_Hj0ibicOJYiXBMJrH1D`trg{Ixy}gGg8cf|oQq#?gb?N+6 zyRa%SJP(J>Cf;Ixy2WX)mDkgvtft0K_VKPL`y3{`sH(?fp%5Z?kuA$CO_%K>0ULk+ zG|Y=Csb)p)2+eR}62fI%nM`U2C#%fRKbdL8`KDP$F7|x(u2Uq{;*j+|!dI1_GO26R zGdHkanqnLSHtzY>J{9YHd^9{~q-{F?YR}WhJ?~3ukL^5|7bZ0BU1+pY_!RTch>n{p zsLzpESN!kWPyJav0~EaVOIyccU&jgfrV1s?S(VJ4myjd@9DliRB6(0{50xznQE=^7 zs|-*4$huyeJhoS!r*QH>Wgu``d!_T5@M+M!hkAZn6!W830~bL=c63IRP|TtjbiqOk zrwW7!hgBV}BsqzSfe=g6p%9II+lf zTVOU$L_AVp2Lv{#W>1IBUhWUndi?c~w_STjp%vB;Ik0y$;}SNtGB%qL1wmG3=+0~w z56{`$N>bMJZNzY-BNP!RLW24Y^?Xv4vue6n9b=D|-K}{Hs|!7}>-E-bHoce_(UG~p zT{%HJBY#&LE8_hl1)(@5+*@J1f16EQkGfIwm;TBcw$XbsHDJ-!jG6L@1uWhhEZ>(!nvG!t`OPi+&bSgBL+E1aFP5n_;+THi zVG>4UeX&ff5yxblbdH7>XHG`Hg=J3~Nz_JCOn(}YbPao-v!ci_UuD(0%y+`c?n{1n zoy}pFWbZ!|<$V0Z@qrb#bd_6OU*_Yl2>h^-Of9ilKK>t+rOuiSEr)^*Yo}(%IzH~C zvc0_2LMfDa7VRuAuxKg~(7GF8?R8o4L*?&~1ti8?uyf8@N$;VxIcimi>j+CFyV_6C zq<_{!01)w8CNHNu>@e5%O!KtL6^L7lDel8@m zXmd1>n8s$3*5I`j2Y$|in{5hvT z!qol%kiqI;zpn|YA+u!teNDH{f2rP$_V+vD6hn``s5<(yNBB!VCa`%sh# z5%nz#GM)${Frq*Z`cMc_NJS6`L5LLO{cQwAU>_pZ{rmUj$MyeT_xs+5>$>m9Iajg~ zIZL;LX3%2JmAS~d#F_i+`v7-G(#+Z0iXwA=(UPK^bFOqFpbV6QiVbtQMrGq5tC064 z^Mb4mGQKXE1X&+s-ZPT%^-@3S|95cw`fQ z{Q>{%d+_u#P0p(P!+892(f}Iq`tUSm6WEToACFZf&7cKu6i>_D0b21U@Yqq(2HNpv z@wC+r(1~{jkJCtYf-b!CcsizTu!|Om@i@t3H(*<7f>(^}0c;^H#w$YZ0lj#e@CuQ8 z!9KhayaHq&=*KI?%SR4?LAG_WFAsSD4C7Vd#mIwT1g{z|ha3edUJYJ^ zJOsw@YVizt7>whoU({C3y47LbcXGhiN^1j|4Tasr$Lr@#_e29JZ&UZ!D+1-xzdj@QM}t*A2h?^PwJQOYj8t_ByvtI-?G;tCDXd!@r>`(7^q-#uV`iPtYREX41{yMD*7L3sG@REW=_XG% zc};Z0?BD|pnFotN`&}@b{Z$DqjkfSKjn{#lFk8H$EIs74K@Fi_{Ic19%BRZGNPdk! zkUVSl)LV+q;mulnug(!gARn07OY8D-AP*FRGEiW4xm(#Huo-LtO`zQDjqj9Q0ld3u zD`*4lKvm`OO?QGW&<&=5o-Y+tj~0(_s;6oX&;zv>>@&MEqKW#bbkK6AmlTay?&ALkF>1N@E-6Ya zcWYJAAAezQ{1q{Y{2oW&o_1zf)z@X76f&wdHG zaW~-R{eaKc1HNbqxV0GY)rEj>-VgZpxqu(01Acrh;LgQ>pUD0`{Ez;gk3+g@@t;p4 zGv2j~hb*Hq8TT#I_fj87eG#clMrAT8lTn#WpG7K@QJJjU;y)U~91mV}{{aC}CZ3m# P`vf5fH3}sqMNdWw*YPAH diff --git a/main/cs.tex b/main/cs.tex index aa16228..6e06e9c 100644 --- a/main/cs.tex +++ b/main/cs.tex @@ -20,7 +20,7 @@ \newcommand{\tcl}[1]{\Omega\left(#1\right)} \newcommand{\wordbool}{(\Sigma_{\text{bool}})^*} \newcommand{\words}[1]{(\Sigma_{\text{#1}})^*} -\newcommand{\word}{(\Sigma)^*} +\newcommand{\word}{\Sigma^*} \newcommand{\wordm}[1]{\Sigma_{\text{#1}}^*} \newcommand{\alphabets}[1]{\Sigma_{\text{#1}}} \newcommand{\alphabetbool}{\Sigma_{\text{bool}}}