From 8fffe1762e130648030e460dd2f6d1c9d3366ebd Mon Sep 17 00:00:00 2001 From: David Schirrmeister Date: Sun, 4 May 2025 21:10:11 +0200 Subject: [PATCH] update --- Writerside/images/image_792.png | Bin 0 -> 14097 bytes .../Hausaufgaben/ti_hausufgabe3.md | 188 +++++++++++++++++- 2 files changed, 185 insertions(+), 3 deletions(-) create mode 100644 Writerside/images/image_792.png diff --git a/Writerside/images/image_792.png b/Writerside/images/image_792.png new file mode 100644 index 0000000000000000000000000000000000000000..303643ce17dfbf6ce0dcb8399acbfc161e705250 GIT binary patch literal 14097 zcmch8^;^^L7q_U0(xK9gfFL3z4dO<33kayALu3d@iy&Q-lCIIEq_lyIkRBkd0s^BX zMhpheJwDI(x}Lw_@dvKAd+)AupLm^fUW?SzQKcYdBE4|o0)@I7)ZoH}i;xQ!h{&&A z0iU4eYdS7mxc^ffs$}%aYGanGn0xH`m&rz8ndcuTrO9z8L(#Auo*W@~W{f z-|LGAuA50ahLK#iYVwIZZ+|6y6a6ddBAEe{f-IkZopxfWqY8>YSw0SxCHJN^_^VU2 z=##apU_YV$WJ1=4&2Do>?m{96hS zJu=J!`#-E>;@k1YXU^0#G`1U4eQo;R!rB&>oP%&^Uh zo0&u$N+A^gRNxpTQEBIZUyeJ?K6t-(_8R^M77-EAN{6CedNdX0U?WQ0ja+!+l9kC8 zp;h!iT}rTfb%0kbwizSN>yli+GvCL$%L`@x$y5(F>h-jQZeyzgj(3+NZNP zg_Lo)V-CXw+ZEMIL56X8a+!ANDMRhLP%vW1GvM-&h={1$CN2e; z@g{TNuUW}!5fW@8Ee*|*S?>kw#R9f@ExYS@jF8PgwvXOoX3y{e3Af>uGc|WOlEq$- zOGlmW@H%0K8bM;BW>+Ew{xtc&a$nzcZWJ5yc_?9@pD3paBp*{(D{LTam}Xw3GQe_+ zQFMS#W7CfD>0gJs;U3{0cXGzp=QGiQnIii8jHVcxx3X+?p82sBr14#*p`l?^Y4fOv zquSArcl#@aoHGmaPL)=lDx&P3K>fWXy^QzzERtl}F!*C8VEO0A!n|&qs02?*V(GX2 z7sxUL41xq{Xb|6Y20r?Lx6n1&K9~71+mejxe9Cr(?itUFnVJ(e0s94pUcop{F0P$t zERdwi5ZJ|`fNy-RtWhRg>*+7Z83phhOgEk|K2Z{*8KeWkhOjclvbAqbDLB?BOpzR2 z)`GG#H;3Kn2xMkoT$rG6ZF#y_efER};7E=nS?L z40EjaKM&rkjS-$Ex+!HHa1*SB(05V1bm!t^(2Ppg@)L8#j0&Z{Iob_;bM&R&xoIR@ zDrW8ZUPrgloha2G0dp!xp4kaPad|9Fe*Ga;c1ieaBaSsyZP(H+s`Pw$snpQO_x(Nf zTpW91sHpu>J(sqc-`eS=we%Qp_i%yo!3%v_Q)iwJ6cmU=F~8Wm_ci1DUojk&IMa<~ z1}hByp_i3vApbgnVISO^#n%s*1qvl2q{85#|1*Fl6W@1GlnpSVMR}dxij}k#YbPTwt}Eo^2&q7!a|@|i5WPx;p1VzUdR8yU!9e}s^Oc~) zOsE99OoagR@k)#EzXMr<1*-8X?(XjV0sl`>OTfCIx6>$9NqP9_Y%xW%g zOxCKN;b12h-9cYS^lR<lmGclFi@4tm zy>HorPH6hm#8jhh3PthiX5W$ZT7NJfbS4i^iB~*jkjL+hj(l>5q1yxej&^g-2$#fv z0OTD^kVg0M3-YDU6=t=1c@N(X?X8Y3VaCe4$KE9-Rto3TJC0rvZYc#{i+Q;@BfU4} zT%G5>&}BC0<2qSWc$tKxAnJx77dA9FCx^Yvq%vLH<&8JWq-NUd!w~U4f{KsJwHpt%7Rcl;2H@G>M8G0m+)Z#g{P!D|F_Z4aH#!$wls&@3#pRm-M8sOE z`4wGmN>!R#bGlco2rRUEt>e3+PL|ADT3XtQtr0eHhXfXB_+{x!D7~8m<15Jp^UCG~ z;z~oq!nm;FIeg|VUP74Z#_CgEaN$xfSE$P@TkabaKrG30mnZ{|HzaLjN4nxzqfZaN zebRls#L(Lr!zfl^`g-4}(QRHuIqEuMZ|^0L0&=p=uQBP48Li{s1)qzqG`{V8sX!>pp$%8#()P%bWb5N21{xIiUVbUp2c=_mJvFl?HT>Y3sTa@+p`<_%PW zJXk?1Q;LQ@(ZHv9XQ{6b+$V^}!>@@h>1k+0o$|(yHn>{6+*{GdYd3urNxF9KLrqv9 z`(VZG5l!J9SiF3g+?ah%Kp3!)+>XeI2+|L1^1d8yuM+j5Zwe*&wt8Gf>G7hM;~jGl ze^%BKs%qd%8px`AZ6Jd*g#a0Xg{bC;A&p86hy(E030wyJEsURz1?c-?rBv9uJGpJ1 zVX=IbS2>8)B@h!1Mbdly1`W~;Bg{fJSX-M{mq+UEci1J zHQwTn4+?PDwKX@mtiHZ}Hwr~!nrUKOZbAX9eiAo-b{ejc#Lqb&cq|0>26ptp>Xrrb z3y6t4J2IxLG=3(6&^d4D3n@1G@us zD50g}anW6$g|)TlFmlE>=!H2`>wvc`-$jxr&LyY90yzNkU+6|~8IQ^f*b3TI$QEL>HeOjvDTozeFMB@QtnTkGXCQ1_ z>RnyBv*T_GuB<_!>V~itOKIxS{^o2nVYy3q92PPtf56gP8FaG1zVbQvl3E+Yb*#*I zk(Ub6R9knj30X9dyUu*l_u86^)ybACJu}&%?MoF_4I!aY zq4M=oI~EU-_V~+zy;~KPqMwg3tuOm=jZ&qY`98E-((SIgc1HdU3a0LuW>5Xp*B6W? zcRm%y76u&euLj8;ZnkVC_^PO#rQ*N7C9}v8Vv>d*I7I=V0Lt-; zp*I-Z81QGLc^zl?Eu3)EAicFeCmH=+sCI^UQq+y!Tpd=X{HGz@HUnq}ao2}QY; z=rdW#hZ*Bo6-9sPzRmWX+yT~{h-~fkH(xQPsn0E82{Mf}xti0o(f&fP+b5-NdUI?k zmXKqzI$xF}?1VLfsr80{(F06c&L!6=4%hDWsE7ndPfV`9E96d)h;yWg{3MO*+>nLU zs84EIOX+z>KS%WjO} zzR{&yZsMSo*sK{rj&zOB{CaZRs)E6QTkSZy zqxomPK(%nBZ5WK73ba9`zmmYl%h4H&;O4{5{E1XUdU(~kp!_MWJ03}lVJD}DwA2wFa zS!=KTaE>4LShc`YQn&X92c0N!e^TP=o7Uj{fe*P;V?%$MX4m7IYH>@xZ}zrEFJdEN zRU91~JCAKol!ZzYs}J8740kbi$vUB$Q$z`w0Ff4g5lC~=fyrlw9K4JZ%goLrmxP?q>$K~Q=Aw%=Pqb2&q$`LD< zxBmWjg7l~T$$T)^M+St;ZSMD#_owGQOCcH&L(0f_+O*Do^fHN$cZ`!Ex!fI*E`eZD z3AsWEjcawjBM6e4&mxQd;BG)ZxxByt2N7%;VD7&rRgd1F>tFAY3>ueuXq?~!hEMUw z-<|!FIr382*98oZ^jC6ITQl=YU`t!p7a0Sr61W{Fn$17X?98`C$jp;3XPRy5(hL@I zy5(lEUpH!Lw!J{{00+aA73pF)F5ysI+dm@{-u6Y7M8;Ezde8p-xO^>Or-x6?^0Quj zsgK8+wCn~%Ky$Q<5x-r{w;uPgc5Ry5h!2h97szH_9d9)1C-*K5 zCyR})Q>F_}*L&V8Gx~T(!C7UgNz^JtcQbwabMkN-U738Amp}UBRJ{b-YJ9Pv;eo3$ z7wTJg&ED+sXaJv~-=`|ee7(SI_M{Bom)BIu{#pdu`9|+0ik8Pwi5`8= zYm|2BhC1+l3;*bZm9q;Pjv1D z7JGr-lc5sG062GMfjmd5zmnhEWZqT_`Y==IGYYdA>HOVoSa_F8^%M16@O6+P7q!Vx zjcTV$(e`J|O>Q1G8E&~S+cXV^bHyjOlYF0VQ!B>&ob9{+>f5KeX3uD>tu}t!BQ@{@ zep56fx|aY+pM|4D%)G9!E&CY8#7IYZ}51;eQ|W39*H*v1h=r-JJnFeIc;9| zKy|uN6|xzal1?L>3L-9~Z9|$@hJ2MOt|i&ar|R(NC?5n{j`(N0l82vH532C+KrfCF z9barGiO9w)2b3zSAXvV!?zjyn_RDNjz9qt*p?~<@OTz@@EltV34<uv+6K`f3lwM%62*%wde9+H+Y zPW%^l6fK=hE`pm)nT-?AGjcby*phruz%>iIF-!!b@NDWlEb(MkkRG${Kr zVRf{KQ`K4k6fUly^b~$E!26`aX6Vk9M4APa5H92Kmz=Z=`(c*IeYySApS0}ch0o$O z%D8I}cnx!Z$Z_(E-Nui}{@4txcoS~PTeS1-MuM0B9!jXOG+t4UPr6(oFbFxjp;B~8 z?hwQ_GuQ7)`;@U?z+=M3#@n>XFP6cRLU4oITCV3ak^E4RXWM#QvaIBv;j49lvt-?g z>yZaH*!u?g#(wCE>Ad$^&zq>P8ysh`sx9&)k6klhmtI@?SSgG}1j?^*;$5XT`c04X ztc(S?u^oO77P^4fS2wBjC)H-7xAlG?m#6YnBB5EdQnv4qx%C?HfMRvWQJ}r+!0q&` z{)uK9PjaTWV^G{e(nKH*CC4bu!y;sj{<7)Cogr6Mxit7ybg{uD$FlX~0h>N1PR?vEkT5O)eEF|HyA#;CAa93~j+4lq{$nKkv;mKP2?=&nB zGXOo=ft!qmsfEM3H-L)-|Jx`1!4MS@@geXgy3%4YC>>t>o>DFAOO+x=_E4*%>(EYd z3MnHbAbqz)zhDT#t-2>^?|8Jc^yx~HMo{KX`UZoBRzyR~Y&SY5SVsgA!BQNs<29Hq zzf{>c_fWb}Az1++M5Ln5W;Tvo&UpKea)N3Mr{qMLarrUZ1bpXb(IF0(ADt!J_jO1w z$rmm#!rnNO6bPefK3rW``F6mT=z-$PH=Wpj`HI}}dtG^KLxTh7)}vF_lGD0?7RUsP zz&)6n(Ehtynq2ICy{3v0MqBO2Ri~PHPaoYg;0su#3gz4T(_7`xYtwfYC>qKHc}sfZ zVWDPf3X_CWu5DjR9vW?gZ~UCpLsx-<{C6H-_;cB&m(N6T4ue-;;tICm$5R)PXLB<^ z@x;l?qr2Uw7zFh5Lz8YBUO75GF1SX=`zx)pB70a{T^;c$TRY)Y%12|V7gqqP0XYxj z^y6(C;+>~p8NQGEFdv14gtU9EmL*s|B^fr`#mz`{r07dM(}QCE8HW z)w!m-m`RDBz8C9G{XC{WC{ZAqc|M~69$wA~%7*dtNriRm6HtiCFNQx1qNJ#VjCjrs z!xyu+@oUY5G;FCi`P-!o4ZmxPyMv0Uq)UCd%&B(MtXFl_`~unywJchK=$#!5yqUm1iR;unQ^y7d$F^|8l*PK83{9$_Q^}#_c$6 ztbOjoqY<^UtKtgAy*8K(gu}I1SR?mPJqYxr zw0#{EcT0GI?x`pf%F1?8HU<-JqCDN`)_Cmw4W7!Rh&xW$|5PO3;0VMuy*ikqD4dsa zoTd?*m-j^iQ9y6r>g(0~a+Nytua0YMyR^^NDY`(@a+SfDY_&tOu|I8uv{aMG-|^@y zH(l1A5~ZipyH5E{q!SLR?5G49cXCkH1@!|UDC}>yc)6Vji^7g?HYxWL&>?2OzrIbt zapoyfXD4`lX)V&mOygUg_>?=1m3bX71}I10RK^t6X=mKeqa1dn=y*}Q!4UPFnLqqY zj>YnDnnygy7uo4m7Si5vZ*=q6BM~Q-i}x8ilYQDGEG~Xses2ikb-+Gdmuh1iFTc-V zAdI@3$r`eUx-DD^E0_7;QSx$wA#|#-G!osNEh$7ht0A$u0Gn#4iq6l^Uq77%0kvb$ zCS_wGU4tUuWT}r^A`JHy{U9zb4|c2?*7_*7WrxQ^9TZyXyXkeF$?N ztFhv99O#VPlnk3eoQ7-p^sy=}EidzZ3!{Kc!NFBkMO0;FJoV;)C(76_{20EbmSt9r zTOWEP_r7$`+RbR%Dh>kqa|~=hOU%Ykab(~?Z#l38m<BShF)&+#R`m+ z9FMP{%sIhm%~V}oWhXu1^x2!G9sT9#rf0{7Y|1L96=ihSUxR`J&mzOLeOTS^3i&F> zcvn81%m?Yf%5^Y@$J`QJSH?@iSXd#L$KRiQCoKrsB8N0IcC@!QVi{fV2Y(yfzh&fy zCQwUHl!DUp6ew>I#c{$xj{xX|RG3s)%vX@oBspUS^4mi5s-*Y+X1L{7h&xYR$dZ!k z+I+Bx%&8twbx!d{y!Wc#EH`^)EBCrI=7bYAjVTmy7_YefuuBi7)4NnGM$SfXjb;3vCmKT13J|$LFu0Pd3yZG?jZ0buSYf6cCVwoVm8MYrKO?26m1CH@>F$smuB&PJp%ZTjQv{I*d^gy)v0<&bsJ6qm`2Ii zD^R9Pq63u+6--$g?h+!gPSAGK&p84c{sVwdy^(17O7HZSzNX6&U+VXQkS@Ud;dRZzJCRph<%i~dYVW3PiWma|w>L*wB#p8caNb(4BP^QZe^ z4SZN-U7?tUlY6hOmU=|&&BLH$WhtuGfk%Z2&ZRKDN+)6v!hHI@$m?B=zu}m0nYSwu zxG%NO+)0pk^7T*=`5XK_yrgp43X;FQkiea_h z;-z|+6C`Eg<;n`SmO2`@$sAdh!XJ$8^A~#vK@=>c!}vj>PB2cy-+A`TN0pV8D8?hrv$2Rv&Vqj`^A9H4W#Be$YrJ4I9!Rhcy36g z1CV(r0c*8>{3vXY^Q789F(Sqnm4EKmI3_ag1xoqe|CllRvDbB~?+8;!u~9&a)?^lt zC`%P`h>!Vn=(6?m1@dk~3D?B1LREovz0>&GUgvma6bmC{K&R#X!jrzU=gGKvdHK7P z?&Q*DC`#9*`uaA+>1R3qjj{||jf`8iyBA(AqmvE& zskdQigQ@*!v?zlaVJ}O!?R|tA8h!e7CCxUAB`~8+%wRdgF{h(JjO!w+!>Edtw#LKr z!Uq%tSgwK>beUdR0;{dWQ-F|e}T=yXwaI^;wheoqKl);(Lq(_O*{r$i$g(f zR)&goy-EA3gaY~^Tit?wgNr&cF8TDZ$zlp`g=geA7_D@c^;vCFPzze0sr(Hw@2M%g z7BPbwDb%zLRJ)4n6^$^`mk{U?o)-omT1Z;*s0-(ExrxftES$RUlb)j~+=`y< zZpa@d4)0f9YL-(FFKDq1^+p5yOOzt_u%+Z?3T*t+|IJ-Nnb!Hh4{kkL9IJ{yuKOUHQl-;&sZwX? zo5Na)_QTE9rsZr1hVECrZg7r%F{MF{@pA8OcpN*!t+%8{xy#HFHSI}~wGa}U&Z{FJ zg#y)9##mTH%x4j3+#iNsP*o?}YTczYNPRbOcvik&A}AX&K~=ehQ#Hfy;+ zvS4nb)!?ymcZ^1hqBDE)zX92nP&w83&Ec9ScJ@fchN?1WEpDG@+bqycx0Azd2cM8D zR)ccvK~rvY0Y8=e#egk?>-Q(FeUcT$w)9f+pLWgVXyCI>_$6x zK|5oJX*IsK)^PB0Y4b~RrR|XVaxLbAMsIj~9II?EbG+OeGzXJu`Ay73ZT89Gk_%FC zU!^e1dTjyrP#0Zp&uZs{40yFd4Zi}qd_bkSflBKG5XldE%YxJMKf^$4j;p$ABYKZy z+^j!)O8+YpTB%q!C#7*dkokt7iPrwcba=N%39N)w*VDxq2iuIPJFaY|az3!%d5p11cS>(+0a!GXBkBJKroqZWMI+9GbRXDml9hjG8@V zKXi6Hu)2xiP+YaXF5_>}H2D3Q_b6E%5-R1T4Dle$}e&idOXJ>H? z>Ma0+E&Bo*hzt&%?kJGm{E__Udolm*+Tn;iH6uIke0Udnj4C;{U;+!l?`l@{ee zpVEI`TGsj{CbZ}>ah@pEjnq$Ud1~@1S*H$iBMQGvXLaiaJC1ic7izpw)Z#uaWJbka zW~J+E(Jnc}Bk4D2f;;Y%WyZp~m4IWu3>-7lxnqvlvDy7Qq3@uUTjyv@QmRX>=xM_; za(1t$jLM55F)h(N50{r*=%K}f`}d7%IHdLL^cWB-ihS298~3aqvi%y$gN!s8S{NzT zMg2%;i9`oL&e5S)hvC7O`;|@wzInk8yKB|6$Nk;Tgx-|HkCmqe4KeIYBFNiQA4?S# z6156DwpI-3!vj{EHcLz!aovN1rYS;}p#b;8c3a*_`Ya`z>bZnmso|7kafB_k+A_4E zk=LTCO|&24@%l%9z9VF|ia*3tk>1O=Rbg~nocA8JtMl-m_U+n=z<@f3ua}W$WF2Av zY=h1w09WT8RMnjv0omW0k1x{B;^+J#p%3cJdRV8WC4^nQ-m3y8TD?;75vxB=V>O67 zmNi$Gu(!yuPs(<7cM}&EZJ^oevm_~ZeJ<8VImDc|cf_ARn)MATv#Mk zYk43G!XB_kgTs_pFDjlLQE~PD_y|MU4CgC5Jb;GE*)gh?4c9wyO2F;LE2F!@!+L-I z?H{gq`YpkC>8s@?3=}m9^6Uii{LPTx3QRbDXSFyd|Mlw&K1WNbpaq8zoBibe4af7k zWr0E90eYIQ+_XAwyvi~fbjL|$;_@z@w+0EofXL(Y#OM0;>!H~J`)2r5&^^5Y`~WdI ziqJ>JONEj0Z#;9sV#X4I;S<z`%6` z+TDciDGw(n5!lR)>p<&0*T#h+V`8AS_Je@MKxyBdy>a7hAa0cp3|`y>u2m1Te<45=D_yb7IAK8KfeQke@SitT#aSSW*9m1`kW(f* zPgH@oT;AYrb&}t|=YRV2DZhk-@wt%ufZ-Ur1I7me+$vYGA8xf+|HX?Bk6T}XnP~_; zMYs%MMz}q2$Zw>Ht-)nQ`_FFP~6_C=5&uamB0Bu+_L0>f}RYG zVek8cWeb3CVCS3qMtHi*LtxB(O|_nw_syxJaFQanvVhUvI;gDl{QU-{1+h?*^1t7_1KWhwv1V0A4DTKz7?9#-tNgQ?=#a@}@5Fz6!q>Pjom z<+OxS_xzIOu=Q+q8HH=akFFT*g^4Gb+7DzZ0kPNE^)nGJ|0=i?YJx0%?t`bF*-n@7lkfuW)Pqer0DriBi=2ISTNB>41P~Py*A)?#KIJ zAW}BqVaNgKfWA*pWOFk8wJ+Uw*&jWw`@-m z)l+e|%Hd`$uA-*JG}9{?a2qJTcXj0hg*kvKu|aY33x&k7Uy?% z@rn@lL-|IDo67Sb;Tphw5IiAZ<}6B`8z~^mC8>7g*3qfcnvRBQ6)x}`6>;d^b3*f@ zYwdNxDTzU4X-OS!N+(JZsyQ8#Bv^v`#fBV z-y4!@9cXs(;>DrjoIrvRgCI|{M0EZd#G~EKtwl5#V!}E)i13(-R0+?E$v5-Tk z989K5y3GZgWkp2HkP%)Hwj&3&gHW3DT@$)(Qo-PRhCi^y?X8wTBWZWOk_iI=!WF@B zuJ|6zdh7SRyH&YNo2JFP)-w(aEf9<+2VN7p=tFoCxBJ0h)cn#hhNBYrvs@&S$0ii; zr3wHQr-v`c|4r57rZ<6jtSLT~jz*urmHL0i);J7vZDX;@4Uq2p8zEL63xKRs^K#Vy zEs!t$RnslGH~*hX{UYM8r#{x{1_8a?;`wwx{l06|`g{jFxG{O4F(D^F!BhCMUtKgV zGg9wO6^{4!_pgAJ0KfpKbINBM2S)(Y6?zm?mIOLbq#eDI-TPAYRPDJu!nHUq2GU3G z{qBC{8vqSm>wI?q`gJhU=o5jsWkXHS#zAn-MIN{IBVMQRiZnS;Q!D|5xRR&e!VUs9 z05?W|zP(LfZ=<(n`|X^XBAjLQ^FSWIjDS(Pq;m|q@5Rv)z~JYEvclqGU@fLV!+J@k zt_@teLjC|_mJduNceGen^HGS5!#-L^P4QXgaQWJmT)4jvlBC_zCk5h^ZRaBFaj zcmLrJ=KH>ckRYn7%|IR`IYO0kveLcz+n^Z@0dXDCJx;>z|9Usu$f=dURCGjZ2Fv^I zJt)*je)sd|qdHLEBM`el?|u$c@E1#qvmb&mlj1tvz{!<=0;2UIP<_BwqCu2{m76|~ zm75l7ERn8MPLNDdB%N$#BpT{{CoLS7-CBPqW2f)2K!w}^{OEpnm-YZ)= zhPK!pGaXjNz!{t$D^OY*8fk)xlGQ~!aSCRy1n+(8Ol~{dFX*1{2=!bCt;AXH-)f$o zuEz820f^x`k2nF7iiq};9ZdqVVkB5Mu~b+Mfv$N3l2U&5O7nWs?+0#m1ibr zH=st;;FwF7Hu9rvdk+gb&OBRZsoldd<9EaT`<0P;oa{)Q^zpEG-=Y%0hb*z~2viHu zs}LjDw!-NlEQ#)RfEM6ctNQI(Kk?M!C4Qe!ikC?$0`5bA8d$~-5lU|kh!An^0YX3l zJpbc23vT>X_tcw%kp#-hJ847ng6{GD&gAxFFbVtP;l( zY30AIjMv_8*M|P)HB{-Vo)0=+f?juO5_;(<08lKDem97fEWoCq0|axjaUQQgeB_?u zzz_WkZD>cU;<`MQt7@Dl?gIKMA6`36Z;O4Jd)tmql&bvT zocN(`0SR~=k@yGQfJjGEvU(Sj8{e^4lWW;^AK)ElUbn^ zsh|OpI$crT;J(|6>qMS6I|S^vnP3fsM%`oAoyDFSuMP90HXC%m4Q=gY%;7LIG>H-T zBR-3E|E3=qb2O{rDkh~w2C^T>r*?t@)}NmZHtuf6#A*a(3~%^|S;=_1ynXBn7{Bi_ zGh=GJ*=}7<>$K^OFwNl2{{bvenh}-YPS8w7!cNx@w--kED|kn!Vk-<_%d59UN-VTk zTMM-6U6lL?C4!ji$)|p?&v!mG)Hp4PE;<2dmJCYpd6_a&ybA@Ab@B5YTqEbMIhnoc zHK9j7LKXL;d3S*eIrpw(Co=8;n`#MJ+OH>8I}1>uH(GlNxQgWP`hWjk98J%khSelC zh*6d%7PYvl12SqFA!w6;n*o<{elxu!+^Py;wDew3+?U^Rj`UIFRThxPfJos{q7uu5 z%h*g!5%9B9%^l&TBh3mjI0M}0^S}@006cCm$GI)j-+lZbFtD9}W9ML6kq`DAj7a)G5serwV^6H57q61l%UW_!d6rhdE=nFMcxg}?3?IC5h0ME zk;JkqTD2ekAzKu{Jmwrb?=Ay}3oC#$imC`Vsrqo@&Aht0dd@DLs&_6R^wa6BUMW>scf`dY12~)kX%{OAe(do-A5L%_ zfc6#9tvp_B9sV$+yc?KyLSW{iDyBdY_tNdPN-WD8_%qP^b^r;cK|b^vy3NlUR0ha! z`_pdv&ogB_!4Du{`cUX)_)?Pw)aV}2pr)$?t}Y0W#NZFT-^N&Kp&H`rN-UB{P4Q9Y za4GkK-XlDdsNXm=$#kmE0W-SjhsC^Q3p{)Z=*PEKM+(URsLCcJaUd?|1Jb_6*(qKh zEGl%#UH-q+4Ep>RU`sxfa5hqbkVt%Qf~w@`5(s|w6xbyg($@TzQ9AMvK=XIcqFM<6%2S1DfZi(Fcq32YOmoe?xH7!xz2j$hF}t4!-n>L4VCU5GkwR)1y?0(09-}{ ze-IFy549@?_&LH)-|X0C>OX)^F!Z-SV;Cg-i|l8IAnVU30fw~00meYPz!Ui3B8ULs sAE`KyG>9xiz+^#Y@ZkUJ%TvW29+zhW!tQwRQ@0E1$~w@hhfm)89~d^l4FCWD literal 0 HcmV?d00001 diff --git a/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausufgabe3.md b/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausufgabe3.md index ef0094e..a5d94fb 100644 --- a/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausufgabe3.md +++ b/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausufgabe3.md @@ -11,7 +11,11 @@ Wie viele Berechnungspfade gibt $e$, die das Wort `1111` lesen? Wie viele Berech Berechnungspfade (deterministisch) zu simulieren? Begründen Sie nachvollziehbar, wie Sie auf Ihre Antworten gekommen sind. +**Antwort:** +Da wir bei jedem Übergang in `a` bleiben, gibt es nur einen möglichen Berechnungspfad für das Wort `1111` + +Die Anzahl der deterministischen Berechnungsschritte liegt bei 4, da der Pfad 4 Eingaben verarbeitet. ### 1(b) Konstruieren Sie den Potenzautomaten $A_N$ zu $N$. Geben Sie bei der Konstruktion @@ -170,6 +174,7 @@ e --> e : 1 Gibt es einen deterministischen endlichen Automaten mit weniger Zuständen als $A_N$, der $L(N)$ akzeptiert? Begründen Sie Ihre Antwort. +**Antwort:** Um $A_N$ zu minimieren, könnte man nicht erreichbare Zustände, in diesem Fall {{b},{c},{d},{ε}}, entfernen. @@ -177,39 +182,76 @@ Ansonsten ist der Automat bereits in minimaler Form, da die Zustände sich alle Erreichbarkeit und/oder ihrem Umgang mit Eingaben unterscheiden. + + ## Übung 2 Betrachten Sie den nichtdeterministischen Automaten N aus Abbildung 2 über dem Alphabet $Σ = \{ x, y, z \}^*$. Weiterhin seien die Zeichenketten $s_1 = zzx$, $s_2 = xxyz$, $s_3 = yyy$, $s_4 = xxz$ und $s_5 = xxzxxzxxzxxz$ definiert. -![image_785.png](image_785.png) -Automat $N$ für Worte aus $\{x,y,z\}^*$, die kein $y$ enthalten und die Zeichenkette $xxy$ beinhalten +![image_792.png](image_792.png) ### 2(a) Geben Sie für jedes $s_i (i ∈ \{ 1, 2, . . . , 5 \})$ an, ob es eine Berechnung (Bearbeitungspfad) für den Automaten N gibt, welche die Zeichenkette si vollständig liest (also alle Zeichen abarbeitet bevor entschieden wird, ob $s_i$ akzeptiert wird oder nicht.) +**Antwort:** + +- $s_1$: ja +- $s_2$: nein +- $s_3$: ja +- $s_4$: ja +- $s_5$: ja + ### 2(b) Geben Sie für jedes $s_i (i ∈ \{ 1, 2, . . . , 5 \})$ die Menge aller Zustände an, die $N$ durch die Zeichenkette si erreichen kann +**Antwort:** + +- $s_1$: {a,b} +- $s_2$: {} +- $s_3$: {$e$} +- $s_4$: {a,d} +- $s_5$: {a,d} ### 2(c) Wie viele Berechnungspfade gibt es, die das Wort $s_5$ vollständig lesen? Begründen Sie nachvollziehbar, wie Sie auf Ihre Antwort gekommen sind. +**Antwort:** + +- $s_5 = xxzxxzxxzxxz = (xxz)^4$ +- Anzahl Pfade: + - 4x (xxz) in `a` → nicht akzeptierend + - 3x (xxz) in `a` → akzeptierend + - 2x (xxz) in `a` → akzeptierend + - 1x (xxz) in `a` → akzeptierend + - 0x (xxz) in `a` → akzeptierend +- **5 Berechnungspfade** + + + ### 2(d) Beschreiben Sie die Sprache $L(N)$ aller Worte, die der Automat $N$ akzeptiert (formal oder informal, Ihre Wahl). Welche der Zeichenketten $s_i (i ∈ \{ 1, 2, . . . , 5 \})$ gehören zu $L(N )$, welche nicht? +**Antwort:** + +- Automat $N$ für Worte aus $\{x,y,z\}^*$, die kein $y$ enthalten und die Zeichenkette $xxy$ beinhalten +- $L(N):=\{w ∈ Σ^* \space | \space w = a^n*b*c^n, n ∈ \mathbb{N}, a,c ∈ Σ\backslash\{y\}, b = xxz\}, Σ = \{c,y,z\}$ + ### 2(e) Beschreiben Sie die Sprache aller Worte, welche der Automat $N$ nicht vollständig bearbeiten kann, unabhängig davon ob $N$ die Worte akzeptiert oder nicht (formal oder informal, Ihre Wahl). Also die Worte, für die kein Berechnungspfad existiert der alle Zeichen liest +**Antwort:** +- Informell: Alle Worte, welche nach einem `y` ein `x` oder `z` beinhalten. +- Formell: $L(\not N) := \{w ∈ Σ^* \space | \space w = a^n*b^m*c^m*d^n, n ∈ \mathbb{N}, m ∈ \mathbb{N}_0, a,c ∈ \{x,z\}, b ∈ \{y\}, d ∈ Σ\}$ ## Übung 3 ### 3(a) @@ -218,6 +260,20 @@ Konstruieren Sie einen deterministischen endlichen Automaten $A$ in formaler Tup Darstellung, der genau die Worte akzeptiert die $A$ nicht akzeptiert. Beweisen Sie die Korrektheit Ihrer Konstruktion. +**Antwort:** +- $A' = (Σ,Q,q_s,Q'_a,δ)$ + - $Q'_a=Q\backslash Q_a$ +- Beweis: + - wenn $w ∈ Σ^*$ ein beliebiges Wort ist + - $δ(q_s, w) = q$ + - Falls $q ∈ Q_a$ + - $A$ akzeptiert das Wort + - da $q \not ∈ Q'_a$, akzeptiert $A'$ nicht + - Falls $q \not ∈ Q_a$ + - $A$ akzeptiert das Wort nicht + - da $q ∈ Q'_a$, akzeptiert $A'$ + - Es gilt also + - $w ∈ L(A') ↔ w \not ∈ L(A)$ ### 3(b) Gegeben sei ein beliebiger nichtdeterministischer endlicher Automat $N = (Σ, Q, q_s, Q_a, δ)$. @@ -226,6 +282,30 @@ endlichen Automaten $N$ konstruieren, der genau die Worte akzeptiert, die $N$ ni akzeptiert? Falls ja, beweisen Sie die Korrektheit der Konstruktion. Falls nein, geben Sie ein Beispiel für das die Konstruktion scheitert. +**Antwort:** +- Nein, kann nicht konstruiert werden + - in einem NEA gibt es _mindestens_ einen Pfad, der in einen akzeptierenden Zustand führt, damit das Wort akzeptiert wird + - durch einfaches Subtrahieren der Mengen ändert sich nicht automatisch die Gesamtaussage über (Nicht-)Akzeptanz aller Pfade +- Beispiel + - $Σ = \{a\}$ + - $Q = \{q_0, q_1\}$ + - $q_s = q_0$ + - δ + - | | (.,a) | + |-------|---------------| + | $q_0$ | $\{q_0,q_1\}$ | + | $q_1$ | | + - Verhalten von A + - für $w=a$ + - $q_0 \xrightarrow[a] q_0$ → nicht akzeptierend + - $q_0 \xrightarrow[a] q_1$ → akzeptierend + - es existiert ein akzeptierender Pfad → a wird akzeptiert + - $Q'_a=\{q_0\}$ + - für $w=a$ + - $q_0 \xrightarrow[a] q_0$ → akzeptierend + - $q_0 \xrightarrow[a] q_1$ → nicht akzeptierend + - es existiert ein akzeptierender Pfad → a wird wieder akzeptiert + ## Übung 4 @@ -236,15 +316,117 @@ Betrachten Sie die beiden deterministischen endlichen Automaten $A_1$ und $A_2$ Beschreiben Sie den Aufbau von Worten $w$ aus der Sprache $L(A_1) ∪ L(A_2)$ (formal oder informal, Ihre Wahl) +- informal: alle Worte, die genau drei `1` enthalten oder keine zwei `1` aufeinanderfolgend beinhalten + ### 4(b) Konstruieren Sie einen nichtdeterministischen endlichen Automaten $N_∪$, der die Sprache $L(A_1) ∪ L(A_2)$ akzeptiert +```plantuml +@startuml +scale 0.50 + +left to right direction +skinparam dpi 150 + +skinparam state { + BackgroundColor #FFFACD + BorderColor black + FontName Helvetica + RoundCorner 30 + Shadowing false + LineThickness 0 +} + + + + +[*] --> S +S --> A1 : ε +S --> A2 : ε + +' --- Automat A1 --- +state "A" as A1 { + [*] --> a0 + a0 --> a0 : 0 + a0 --> a1 : 1 + a1 --> a1 : 0 + a1 --> a2 : 1 + a2 --> a2 : 0 + a2 --> a3 : 1 + a3 --> a3 : 0 + state a3##[bold] +} + +' --- Automat A2 --- +state "B" as A2 { + [*] --> b0 + b0 --> b0 : 0 + b0 --> b1 : 1 + b1 --> b0 : 0 + b1 --> b2 : 1 + state b0##[bold] + state b1##[bold] +} + + +@enduml +``` + ### 4(c) Beschreiben Sie den Aufbau von Worten $w$ aus der Sprache $L(A_1) ∩ L(A_2)$ (formal oder informal, Ihre Wahl) +- Alle Wörter, die aus genau drei `1` bestehen und niemals 2x hintereinander eine `1` haben + ### 4(d) Konstruieren Sie einen nichtdeterministischen endlichen Automaten $N_∩$, der die -Sprache $L(A_1) ∩ L(A_2)$ akzeptiert \ No newline at end of file +Sprache $L(A_1) ∩ L(A_2)$ akzeptiert + + +```plantuml +@startuml +scale 0.50 + +left to right direction +skinparam dpi 150 + +skinparam state { + BackgroundColor #FFFACD + BorderColor black + FontName Helvetica + RoundCorner 30 + Shadowing false + LineThickness 0 +} + +[*] --> a + +' a: noch keine 1 gelesen +state a { +} + +a --> a : 0 +a --> b : 1 + +' b: eine 1 gelesen, darf nur 0 folgen +b --> b : 0 +b --> c : 0 + +' c: bereit für zweite 1 +c --> d : 1 + +' d: zwei 1 gelesen, darf nur 0 folgen +d --> d : 0 +d --> e : 0 + +' e: bereit für dritte 1 +e --> f : 1 + +' f: drei 1 gelesen – akzeptierend +state f##[bold] +f --> f : 0 +@enduml + +``` \ No newline at end of file