From 18fb7c8c672978f6602c259ccbf12f4707b01f72 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Thu, 25 Jun 2020 13:16:51 +0200 Subject: [PATCH] Umbennung 'Transformationen' zu 'AST-Transformationen' --- verfahren.pdf | Bin 93533 -> 93556 bytes verfahren.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/verfahren.pdf b/verfahren.pdf index 19db8c2e6f253f7fd059cd0649c273f8c25493fa..c6a38a463ee6e19acc93f8bb3296f87fdec6f261 100644 GIT binary patch delta 5311 zcmV;w6hQ0U+6DC51&|~IF)%TcF$^ew?ODrm+cp&4`zyGl7Nqee*`4Dgnx;+DiIr@U zE?@}~(eR-GNq6i`f4vtVMLjIVvZKsYwl?AnDPDjF_ndn!fV`Q9yx|$z^ZIIZcK((l zkDyQp!oAVdOL!=v*o!a?Df31X?~6Y)O)<&jOcjHGipZa+YVg-Kg z)Pui=G@)>Xz)92welN|qgh)jA7kOUVDU!(lia5##B=&C+%k|9wZk2EkyXi3+CJBLA z#$n8G8;0<(4f3ujbQ^;pf;Q)WgVyGQV;)9`djZFA?I!eVk;<&DZj`xGdYl%zS_`rs z4220wunmS_J}hKBZlmBqkZ|N*T#bU!AR)eyMKvugR3?|TE{hGUye|QPP{JoWMuXK| z84UxHg25Nikh7#4GK4`fA_P96P(}d?l=;66u%F2ap7@nbfCR-pK*bS%dfbI2$&=pu z|6Mj<$AZTjsN2O{N0xNR4izA)$CbqcJrg{B#zNo6IN6!m>pTh;sqNU*EdXiRG*s0% zmE*KlS*=nY4;@YuQ9z+}iHF;Pkts zB0Z^cUAJ2GT7y_QshT@~)#^YN@k>DPkXY|WuC7$kmRujM|5o4XptOWCS{1ccX2G(n zxvN}2y)7IQvG@^=(Vk=PRh@zrfT}-H1sIHftO1Z|<{rnVIt6uVJEiyn$pxd{=wd3z z7QWQ}IR6BWz+5-Q48mi2s!Ka%3Y?_P){Pu(D*0tdGpad5V<$-g03|hVif&nIYn+nq2yj#lFwxb$DqZY)7o~qvgnM_Yi-da28@e=tb zWakeMne}!iHOnf09N8)yuT)`{L?=sg-_mR+Ejy8Rd--K2)*h%cqEQ%;c)c}ZZEJK{ zy3Nmt3a(TJO%f!RF7Gu$ln5}^k8gy!1z^iQsO^WT|54dqc-D8tU<&SpX(1sqRT~9qB@*)D{Nw@Q zq#c}BP?dD>Da&$M1Q*$?G`ddRsYYWrkf}J@E_@$%w4IWR9f}YAe(J*_7qgQm>Y?nb z#d1gDm27e=ZgqRe)EzJZdJb88qPBMCbIi~^g^>oR6S~z;x1juK%9)XQu9Z2$4a0}=*l7Y82Jgq$Js@vA;72vn z)l!=PmQDMIg+Mz7ddLnE7!WZS7<1;1@4GYPZL!{r&i(^hUWbH}l>{gPGcl7f3@DT5 z1Q&mZbD?N}s4dXA50tf%SxdCRBSHMqzuwu4BB`|`qkTxc8tx8f=lJFu;%FV===BRc z`FlBkaegImL^xtRrO|v9NsO{Ijbw@uPDM0dMxSCbON7Aj#m9LvpXD^Ji>g`O&lryD zZPAwZm8xcc&EM^*x4H?+g)q8tlu(YOAWnZRa*E$pm8#V&VX2JYZ;GZls1KtY=fvy7 zNaW7Ua!<|6k(%=>Du%};N2w6-$eq@k&#!no+(RgmRQf%?cCD)Iwy`Qk5tYnu1M_JX zx3|TnRh2peix`Wm@@7V5d}|(AQPYC=nj0;-)pj%P><(IzQizCug>l)z+a)y35X%!N zECdpmd!LUEMV}IZaeR%5D0Y(z1}qB3jHnviw9t}tcauQ|7k}4S;0pdDFGJpA7_pR( z;)r@5o?kIC+?=K;Wqo3N6O0Cjcc+28kfRKx8EERaeHYRsV26B0Sc%A?gd~KOB0*An zjt0Z}{=RD3y1Q%d!LJ+=&N!Gun)N}^QXdrkpxav62OZR+F18>iajTqy^?HTuMpZwm zZf#Y-v1(~I*njhUaK87<_}UzBLF`JV_h6K;T!Kp`@ojI*Cg@J&YKhH!8SyUE_jl)M(Rx5KVV~A58Fa;zG zv!OjEO-JRCK#BpDj!K9HOX$yTU6%ll%%Bh?c+suw;%((k6y8L)@`7@$ z5o(fpni{ZtT-hR+c^4atDJ;I|R&5P^sQwK}8kJipXVNx={+y6=;vS*qG zaeq|p<9_k76mh}FE=+?iywqXSivunb5>iYYH;p5lr90C`?2qU9a4wj>0#HKoe9*RV zrM`e+R9K&CiB1*$4>jGxPVz$#>KFkB>`He#8Zykmz{rRVgYXGt-g-?KHvnV&ZIEx==6^@n z$KzL!8J;;pVP_E3)2O4-<-u}5*&F*vGitM?RE;A+U<{uaV`zH4wJeS1h`^A2ERO5V z2yMqx$9Qs2SSAf4NkBIx)DM%?4)CvG%&p6t=836&T3^}!EVKZT}P0@DVSIVGceBRf8*pZN;eWAsoN$4M zLu0NahNO+JGLBO|oC#0)*s%B;knG4u0_Mh};~xnwEtXPfVVs`ECVd0YHRV1K0Qe0l zJk98isODgPPEIDOXZASMbnv@@0AGlGU+fVI;2o?d1&>{LE=GAK4(3^gGTbw!o1$s` z?aUVsV`owI7hbzBe;!zseSh$F`>;`4_Y9y4CU<*(KvIOoWb%dfS9hyDUKVQa;hFUh z!_tjaJk?n$k7X&*8MgD*6Q1D18AKy23r>+;!@{TNoq!EEVoXaLZuVj4}?hul~#@ppg{OK;pZ5WeeI@aP;ukwXq2KoB5_V>f7vlRXa`f3OfGab`H0`Q|~c zS4IWptcuD}Qc3w>RaTs{vPMN0l(i}aJP}@)q^!dmAC>iZl}u$Bw-)oDWX3$Eq5%D~iTfgjdN$MIgyS2gR%~B`6r=rE(rRIino= zEULSZ9VV4a4n(-ke+dskfs8AN!ZNrRj9HkK$HFRFG0DBqXj9_@Y>fFoHjUCBYa8d`Z>;Up7W186h;`m3)6niVc*nG`#G zhYuLD2vzJIm_hGlaX5qV{S0~zUNLTi0WtW3OgfAr1XIy*GsTP%eE0-T!UuUt`0y$l zJcx543?|3tIR$qI17iik7_$oU3eEvbuz{<AU27m9IsqZ{h=M-@-Uvo3$|Shm0*xX0P+1@~Bsj(b7a?I03rE5zas&3vawDq3 z=oSEtBap2)10J$~W;FPI`RphwTYxeGtksJbsy>~;55ofst^U@gIr zywxe6R*=&}01!G+ziQhK;!Y5qvTz!&dAwRP4R#u68r(GaY2ay?w6>EBI|;Fq6q=;a zB!wm^G)bXJ3QbaIl0uUdnxxPq#Z6M&B*jfq+$80+`p!_}e-~Bt(duj%pMP7lpQ`$G z*MDsK(In=y{-u6bzd5nvgV=CB!17rml7Mh+fEzMa3wVKW9gG<6m3ri>y(Rb-U90Ug zan)9oNI?@E$(*%E$l2ty2Q(3X+JyB=tj_NA*o7vZbp}{0du=39uy%Q~BD6h4Zu~-4 zdt^YeQCnnAe|Af)p5a7m5_Hes!jW;?<{?B+G3pOEW z3RKymYfz}PLt^!WctJ&`Y_tJ#y-ONR(+_p|PMvMqf96ghiv)}A4Xu|BXf-^+PlgK> z+I~oTgU^)8j+AS|*wX39n|QIqs+%A0OB7n=`&Q~t60J>12 z?fc3}Swsgy#_Nn80^PMnH?`SWeh0QeVNAi@JBv{Y*cI8v@5EWCh>~^goaMa^wosp~ z7X@dsf6fs*wcvC>I(9Z|^b$`N1;2H`Q1;rPnbRt1R45ZgJp@?Jo58aS(@@eO0W`=m0%SrNe+gjT;@U0t27r;KK#j3|tTN+<&|qsLzRA*HI{bXQ$}bUm9lYT9Gh?`Ol%^sSn9 zf8O=mufyTdFdG^*?Z~V8plgTm+YZ>EQMftAkUEra?#JeDyvH*2`@WkWHLw_D?;oi8 zxcNFf-pW5Z^N95L%p;oraprMvj%bT*{E&2mk=K!WNCi4eND)z%LJ4WW*3UB+k)r&f z*p!emb}iWz>B_<2vuqKmLtKU;V=+2%e@aEVdiFZGBB|cXfkBb3F3{N0m5?GYyXbcn zKKCJ0A9#V$&Apta-<}jA24cLWPb%Jqo17enp9!~YABS7YKNW7-6o=bG(hcFZj`RoN zwvJS`pT110>^jyUXbovV{*PQlDcgoMfw_*aM zMhPi;rNBiNU}x55v2~nMF1A3wEHZ&DHGmbl&Y^U&aeB6Gj(#eZoS`pS9OwIJ(VFRAUeEF<;`Zyef%lYMO zemOK(u-w6_{ZydZ?IvQcyKEb^zgS*h&Aw-C;J8`u^I~{{;k)zTy+6+WX+90lyMBQJ zvS@lJcy!%E*$wL5o__89-VB%B$EKaFmjBK!uQo8(K}9)1IWsp!G&e9eGB7knH!wLqAUrcdG&eajHa0am zHaSH>ML9t^GdD#vH!wFcFf>IsFgZS53NK7$ZfA68AT&2OlQ0Y^e;v{{b`((%hSB$g z1`omukA$}Z;l20XdjyC>Lcn1Ke@wsvSOf_hAz~9`>;QBtxu>3{r>E8Rwbt6dq1Fbs zaR+zNdRzRfnL36r3&R*-Hs)Y1=3zb-U?CP^F-EWiOR)^gu>vcx3Zqz!HCT&vSdX#Z z+DJXs25g)mM{wA2f0OADPC9PER_uij26dfp436R$j^hOCYo~A;XK)tha2^+M5tnco zS8x^Aa2+>r69+Kf+whNi@XemDes`P6W2An3yXl~52X?;R_tX?$>$Sz7N?lO8wXihm&ri^AfqMP`v%yvb-ST8p z#xRL-R0k4`UPMzdR06i2oxQF4TyJPsZwJ5Bw7a*jqc!d6?dP|e_V)JYV@>;dAO2g@ zMDNF!*R;R)C%RV;5WK;cQtqK3jh$47Cm#Kjb;Pc))a1DEyfgje& z+=IV|G@-D9;UsDee~@Ncf+ZsSS9xAq7fIy*fjG)XB=&C*%k}jL9+mJ6JNFn3lZ1em zaTqh)njt)Fjl6FP-P$0CplyGD(1t%a=3#`m7jO(~=g`kZDzmz}R_0deXe+Yi~OtceZ;UIQ>sjk)Bk! zuG?JoMnkf4scPx6RtK_wh+hJNhs1h6a&={jw&ePF^_Tiq2c;#H(WJ4yA#NvB6MthEZP<0A204n}W6(BDDw#8qjnR^|d>J-$eVM_58k}F2N)x}&+Eqtl{ zaoPzKfw^jm1(?V5RF`(9DNvC%TDM}ftpu1slDa8muB)lVG*za5EeczqJ2wp^usJv# z@gu_V@k!hQLpoqCWK~z^6PL7?OXFmEB0?SsFF+w6vC&?jkV4yW=Xo=C!D-RFZ8}(g z1t>v*LwVqw9z!nQ1Hk|jJd_1#FWxO>Yuimtp-Bs3L{HW4fJ~+*CJ)vQdb~vb0nzy# zL}tC5NzJ+nN45%o$9JkQOQMscxi4vkNy|>89WKA@#M%ROMl=c|5^uIftZj`hN_X)& zQ^BRmph<$@(&hd8J0d_>KfV#_4uGxuptc{T{wHO7;YHsSgDALdYNaz9-uAQ-E}mCa zKV;SbK>Mumo77zs)FOMa$`*mU(UWy)4u$5C^o(~=TBVSGg{qB$uo4M*aeDHAaMBLW zOQ=dZ_?%_AEP_|rqBOcr-9)3Y7syl`Z5O_eIvS?r>W1QDf1mnrl8f0%6ZKH`)na`k z@me;yO>T8NWa3U4*qR)wPH*uuQ9~+s<{Cu2A z*Mnc{ECUEmc^p4OOz5DVZbA9olnW#CTq|>g7lsexu~P&x4BC%xYCzs$kyA**}q2phGLVN1SkSBHj}OvD3k027k_9@ z6b(?d1seB(vQ{!{i86R3h+q2GJ9|+iwU%VG4~bX9-QnyU-+V(Hts@-0et{={ujel= zUkMx$ju=mAG+#v$qbyA$nPP-f5zUv;$C%6#A#gmOld&c1C4sNx%;IjIa`s zLkUR;D@B5&_8bj{_5H4D+Pb@Mci>kJ31=M4AWVsJ~-cdW_)c9xFGf=(|a&VST4aOllZoGWfOET)ywl8 zT!yMwFVkL$s@FElAjC3_5{$TX2=kA5fTMw^s2+_IG7{?yoRN5|Jyy2vMcK#{sK}HZ zwWT+s*fdt{uYaJ^LWe6+gCJ_tRqLiL)k@iIpR{-v1~Cm!gq%dNaklDOy0E$*JLCL_ zNIDyx+_ zl`+IA510ZHhS|^_lcuBcNFc=kOGhQdf+h54x2{WoM}KBe2ok*LR(A2W@+JyzqT6yT z5*b0T<+=UjiQXh3L3^0`-zo$JOGF^Oa(nCzH4T6~+#Gn9LTAlL=KSlTz=QsMQ*Krb zfW+O-z`X@~paeF^IYwZ{Suxg~Ly&#EtQs3FkU!L=O{P{^!6bZ8V?Ki7Xf08kA)1qO zBFG1&{(ls?$ca2p6&)mlb&d&tdVU3%n`w;NT5y8GlR4sKg0#hb+v%XzHkscQ+85SM ziEsHp`RvmnCD4TC!8Yy3Qfp{z$zB<}YU^^*Io?yc(~j#cAtGsjuJ19&_ z26+2lNksNc(;$wjeLO5)mLe|r*oA4(h1WW4dU3>MLPCm()24BRvvhCTi2dhEzzl>|DmRP*h{_(LLDREfPLw1XG1atKwr-(wu zoqt0WE8Nx0a>R z91$3@PsMS)8KLcX>KIS%3CpBmBnjxIg!*BU+5!GGjJb7r+dMI~PwNXP5Fd~3(|@tl z=W=RDUNEvweAP8|0ltA`(-HITbS-19ulD6(KbgWqL(@%|C_^&K&Us5a)Z;u}7fn|y zpC;2!4U&wfHn^?CP+KHJm^uI5P=Y7Nru_zGvd4Ajxa-3OJLfd zl00LK9lqeib%1`S5IlPw_T+UA=6|fgb$o0>B#R;31MpRFOd5{!PzL3~0potwIDP}p zOfNhYk25ataBR$##E`V{RmO43hcn?h9~%~b1CpKiNWk29bowK~wZ&2jEsWFi*raa& zx~AL*0sy}ug{K+a6V)8d&&kz)Br!Q^i54@iozm`uLV{_1XZ zz{^7IJv_7iVOYAcil;hD<*6(sI>YwfdcqTYID=?}rCi284`w$jnQ(Y5D!RrlY;wTj zs$O^ABVMN4S=lZMr@3s}3tPJ~{myncPyTxs5}YH0tNRA-nkn?_#ad~Vdv5Pawh5E_ z)U*S4$8SSU5W}y*7n5f5o4ZckcMD^LpQXax2yPkdno-7K_SK*HB=k$3xe^ZU{b~N< zUlZ%yyt5Gu@&W-fldTphlPwPoe@c-<4j(`eAc9~sib_cDl5)eS)-y0%375Io(KyjDeJJ} zqp}`L$yAmxwRjIoX1vF%Xh4K%^7z54oPr{w$YLMDA4NQqA`fPAia6kzri0AytFflFlwe+gm?Foz_N1A7D% ztbqW04kpke2AP02W?ZMY7#g{_yAI^ z6=yg>Hh^vfx==rwEE5NOP^_LmSM`yq54+<|)%)rsAX+}C`d~4fsuwTtx~h-AT{o(J zKf7qE`gPY1O*<@se@r2)>JQDbTlMp1DX<$?-ZdW=vsc|$bz+owfVBie@>ZvOT0u?^ z0YK#Z6L9tM3doeo<8)tCp5b^XVtA5CIT z>tE})_3INmK8OwH11z64A_)lB2El71Yh(jKxDG}P_fkFb)!q_(i>}r7nYd~zN~E9( zj%3c-3lfvl9{5N6X%p5fu{yicV;7ou))`>2?6r|Z0kh=IiqQ5Hx$z5G?U4b=Mh)K} zDOqipp7aZCf8QF0wWMM}hw+jsqh{ka*@JfA7{Ei5WUY{NPNJIAnf+!}w(c4qqE1HY zZO{%e>7#%*Jn0&@eS0u=kJ1ffZKb*e0dCx654Q`~c%!2c4GIEel3-#H0QE(>fEDdvT zIv^c8f15RWi6@JK-#TC@d+pH8lMU#80T|TpoHsU7JMj;plT0|q5J2p3_#hN;?@NNo zZ@06%QwVjNq)f%A9S(&Q6QZ3871}|qA_i8ZR>i67MSBCqa-l-oZz%|MT+%Trl!>Aq z0xajv;Ms*~C}|u?p+g*jOeo{TMV8q~6(A;fQmRCh>Z|vg$nJ!K+^X407Vk= z44{K$TZm=aCUmCkH=YmV1|Z_pL~>OXbjbe6?8gt4xW5Vb^RK^^2t{j>kW&e*e!IH5 zI$cj0%}5zh7!8$B24qH$v-U$uRln}8y8h^THgD8)#;)JbhN0H4&%2SutB46bB!T&DBsM-=5L&1oBDm<&5s&b46^qRRDIlh9UdR$AKiIG zdVJ>*&HuRbxHm_%#WsFOy1~fnNIj$ioh77*C`+M)G~npxnTtqKeo<^nNExS=?22^d zVDMSCh}0o2Ly@r<9XX{UT|Il9T#;1of91lUNLLqVZ0Sl!k(XWcy9%HCkf{&6!02W! zx9PVxg@}O|Z|ReYx8Wu?$KhwfE!)T8mhw-9TQoUz}g}7ia3^Zr^&p`LdWd9}ZvL{B!21{|D?H_p^3+-u0hnvf8xI zs)D=wy|-=K^o{!MYPMW%7u3)u;Rr{$xwc7*4 zUU%6xYJai3zM6g8z;Ux<-{-~f1jBcC!Fzw4{nLCJe(CxJipQeqq2SSV4`nx~cYE`- z_pTW(yN^vfTP^>cU0!Wqy3z2>qCLkRUtsh8Y}H<@=UR6wy0`zWoqb-wpiQst_df4e z=Osd>{r>}axt7(J0XP8@gKrkMZx#UwM*}i4G?#l_0U!f1GBmfIT>)7QQaLm=H8eLw zHbzA>GebEtFfl#dE{Q*FW4|Ku2sI&L$6 z9l>eG9oUHj@WG(2^NqoAoWMz(LVfKF&f*--;{q4v&}-Qa=io|_)xk>fMd zV?1$uYASpXe;d>{UO3iuFEQij27_0Bn02h1zQ!9zzczS_caD|Mdwg)Lq~`F^QD$kq zzuoL{Bd+)tqOd3|-dbc9nZ=uo)}pm|yAfOj7jHbOi|S$vkzS-1n~DCSzt~np7!k$> zqr@mNwi-D`j