From 94ef4dd194ae82f7304ef8216e159f833bdb9239 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Fri, 14 Aug 2020 15:02:26 +0200 Subject: [PATCH] Korrektur Herausziehbarkeit --- verfahren.pdf | Bin 265708 -> 265781 bytes verfahren.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/verfahren.pdf b/verfahren.pdf index e5d864f7f73cd688009f9a8f07c1c514e588de6b..1499c7158762c46a4b6253a9421240c4e096a67a 100644 GIT binary patch delta 5328 zcmV;>6ff)Sn-H~}5U|p90yZ?4aQOl$ll^rSe_@i8pHcoLAX?dnoc}eEOJGxqI=?{Y=JF`(<8i_vJD#uRBsv3~=Mw+IWFSLC(?wp<#W$OEQD)`gif;3&$_x4+FBeuL9F#wB5tYTR z*p&X+zFgpin!d9$e@30*6DL98T4P!(f82c7l-pfa&QZmQP%Kp`Xs?)#Qqq2xmrvPh zhhKMAF|P;XQY8(R=PyuFXMnZ4V2qkj(yR{IyX!p`)(YiM;s`gT{W z*CEMzdPjP#^5Q8kVbhmn2c0s(VQrj6vGcHB?HfL6J<7lVu4uw+wcXIwhjIg|f4j$v zA}2W?Zc)zr`JXcq__SFqNeB3L|G<^VtLJR>*rlE1xzMEW}0$J<3X2 z9)?lU4I>(`w)#uXnUH6$Y`gUze?QqFO0pzM&a?`B_+2a9V+{A1n7-JcDRwksnXh*J zP=9-CI;b?4JY})&#r`kDpd?r=ilI1W5jxG;F;u$P@UjTdnkb5gpAe@CyuDtE41 zE(#ak#dde)0?2F8j-Ul1YmryDyODBu8R4p6Vmoc*g~Dqu)JcRVgkl&cgu^iUW<{=x zK`F=9ys_(ivHnk=1Hu(APMw~14_xz&T_9N>M%#_Tkrw<3y60YW2P$A1RB}yje6ym7 zocJT7t4=y`F}r^P-F7=re?wg0ey?!G5Gt|9g8vDWscImXJDoXlHj9 z0k4a0Dq^ai$aE0h8l=FPWg;AJsPKkQ7yfA{tJrfbZ-Y@!dDsVBXFipFJkpof(b9Vo6R}?0o1Qe?Ax6Zss6zw9F5i zWfP$xMDOl=m%`0W%naAywUTLJUd7?=HsIM6a1)?#k<`=A&&4XAw@rUdFYfyIl%XN* zCq=cOtD67ejWa@tafA063d-Hf7CJVOgf9v=z$b6s-H*0nU^E#ufsXixVi10|v$>dV zXh5w8-G*r?d>GEBf6@Vk^g$uJbO)7ud#gm-!b$^(fI~PF|Axl&b|GR>Wa_A`wmTB? zw>72DJ>ijxIn$WM+eYy5yV%T|?ZUl*mFKwf;>lhO`i^shFY%qfd<05Zd!cnkk6reD!ho3ioZ(NY)OO}s<9fQcfW_7edlI*2Jsb~tjs zreQCxLUQ4_e`{4F`1&8#12943T~WSN`8*Wz>zuxG$sG2DI8{xf7CC&{AEgME{?{S! zZ2@(igLVvHVJ(i-*Bf28jIJc_CS3xCq%(g4z7lr95Ej0L1Ez4rXKN!pvuD9uRBQ>5)+8Sf7)mdoSWc0oEe$=Q9p&0Ng%{( zuCun41+3lrSCIFcF7yP1LjBH})V;iaLb%ekaGUE~k^(T-u^FcZiwm4nDV7NFMb7!o zF&9Z-cMfyG(2r#oHrgJHFGoE%Hnv)DTKpU`rDlzbBksh?;SS7iDFFN@yopsW>DyOB zJ}rQXf2Pt5$_JNK!#>>!j4b5S5ExJ@G(Igt^MEPLaA>5=#9}lw02E|B>MPZ~L^Ed~vrt|0vb zU&9+g$$4MC_#z96*}WSVPI^IAz&gO_M({6De`%wwWjJ*wF5i*JGvXO&g8agO4z>WL z^vu*61wwOOtb8)?jEOF7s)}6|;&RoQhDsz8BZk7PR0s7nN%$czZ86$bG9cAg-w8r& z4~jiqI#LM$GQ9+30K9EJw6=k3N*{0me&va$ZCg3w3GWP9)Vo;_Yy?1PGN?z&L@LKJ ze`wmojZZ#i5(5?Bc0>e`hh+dW%K456fk_PRY$mNyr*KI_s#PN?JCVs5xWt>)pHjS| zw+siok+Q9~FC~LP%Mvr_i2_@nQI{sbK5xe<0#zZwh2nWh^r|fyS?Vd6lwewMnZTfJ zp`HeUrV`s+N_~am+ZwR0v$)H0v~{bAe`UP3aoVlFaU+mNADwd8fZSB;Fo8t490rAi z#ql_s)o0p09*ji+bg?z+bSy?X8i_@t(=+HZTwbQQ9O*_veV_%#FP5U_|726mS(|Du z*wjOKs+KOMfO2k&_b*&#zK_Nou!KEZjC-q|G2}rgL7aG#ye<|3R z4@ymJH}>o@*tXW~iX5JvreadV+`5ZYzq^2jwL6M*o)Y;=Fp8Lr)mfEb-8CCXbtY-M z?J0WNWQl&GInYzCj{t&EqQJdnZ>x{UOhdcq(8rxL_(SqhF$o^=bt%&TZ;rI}*{`x& zLbZOQAXNX*Sa_By`b8%`>HT(qf5!LDdc@#%%0#uxxI-AqQlpx_a4nLKF0F*Vu>nz+ zjzFi9B@l_0KZ;8BV?)UI`Qf1*Jhg&Ne& zsj)4jVDpa}H76^T#$Z36D&9@&B+>6otH18cqwD_hAD7Ie>8pRU)Bp9*-B63-&;UIh z2DmVZn_un zkJxmi$6BbN^5~cY$zJR8xNC4ejXKd6vnXZjm&Gae)GB?(w_v;tdmTI{oXpc0Yyu26 zhK%IPGNFQlzrBC+Ut_aI^Roef*Eo~GDk*=(SX)oqNECk0ub4-8SZD4R2~}##f>zb; zR;1EiNFPi(1dCuJ+hN=O`u$FBIK(MKVY?6D6Z<>goXh7klL&1YXF@xsHM5R+&#Y%c zN!-KLSzH5?5*Wjov>I2z6nD5vreF(=&%q3YG0X(`7{?qZyk|}mJ}?JbVL9`}YXyJv z&fqFp5P{jif~DJv3C^(|t-%c+2n!Go#DG7ch=M{Bz&MIoP=FKwxjRV_(j)K~#46lk zZTwp-rYI_65FmDh$6W`8fINgpZk(3!0tRK_C6hu+h6SYX;Pnb+P@wP{29Z0*q!Qr5 zV`-Ee2&5^kA{x}pF4#frBvuIEaTb3(0mPmM7$Ecp(IQ6a1LDJzfNCNG89cEVR9gCh z2$m^=2}GtOK4E#KG^glcP(-M>G7^Dsw8csU!W9fEO9)IkL61Na6lLg{=1L8aDh$d) zaHfT%Tm=kNUJA)HJx5(&P@Iqmm4_}M!i91YnrR~e!vflvFp#K-HjDCs+~R)|sYhG% zPofaox))?RMc>)tyatkPKJg7R|)YOBs-AMzo8OJh}{sYgo02`5JDbCaWdeps4^sU z&B=hf)?{E&O&WsMp*?Co7R7(F!O_uRc+Ad8Nt~Ur;h%r~4IO44Nv zWMyNVd9kudxO$DD*JEu1v$ml#wdRC^1XN8Q5byAPT}?)@W#OIODRQ6S2}}m|kgE?$O{RC`NInLRtvM zxy+99+DDVHQe;M@K`{l55=mH%mydt8&KHzYS2Fu1CN^`g zADNh4Nn*?Ns!w{IsjA%K?D`z-xn1qK=W5SAL3^&JLD+!&5p+h<@k`r zqQqPAuB`CJurh`EK{Qj4eSIu*we%THu4b{gjAg8^V@Y8h?k)3r8OW_nu5n-DcNLP| zu>4arO)MWFS*?wkQZ$pR*m1wDtBYB@iTmSTrTTwItlM&aa}(<#))YojvQrqJE@su_ zdcV6~RSK_JF=3;koX#S9-899tyrF?KJ{XN&j}O0@fbJ-*Y3unl-CYO(zCWE*_03~_ z*7s`t1@8u8xr0i!TVCG9`ZB*FEtUD?ioN{;RhJ0x_wm7Ra(uWi$n8~Rf4Q26??fp`fD+d~91Ffuil90LR&1T!!)HMc(l1bqflLO3u+F*HR(G(lh6uF3?Tm%6xTm-qR zRgj8^P-_)YL6RNms^IP4$1!g}bH;_4{=5 z$@`m`GiTYS;=j zuno3DE$o0gsD}n0h@p&|(tmCz}eg)?vtu8<#D1z82R8eDU&Kev^Z#S(Bh!Q zL5pJ-zgS|Tf3e%`yCwZ%541uX(9@u&!DEarw;%55xP3qcg8D=+@brTg2Q7{v7;wAa zsbA3N7=>ZChrehW^^OsLu7%ixddHaC#;Eqv`=BK;2~%*CgLxD|6O%HSh8dPBIxj@< z<|V~MUxGI;DY`k}ZA^-j<^;`7ikQ;GIhKl@`ot1TJqleUuSVkg5)>pZu;jsq9>7JG ze20Rn#4<}gWcm^-EcM{^hF)caYap1)Tg3@N#0@t7#wgQ)1s)22A1-66w$Gw$yKpk9$dT4+~ z*a=Ob{xw4j=-a6;W-GLTzC#^w4E91Nbb-D|-OvM{K0&|V(Vg#id-Gn?0r#>+O$Xgu zpKChgKJ!XbpZncv*P8m>pU!F;aR29LO@p3|Kh|{Ev#;-I8uIM>XPSmRd-+1s5zqd; zrD??T+P^f7dOkR(Y0UGLpEQkoe!D@_gy%mtX`1x>S)-;Y&;Quaq?1F7zZ42(Ze(+Ga%Ev{ i3T19&Z(?c+b97;Hba--QW(qPkG&V6X3MC~)PeuyCt~h@H delta 5225 zcmV-v6qf6?oDl4r5U|p912r}_lfl0zll^rSf5FbKC!48FQZ>$|D(f8R6)iKCs3}UC z$ts8Z^>m}b2WXI#z0N5Yn-37(Xmo%5bwhl%p7Gg-cf9xi`u5%Xn>d{b&QhL=+3mwD ziJ3HF78}mE(X-pt?8o_?6nycI+dnqny}yyV`w?6waRRUG@T=qg>p~{;>~XVLDizJY zf8gDYn#%&Y9UKNa~SKE2PX+`ahwaUtWm{W351$8w#Qm!4DXpz@3<0q^_Xq$TlG-dQbd}G*x!&cJCKrwTq0&1uum?TitJV)*-A; zPZ#ut!Uirf+Ge;K2%v;Bi5@c@KyGFPyCSa+bW0HC38GMfiysz=vNpM|e_s)*9F{I- zYT4bOIn|g6yLr8_1EYAr%RCi#WB}`{#KHRP$tMq^XT%NGN4}29d)yH@p4E#2TaAuhZmr^Ud;qz7f)bkf>*4^g^ z8dJC-*O2HS-1bKr3U@H4e+5i>e>%EJuXC5gD{BROXV-}DzR5;YT6X_f!-b8RNk1*t zV>S zI1~Sh#`Ja}Vo_w8sIB$~67ttAWtJl$l!`gi2t6J`9cxHgw%dh!11ryQ<;8=&8ucCL z2EW92{`?u(Qju2;f3P@WP>fNvExo)&>;bxUNw*)Y-etW2%&SFn)o?M~MF&iI(F9J2 zqPPsNQl{ecMJfKD`Kpe`n?-_jZPPP}=7_ne*3ueM8N(E84N@N|9P$|^7fY=yA4p$Uy>!Gcw5h=!Lt5|-fBsuczo4f!d*TJ|W^8v8 z@6aw_qKK#cL;xiP#1smlk;g3!dve8t3&%r;tmEsySr5Q8j(0`*ROQQ1$ZvD{&ZT_V zmz`B?Rg>aX4xjc%DT1Z{bqIW0K*{5v9RpZciz6$njjlUJSCaclmw+Mh=1;)4;;0tz zuMl{Ecc}(me=cZVB0W+#ic`_e3d5&z`xTHDM~p{$R2X=*X-51msIsv3^C$5kF@ZR2 zjCRMl3C_crk!d~Zr;suUgjmCMww83m+O2;DDY5aPCm<9`TOfhDm-h#RE8PgUxy~gi z0COFiX=<=~fpaRw5+Qz(b6z>-A_?ryVJ;Z@vGif1f9t{ca?*oi!=kh?)XyPPYSy|q z;!dm_?!f$(0>FR5n^^UdzI`?3(*meyD$S^Ta9K6((_Ua?A)ki8;IiY>A~X+}!i6{A@GntmtF2`? zO_M4=kjOLQ8EArR0{V5?JlGwRvSy~%C=i<4VpAuBnlaI(O;xe0LR_vo(@=?o5?D`W zr6#B^Ny7Iz)$Ls+15#Z*E)#@U2gS}rHCuY7e-Yqg`Vx!*?6&F9ng*^Zd%y*_Rn0qX zL&xz>cxT9H=3SdULTp&VN5`#CJ zS!dJ`ENRHJY9eDNGC2d5c)R)`#XY@cINptvUA^l{G8nTgF{6$suqhb%ECKd;Kg|%R ze+UUK6i*VOS8dV6Qio7df@#Ie1O{yj zqF;XFMj(xT*8jHwxvREe{)lKf4hjj2<7qOh&$N3y8jAwhVrSHFEJiw-h()8*GuSg+ zzD#jB(I$rSKnsjttVGTK$)=jKHr2dfe^XE4snS;KH`&xN6o6q$brrvGg@`TEn^HfZ zfxRS zHWa~&e?TJY3c)C1GFE35f=$zGB-NRu>$XGew9OLzK69X@+?)UeqeOvw%idN$eJS|BvtflPJGfkRj2XYLv>$3 zkVLC)6?Y0lS!z_<7H&k+p`Mk{H#Q*Z+VSU9vIHWr%by3f8i2hmZzuM^fRh1ReA~(; z?;kbUj&N0cCMa@0witp3s6`+nf3;cjw~$**90W+AS;C`GzV@eV5z>tsnKNbDq|Y;H z2y~@S0cw<@2DR&)4fLm@P=DGTbAoMb9R-{JtWPsosk8?Bd8l?borA=BXFBcmx;(n< zpZ;;lOq#y>*DU?t)qEQ3P@Gzzr?UVTCUN_F7kJwHy-V=dAQQhu@qZ11f6vhR6+-)>ffJ6?G}!;KIbqIrlR*9qFkKYN$MV&VgjF^ZC4Ma6XM1Xp32t zvh~Yqh&^>mpXn`_?!sOMj|peXGzOahgH46a;smxTIQZM!cmDPSvrd55H~~46 z!M`YzPPqzyIFInK&fG5&s??SRt*YIvNTt0%A3{1nM6i+Vux)?+ekUa05T^`3T zv7WqOd?0TaAIZb4bbtQWfxtGsC)|LE;7D1m2NG#2r`Zf@<~+&;uQP~ z4S}nHbhMZJ2xcN$phO@ev>6~(2&jTWKt?LgSwe6~NGdXX8+C!eae^XT6~1`VxWq+` z$XE@SbP${vD0niKtA+j;hx#yk&?BZ1l%3~)`a#`s*b2tIVgc$NbW;kk1<3-`gVtPQ z2rdj1LN|d+tKpQnqfl!T*|LVy$d=J(E0CWu0sZ}6}Pu!DFDjg-pyZ1!>R>eV-~J{D+89#(l=Wgb?@f~$~&RZ$eor!1^j zg$jAOp~8jFglba+^dbu@G|C&-urz#I&8m8IJ)R^mc%kxs+_tGMX=&l-&+Xx;9k&U5 z=Np6JK~=W2w@1SRENJ{KU`?{KpQcK4Oa{qvaAJXTR?$ZA7A!1$(nD+(dVjkAJLTH(XHM$57 z%KMT$&){~K!)xo}j`QD3XBRiO3gMpzWhl57uDy@e%9=snn%^%(jt<-8`5_MrN0i*fWFfqh4pMYQH$VK8JgLlY9QT z-1AT1p6_W8wqQOPW?{W9q{y?YF-mRB!%E=_*T>TyY+$JS&-m2kP?t9yo~@0t4xhT5 z+qNCQ0EdF#;LxqBXK*OEd=7Q7t8LR`e^Z%Q;|kk%?CisC*^Yal4m9R}x0oy}pCp~l z!y46pJnX^pDcR*^rmZNvebF6u+pfCpgxSB_elIKICM)A}Ss9yFj|F+OKgYWnE?{3Nl!TDE=Cp1M# zz0nl+gr;l~9AgwmdY^@VH4$$?BIIF1|0_r@79*N}i24Eh@frc{_t6I%Z+AoP9O}Ac zSUdQ2n1roHDwD;M`wybw_4(O#eSS*EcUcbi)6H~}jt<{^q+8T*M8m`CLxo4Q)1*l| zt;#~~^3$DnNWHFRv$NT}X~yMv_N7U?n@aQ3JH1}b^Ll)J@ra&(y4BmSuBPR<{MwIR zQ&_orlj=0NDCgxleM&XmT4*a!oAyt3%9CA6(-N!VU0GqpP?=-;K{V$u_VuyM^{vim zaxqKOvs9+~GL;ZSyl?mY&xOQv^<|BdfhbB^YV%Z z(#g(f^!jA?n+cc>)0(!PU-I1r0igTSK~-Np)@O6i)?ctT5X%i%vflFYCe>%-3+7Te zo?Ot|FJN_v0DnK(`AwbdZVPhVi|Q{|^U(Ng+FP}*v8Aai->=*0)vXn1kLPEPWPPW< z?A+0b_GWU~*5k4{gVuOaz45&1*!dS7K?RkUkz4~4gMz<@g1-TWg1-W{g1-aXLj*81 zFf^B80|XxgFf=eUw}b-(eFjoBH%2iwMl?4>G%_?WG&M3pI5IUvIWsshLPbP5IX6Z= zAUriUMlm)e?5p#ViFK^ZEb5~^SsRKs#u0X47^YJXuB)ImM0h6Y#zYhfL%hep@{8==X~YIJFv zU~^_(J_RROZecnOqi`Bd!UguWz&6+pt*{&RKo@kwei(!Ua1cnSNJ2#=bPSHeX*dhB z7?X*Bo16FLb~@4sM5Lx6-(7W-AwY9*%+jXb007I0|EIYXeSI-04>Pi+_H* z3v|*Bx5m%f)(L&k^Yuf-Eg<-eOL2Vo1-wweMxX3o8JL)#{{ZzV^ zaX9HV_K&vdDNHa;!Wp-T|FmO*9g{E)%IX?SxlJ$WkaKVz^q};Ym*6s7foZr3GcX79 z#Hs2nxGg@^sjkB!J6Hw<4r&|JHh-vXP}`_*dvZ^Q(7&j1`{|jM6gVhwP~f1zL4kt; z2i*<28}-}_7a24$8r*Kx=>)VmXmQZupv6IpV*|gKVxoVs+3nY&ez66bpc&|C(9_^C zMyuN&Cv@BnpaMaCVkhwQgBAxZjvnZ8yZ27NpwH0{y>5RcZKK}N$F&f9P=D_jaC`K> z_R{;HB{2*maDan(6hRY{G8lz1mMS_gMDXS%#YA6%H!mr=Q^4Dp6erCInw=CerHQjF z6+88bDVBN^x=3D)#P=mANL*yegAYA`%Pjd01yzY@mU_taC1zOa!Rrm3W2rKzKG#^P zAPaDvrQY8~ZrVKm_`%qgv43=6N}6&gu;h?(5lW!nmZ1VTX}J=rU;&mvHE;#x<*)+g zp$1k0ms_rdRWJ*6p#E`h<<-ytS78mTg>|qV8bSTr2%A9PPJJ<(pc(WXYJr2W4Yoro z=!?__?eOgr^!JeNe3#q%2by-fm#Q`Gac}xr(_Z(nyP7)O@BFT*(_Q^(uBprY?YyRL z&jx?gw9m62CN=eV_S+3jy`H_iqiMfqpE@=5d0u~8Q@`ikB~1gK&&+8W^!(;)O+%jl z`9{;Q=THCDG~)U5B~7aL6`1xy{z{LVh!YVf(oLk7-wgy8AJ{~&iC`1KCNfQAn#eSf jX=?LAcGtX6Icr}52${WlmkbUB9||=zF$yImMNdWw;Xe$7 diff --git a/verfahren.tex b/verfahren.tex index 3fa0a9b..c350f82 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -559,7 +559,7 @@ \item Bestimmung der Schleifenausgänge, also Knoten, die KFG-Nachfolger außerhalb der natürlichen Schleife besitzen \item Alle Anforderungen an Zuweisungen müssen für Herausziehbarkeit gelten:\begin{itemize} \item schleifeninvariant - \item in Grundblock, der alle Schleifenausgänge dominiert und alle die Variable nutzenden Blöcke strikt dominiert + \item in Grundblock, der alle Schleifenausgänge, nach denen die Variable lebendig ist, dominiert und alle die Variable nutzenden Blöcke strikt dominiert (oder in definierendem Block nach Definition auftritt) \item einzige Zuweisung zu Variable in der ganzen Schleife \end{itemize} \item Herausziehen vor den Schleifenkopf in Breitensuchreihenfolge zur Bewahrung der Datenabhängigkeiten zwischen herausgezogenen Zuweisungen