From 3350c9986bf6a1559b070896e3a19ec3b901f8a6 Mon Sep 17 00:00:00 2001 From: breandan Date: Tue, 5 Nov 2024 12:05:52 -0500 Subject: [PATCH] rearrange terms --- latex/thesis/Thesis.pdf | Bin 543229 -> 543342 bytes .../content/Ch2_Formal_Language_Theory.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/latex/thesis/Thesis.pdf b/latex/thesis/Thesis.pdf index 7c02be019b29195e344f4a0c2063809729ce5e07..e89eb9bf7262ce703c3f7c048b687c4a1abae26e 100644 GIT binary patch delta 4271 zcmV;g5K!;^lOgVuA%KJdgaU*Egam{Ivzx^nNQxg1DUR*KKOgMFU!K|d_tS@G z-@K>r;GD_cyZG?omuC)l?1RHKYm%3T;Dh1dA3ps4@bR^^ksc}HH`C)QN*@2BCu`kX zYvtW?C0M;bT@Co{-S&U3UM0p~`Wn3z-r*;Lizrx(c6mPit=K23Lsr)A1@+Axu( zpBNq!>HE{;DgPZ}y36uHKw;MP3Z&aHpnuJ5}Mjz4Y!}A(Wg6 zMD^0Yc9u@b1n))_a;gGmZ>-yG%*%5=SfWXk_IyklSBqYjlw{72CKB6`$^=i@^vS$|ppq zJZbp(59fyCQiSv7nr4ZBt@vcgWcD@9kJelKxbx-6d8ABNlm6OSj>tek_sgBzHc>F% z`-V0eOR*Ta7py0gAP5jQglcdn$>eay-7BAZJ4PWH8{>gGTnH7njg>PScDt2-IoAvP z65B?jTfl!-5F(@|`_fqo7kvl^djMyQYZ`2=$j+p_T9*}>9-_(7I#-hgxF)&8q0)itf#T>2P<6 zdMXqf3`HK2O&m`;9Ft8Pz(k}W;e^C^l4kfg-ei9yP55&--sDaN;)5^wd(Nfuc7ndK zK;J35Avo=8lL_>1YZJ1sH}!}X3HEVLOUqpa@+BYJ^CUzrn+znfWv#bI1V~^x)if6( zJe*xq*Oux_FTf`Qjohu|IuI8TKIS`p-}GDXwWfPJ{nnJtPm8V>3^VI_TS%4rOX*gq z=!Sn|77$Rst&~*nX8iKBhYH)L=KWf@xLa3udV$Bh0Uv8A`L?&$!8mmi-M@Hsui21G zHO-Z59!-p{Ci`+Bn`>U)Ep;uGXhjvNvEs2Slfr3@PfVqHxspmWoyV}#VJ8j}0&fX4 z1FRwNI*l@ithJB=F4{D(jZ^x_=`eTV2y9*y-iVfCUeuZK|ePn-N zi%=XGr{H#MivY5K2Gh_Uq4othYi?1a0%Dk~cX>}{yKd->L>beCCzyj9)`eHM02_5_%UFmr5A9pEX*TBsV%fG13Eg+4Wmfg$fZxK>`*{SWOw?_m(F zw7qW0ZGGj2-``*rcbac-FoRINmG6J~=YCeueqBZLW{RM$XD8lR?0H4{=NGTElK-h^ zE+|`3PVQFi7Hm0FP17@ySnNp#)itIwYw&(5u!8bZ(KEt43hk!%TU(OR0p#8)(*-xFN zVlc^tyQRX5Z3|paN{acQob+i%b^k7peD~qme<~0iS;}*IqVe1BM5l%y451Xbwm+DdOB0R~X< zHJS7vd@A)xMf3UR1AQ)rK-%mMr}{*QB)iuqH#@0W0~X3)3E^T*1y(d*ZD~H&Rx-OJ z41-kK9mo%H4=u!oGA2?Zu`pB{qLVHE%B`@YMsP z@Dj;>FIDaQ3ad5UXn&i0)At!^NgPd?Ey$^@1}&QXCEs6Pds&67MP!hYmYwW9vW3hu zWaQ@dwm`NsVsk|m`T(24kT_75o<&sR^xFIp!PRoxA`YVrqqOtco$j2|rZ4lQFvH|Z z-NMP21L_f+&cP$&$U1+b;-=Y;(gMtRGd(gjf0wJrXhQF%4RW85cL!fU-5wUPWuzO- z9MWUXHO+-!<`4tDtI59fyOGJt-BSB#)@ln2DrJJ52vF!;LH%_x!*m#!Jc!W zvkbVqoa~n-{Q7D=_1}2k)8jmD&>Vg^8l%vl2>`STb}$%$I5o3-o4{HQB6!P7`D>}t zW9nDQ4k$)1ZJB@Q?g&z`W~)8pSrq%)>= zn1)1P$K`B#C&IMkmg!XAri*eL9GPcP7Ls`*&iTz$47uX>+&vjS;PE;}IqBJ7 z5>WwDlDl0xYUAALd)}kPkmcQN?n!7#HOIz`@**YPPOX0}4I5d_cAha}^Ekh-Kh(Z{MHYJVED`P`LlSvGSP!*C)IUB5Zl|~%NN>fTm<{pX)NTV{RZnG|(7I0p z7kVlv2MB+#fZ(#Sq{S}gLES02rn!Q71o*|(WL?bT3P|5CwPGIpN@eY9t!F)(@zIa* z5H+R810GI+K-Bh|Dk-9vS=&L5dxf2j7wi^$a|+Y6qDukRVzJUvt+@^wL{gMO16rOV z^xw}Tw9Zw<0Kv4;HBxx5Io2dMY}ZI!IzoS^QQc;^T3QrGz0)JMQ!)UX{#MV; z`rgi5=}ey$YuB{ka`;y|zvAutpvd2)-WF7PkWR`Zn-(#Y%g1pJx~C@)X`S z3w1(;!?W66bZQPu1K{Ji4jdp1!em8q9>afJh-Iw9p+Z-&>N2~*S>zJ3t7SgD=+2KP zs!2Mq#U%}Vv8L%8wo3`&I3FvawN&=TMt8SV4O>3;@KS}hK+P0JT&Fy+IfGA zr*huow5=u8z{0j8<>0)P=3my2WF2^_B{>pdd8{jeM+wW94~+DkZT>aGyO4$gN;!R? z5tG)*In+BtCauR8(KZ4~0~P5BJ5+<*Vi5T+p(2#}xTrL!L36%@ipZ5#pVQAVIbT9W z1c;JiP0~e0!ljL(pUhBBS5c8yswsa`5{EV_TAy>qyY!V%(elzLM(ni{N*#F;z_Q9p zd#K3k*DQCM;r{W8O>Q)KFswGPGz`8m#iEVyP#b&?6{TDz^mg3!r&yfX2cXdVtRWUK zIUtar?ssa7TY;$eB}6*R)g4qsb9C7(bQKlxROFAKqAkfqRD@d61s+31+hu<)qM|Ly zRaCU489+rxO6Z}Y-BQ&7)^=Xs2Uv{`jX2-Veamw?_2I(T%6`jRNr&F{!6-D(=K_ih zhsxh3xfpYGrdhv+b)u*L)RuF7PRcp&SBbgnOHnDhi+*1968)@+dBl%JziLXp;m5xDv8o=v4MryY z^3?C8>S0x_?Due}_g$=zu`GjOM&Kbn9cGZ_Kj~>7)LVjq#|Qm@Z9XT^lf7wHX`zO{ z{SW(^#Z?MrZe(+Ga%Gpvmj(-m>cIxL>cIy=cLp&sFf}qVmoYgA9R@KnFf}qVw^TU@ zp$$eeGBi0tLPbM0H#jpmLp4P-MME_=I5Rjy zHAOZwH90jmHAFZ>F*ZUqK{7rdU6)bb1|9-7F_&@P1{QxM)K6?oQ547Vd)`d%8#?u; z9i8eJw3PlGZPhTNGbmO6I_iH*{b}uN#EPwrCK8mzA?c<&3yBR2i5(lUBxx$4u@n)N zh?NNMdu%>A_n!CW-uvz^U-R);I_iI3oV}jLi-6Fq>44pqxnAxN<<{L}~{-21mue8n@R*;1nDe|8~yi zPQZT{oEHDC-{#K1I9!CY;^)6x<2;;$N!GCJUJ}3X!n&7XLK4NCMUMb05!FEamx|4i zVkN~&#+6(t>C}Yyuk-c@0agnzfzzb;Z*Qzo1H@75fLl=FsI}r3qa^ypM@~X_&mJb! zYN4)&G!Qr?a7q$21B6Sn5(W#=yRqSj)c=3gh@O&3ZIUouj2h`@5&3EB56%qt68?T|RZbGwNvp`8 z7J*#p0N9@gY0^PS6dIi*hT`rY_LO}w3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%B%@ R3Nx~QK zlp;P9aB@geq(IUH?Wz9xeW>|(rFlmqDac{5-kITur1p?&K?S)={KYe`h z#Ru{a#;D|+2@fBCeqnG&KNwuoDmwe%omcGL!^htqKE2gC&?5!>W_o->(cxe8q_ugk zwSC^McrEvrs~*3dDer&ERbu=luaR5+89!+!P9XlUyudz{L^k5;({hJ+Stehnf{D2N z1pgRG-X9;|STe%qmm4DsQ<-XA$LssmOYv3#GROG|&;+~u+lsK^CiIO`c-?t?T7I%h zaE;zSe*f|7du3bfgh`vSOK#Zcw>NtEapsZyvL*7aFFsgzzLS5Rm5r`?`OCk&T4-9k zACfXQ9U0p9jj7Pgx+lKk68c)X;?orfZ+4MuuHId9Mb0Wt{!UHnc8bDfd+GUFAry`B zMD^0Ybe4`$d1q!7a;XAlr?fe2%z}5CVEdfMA*JiB}`t}eg?vovwzLEeYI$bEN-|k$7l;`cKDuh0lcgk43Ub$`J zPEK1SD<52f`R%XrX<=4=Z?RG0_HtK*azqLWx?k?vwu!uQ z&NZ~rScC76fQdNPxb)L81^*ST9J*4N40J%GCc&9f;OfmiAvt$l2wM* z7)Tu^ty4)Kn0(z~&B4=rm}1Q%sUyUmv({L~C#4$w->;XMeuQoeIQxm-F|UOYQpw z`i2aBm+Xe%bgWGl&|lUjq~8|xh!hF>aZO9xT>OBvP{0+am%b&>U-; zfd~(0m(*2KeeMPLsGyO%l}rcXBEpAsr|+A7GrpE|ub1DFviWJ#^@d?qJ(q=4zQ2`j znTmgIIA#L@_1khu^}OPjrz2D-pIY~8GlkM&25=PjSa62O$vtN`r zDV)`?q&O!Widl{)vR&c@hd1HYl>IS751`RWc?ghc^qhy3q&@q9iv%BQngRFsUh#p+ zp7#e-DS_@*x>g~?UR=u{m!q&BQehOB%k@e<7fxRJ;Las#>@IwSDKuDX`4x%<@sWRt zEkbdijDXv@Eds~_8jMqWgxVM2thq&v3W#B{&ZHxm?z*8i==#-vnRk*gqd@D>HtrRtc9xK3V6cwcIZ>X7#Q-ggRAY^y8j{l=OYZF zownC4xvekU@P`|$;!g7o4yF*QOZk6Z{?N|~(yyy%-YpT-^z6hbjXkeO|N82URPsOe z%mrmD%E`m3-GVJ8s%d&g60$v6MAKmGA?P&x6P1jOwUJc**(jg1Q!%ER%=F4Mq!UZ0 z3jC>8tpUqhH>E(!3ksc3ptTDKJyl?<#cF{~oI841Y1OxKZuN){x%0T3dgy=0Tl2XG z;Rzs$Q?6a5J26_WndoYov2rZ{(^O;w_1clU69nJrl(__hf*k@51vi{0$V2;)YqB3Z zO9ii@@pnu4S7i%aPD--*pqzAZMRotlk9_s<#eXXh9oXjQPKb`1vGX#=mx4+aULL}*p|+CM zB^j^xnx|Z{q8WF|ifqg!k1I{Oq&9#n(;it+b;{jOID&Gg#?cGwxXx3^ATU5#fJF!5aYX$YqW`^-JFgX+pMA@`l zJb+vTtSb^vC{0!n^n14viI-Ot?|SM($TY#6?^J^`sVD5}TU&nx`FpQ-3GWEue3u%_ zBniwZPiPp!^)juFJ+Myn{^$S;gtl*w1}`Rk`%B8mJVupnV^q1bzCXM7(eo7?HA4>-JzQBFE` zLm~=biuP`o&e}M4`d;^FGi3XGn|rdfrJ8eNMtKnxQ znGTYKh1pC4T3)03Kdz&@%wz=*!K6vJlKk4~=2(AtXQ)YTxUiA*Wc*ItQz!UZ+!RN> zlPA`TSA$J=s|8nmm-AXO4=6`ybdaINkMtjWxZ{U=6(d4!jOUit&@hTjRE(9y{5ohZ zj+Lh{V=giX;DVVl7xLK9Xs65tCAu7N&X`L{GHNa)Q%n)a3ELKE)$?5)S8YS{9r*DTjL=uT*#;PJ+| zDedQ3Lq`quwCxCjq1F zrBZHdKluFtUN2#)G}0b0l26Js-KnOBj1Yqo@oWN-kro?V!{8f0LT2-0ZSWmrB#=NZ z9k}aG!5Bo0aBxT8n}R_pL{k#U^h*k%mZ%fQEfU~a!tOvLc5A*aRvN@cyi|YsQ`o4a z8N^0#XXAMa8I4DH0T z!X;^TM?0F5iBR&2Wyov^wZ(tjpR;+2;Ll0P+eE4K*1^yrc=wtWQl8(3x^A;V@|}-0S+83WC6U0Hz_mow z|DG}&y|SB zMMX9@MnW=1L_sk(H$pfzGDSr}FhV{cU6--o1|9=8F*A`s6@MkvOKi+h6vy#<{%!9a zI`wGBOqnTKO5a+lI%TF+TJNeyskdq@u&|X_u^^EUwKx(swX%>{S?NNogq=vlD`G{6 zsKin{{@>HhC+FVt|IfYme}5V0ock9!7di2tQjTg00}tG+<&cC5anVoPL0X)f*-Hu*@bC(#gT>HAV-C!Pc`zR; zp-Nn~&55gf7*ptUB89U~qQaz;lEP~zrNyL^vSNRH=;8%iXc1(@UwUi9YFG$0uoSZ5 zuXI?K9YjkY2g{*W{M9k*vdL%}tb``07k}-KbsL}&IDb*p3T?0o+Mxqh!&+z-f8)Bn zy9PR;1@h1({^qE4*FiVf1@wrYXt#!aXS;xnP!xZw+!}VFcGH`oU;OP?*4P3A;wP(Z zILH^bpWgvn#XtCEjcqUlJHDfqi_Nai+^*`8pq%WoMH{j?n&_<2dp~|W0J^ES@a075>buB ze|c|nq*zI@l5r(hN;)+m{@ZDLgaE4rn80aL{Pz)SQ~+_*D&Q8BIBKQ%A5(G6rt6&q zm$QcnwOXjtkO2ax1Wrk!W`S^NjfCi2{BHCvCVw@v8qrfSskIW)&*Da=FQ%);x