From 289623ea5a1b2020a17bb3154dbb8c07ed542f9f Mon Sep 17 00:00:00 2001
From: David Schirrmeister <david.schirrmeister@stud.h-da.de>
Date: Tue, 15 Apr 2025 18:44:27 +0200
Subject: [PATCH] update

---
 Writerside/images/image_680.png               | Bin 0 -> 11691 bytes
 Writerside/in.tree                            |   4 ++
 .../Theoretische Informatik/01Einleitung.md   |  21 ++++++++++
 .../02_GrundlagenFormaleSprachen.md           |   2 +-
 .../Übungen/TIUebung1.md                      |  39 ++++++++++++++++++
 5 files changed, 65 insertions(+), 1 deletion(-)
 create mode 100644 Writerside/images/image_680.png
 create mode 100644 Writerside/topics/04/Theoretische Informatik/Übungen/TIUebung1.md

diff --git a/Writerside/images/image_680.png b/Writerside/images/image_680.png
new file mode 100644
index 0000000000000000000000000000000000000000..d924c260730a3706f8c79a7095677cc05de916e5
GIT binary patch
literal 11691
zcmb_?Ra{%m7cIrLxVua7BE{X^-Jw{EQ;HXN55?VGiWiq+#VJy(1d2<8B|v~1`u}<#
z@6&xCWc|*WS+n<?Gqcy4#AvE3V4;(t!@<E}DJjZo!~Q?Q{ti)*VV{U{u^w=693D!t
zQo0|_PxCN7;_Gcbl@!af@<~U){l+U&WI=+LBV%cI!$x9Q*ExjWHb)0&7V5X5%Nf;1
zYZFJHzH<I*-d5O6^kEL@R}|evNQjQ1l47^a#%{YYY2tI+cmGiETIr`3lOyv&X_nH=
zzHiXXf_iyc?pE$h=ag+VeAs})he`-J38wt+(6BvsHmzy^atZ0+|Gq*|_w#%<2b%3v
zxIcVH9R?@L<Os}Z)|?L_bQxk&rbcJIruufa@zwqMNbj+LmyU!f2vOVIJaP4leWBf?
zKetCF)vXEBuayDcH#%+bf}C{<-g+-N(;Egy6^Mb?fv>q;r)gR`8wevwP^_OGAD}}#
zbU3gs+<#9HvYSCsf3`U$*k3Sh-%HdYxa`Fy`e09mIm(KrB7;Y^hoZ!y>||+Fp{U!l
zMKY$?PnCgukGJ~@NZKfPt|tXCkAYvUepC})&BmjK$56l6b=?ZRIpte-%jarZgv@|*
zxb44LW-=%CCy)#FN3&-_(CsHbPm%C;Fbmr6Pm;%fe7C`ZNs;`CIv9!@KNb?xU>S>U
zA=O@g`X?i{72Yb0H0!X0$L3C!n+}DkS6ayXh~TVa=R<&(ZHVNe=J28tLX)^NBT32&
ze2XI0d|T;(1s%lDNVdnvig)W3F@uK-6$6^$ssTva+S;Mv5Ked@8OmD|ZEnvlQq12&
z!v-`mQJB(mo22kOIdpzEv%ntkCW6c=H;C{XEVFa1lMnE;Ic#me6Gtb!$Vnz5V;Z>I
zp4hPu<D$^QuLyrI*Sejw6c<l?;XomjBLd{%p1l&7&NmHlF%t<bdIt;D2GS@?;Y+Va
zQ%VzyXK83HV-$&8jfh`;(55p~s8dy_oTX>Kbu>vH9&Dj;b+{4nwYp!EQ#Bw0m(Uyg
z(VgFf#%9AXp<7lgw&8cNTYR;C0A5*@Q)PuoXP~lAqRcenJa?s+o9PbqQ1HrpWdF9?
zry^4rD=>;WNb*=8j4n%noN|}&qu=heYH8H6eM7zPR3`_~xA*2^(6f$DBU=D|vK&E)
zmysS;z*o_p`_n}RGwSfT4-u~|6iS!qW}MY6METpM&$WlQ9=<cMn{>fp{vI4Qz@ZNK
z^CFUY6hrokm~p{G^2c1X$Bck5Jc(oEg1-bBkXn?Re4#uMMWz#$$KePJVw~lkFiF{9
ztz79naLkUAESE)nL~C?=0U`*aEhnYdnulZ}BBp`n@pdM-*iNNYQnpV^81wEce`8->
zVru-GOhFF9GkPhg!YR|csY!&t-O77;5j@^Z$%n)T?fgX6&1)(-YED{qP{axD<xdeS
zR@r`@LWuh~OHkRF_eV!5u6;GBM_oT5F7(gL<^7-!r$@noa}O^#dhd>2aRV^$Ev!!b
zf>4O2U!&W;tA;=!cnAK6{h9)>sn9YqiunL`MwAxN6YX_pU$VFR^ml4)fr$9#ejl18
zCp1U<`us6}-poO+7BmK)8zEh6M^P6$XMBL?k)iA)XYOxvdr2}871N+u>sb!0GW{Ys
ztvQn3uv91)C*pQE&&UnHhCRNsIlk6E<#*iXOhZbGqPJ!IcdD3IA8u3N@ht`@#QX@d
z4_I^qQaN$>Gn;;;*s_}g(B*gghYjA8DCEqVEmIYwa}uGF#~b##ar=3l$8z;T;Q#kN
zE!CMsrO+!_gJ*oU>%SWRx(@t;1XNCNCT`{qQk4)*bsESQ^Pg?9QD6#292hoWp*lQ#
zxCel@f~lMGe%h>tGMI{`vEm3Ne{@$s@A68Naycuxnx#;E91D$Ukc7<p7xvk^nue{p
z_F?5LB@I!Fo3JMTw1A$s3$05`@?9-h0mHW;2PH{PiN_)1)IzX{iIh0(=?u8#1sBGz
zsGrXExe|-ExgauM!`3Q~C!2<&ZpyykV6;u&so0EswSiqUP{(Q88uz#;o@<YHba00-
z_bojFQ*S5^y;uQ0vpS84zu4QU-1yxhgt;OaOdm$ePf|$$B_?(wQR;@C8)L~)+lyD!
zu(czZu7~Tu7*0&x#_Hk~Ia4n@>gOwfWsC+45i|9EM=OV+SdF3!pQFW?@doZp2rtvh
zyiO>Gc*J;vC=4+Y%<D+gJ|oyF#>=1!LyXUe0*2@TFvR+dFky&p5r&@IaRtLr5o>7$
zUj&4Jsju4#IQgkOHGf_gsFMl3h=`$no2~7qtP=|x!z4aa5Q(GHA*<Toh7y?&D>{mK
zoxx{9E-o0NF@>RLLN4k|h?=UtzWz#SMYv7?dYT0lHz+6BO+^E(9mWz2u>uO>dL-x5
zp@3LbAO8#vyTb3%iOF$3b8d&lP+RXZh{>t{MIkZN(z{GzaxTwE4I5uVc1+7JmSUuW
z`!<J&DF`*W=8B;6d31u5s!$qw`$JX_qJqI)SF%iql<e8O&MqfxJk)+LB#kz&1E6_E
z#xNww3PW_yNH`OcAgcsJ49^JGE<w@}hM1mFKqdrFtN4n5@tFYyHV23RHZi%X=dldH
z#z~|6IltKUIfh^T!`N_TDjHf{&++Y80pl3(N-JbT{~}9Z9E~;%#Xe`)D-(i+1EZr;
zdd>@(D%3BU?~pa+FWno}014URD}W*aECg&!re171JwN5rXY#nHm>K%ivI^Pe=T6>a
zLd<2mU^fy!$4bJ~o3lqFRwfh;yKxyCpL$BcPuUX}b_uNUg}6Xj!g@IREiLT&^OJNh
z&jakcoE9-`dx!Qdku(Id>F%(=MCNpD_EC~Ju1E%t$Mf6JN{_!_y?M{XlTIHW%HgfA
z^N(uAv#uJsl8bV_(y`!+U8UV!(O9LuCKAg7g!lI(>p}OY2a8RV$c#55fN}grZ)Ym?
z0`aLQ9XT3j(B$MKkN*v3%R66e`Iigy!IOv-B5$zmC-i@PE4!|&pBN~+(1Sn@q`P}v
zk@u!Z!v(;tgE%{qCtH05uvba8`Ksu9jy5j+6Ks37Y_~5~*?)PkR`II&wZeAZaxLWH
zUPaS;Gx6#ESOc{G#Tn#yXx)8%L{V#$AK!6C`NvX&GXJ9}al6X~kXpNKOdI;jpx*Kj
zs4&~6<}8{fh_>})Md|k1z^mKefl8Ggn8Me=^^#irMCct>3R__1Wx3Z;+S7QQgq-f8
zm|^QXhUq+I;@$FImZuHv?;4b$FMpDp_&t)&(Ap)O3`=+&;4JHiIZ-DBKi+Cdr6R-#
z-pt58^=>pe{Xq9~NK{N0U-XS5fLs)a_`HlkxZh4$#V!J-^@s0|GM{q}E-F2AIR5b2
z3RJ-6GO=Y0dc5Iq*is+DQn^)1CwsaL!r%K&f_XWNYuM>wC#y_-)ctVX5G=>Aof5oU
zzdue;!Joe-AgB5GZ5V$QAM~jnU;GhbGe)=?-DfxX7L#;6Eyw=?pY(4r)8a}!G_^w)
zQ$DuV{{jsH8l}cnvbD7>^sf25PLXf1XE|KMWz;d!-`vbQhHDgUp$kFp@_rxHr&~+N
zz@3?rB~JFbTtl|B|AGlixVu6uu(A|9971ege2>u7OmP!s2Gyxh-%b>98C6gqLd7GF
z%@lT|S+cJSpSSW&QwR2MN>Oj#$BhcAGk8AICX-tc2VXGYqvyM1r%CRd2Tyzp%w`!e
z559ixzRT}v?1Vw;R+@AV^Z){$nI+>}5%!gqBBFuJ5M$82cU_eRz8}72A^a@pID1X$
zH(uXV0}es%u_*R@=MM$<Jw=$J)<FKNph9K&<*rVOM*PovP#6bcz597iSKAFC+BwB4
z=Dfx+5lAbrlU^B?@V{a2`p{{STv#6azH_IEcLTX>;DRZSGq3f<RxW<+8&FQf!7^BC
zETS={@4?<z(Sp7Hx=z?S#HImDZ+U&KepRb&IX0GUyVrW>WSsC|sg)iePvcu7ZWUou
z;gj#7sbwp*N(#FwQ{`I%-UOf0d-&<5C#L4<XnN39yd|Hq+s6Iswgm?Z0du-Q0$T`2
z02GC-GMpl)jWoWk@VneF)92?lNlB<**Zsw0keDtTp;uOGUHfG>rCvrvu!Y5QnPx(1
zfM<OfS&T^Xc}4ScQ3%^WI9u20BKLvfrY`FjCveTrPt|d)gr=%2Jg!1X^>QD|l{AT@
zOuq~|k%Twf$fv&Ixag4Qr4+(W?ykCG**iTK?R)V9Y6FS+-L^dz>_@&UxiVZ4$Ntoj
z&7r8C*CBxMSr(s733zJOJ>1v%;x>kjL?DHzV-fK(+=_)(rX!UPYtem3^Nf^~52vk#
z*6j_2CSLKy2T%SBJS9d(Uls<ew+RpiWt|`OqUI*C-B!XYAB;6Ki^94Xt9HwvJCK)*
zd+$?M8IHOF?LM%xqm0db-HAS+0x41ONqYLgD|g>`r@mCIn;)QU?tQozas0^O&9p0N
zIQ#@Fa%Q`J^n?zh0xz@y6l-u4<cM|E5y#;j7O&LeLQYRj0UYtw?_)G(^^K7hIH^Z3
zaC4gFZ7%mliwI=*6QV8dzB#2zyjEqPzB~EB-yqaJGT4!Db&=De$(%@^Q0?pwS|rkJ
z<uBBAW4B`Aa0R?T76WsL1Q|iJZrcdcmjwzfNgTPaTNd2=<UJf!d4~>fABvGaI|!rW
za0MNjIC3ZOO1})33-H_5ZOG3<i~$knu6rAs{4D7VW@fI6#cc05MRCBW4KcHwX}!-<
zGHmmD0gx{A_1rr?x-k~4`qi|4KK+0;JAx%$<^O2Wn=4T0&O)FSlm1ySwk^=)tfm#(
z48imX8&6;nTT|TNU4r($h+q}owVQ*+5*Ki?-}q^w2;mTcBp|;KFf|g18NT_fq-01M
zFQu3Z)+FP8vMQ>(0lyX?c*`ug#fW@(FPCqMhl2fG{@pti2R<@6SzTRSINwRRaj*F}
zAHL%CFA4ewDds);Y8@5YI`%Qy4fEZH{?|AG;zB4ruK7U)`4&V4S^!DmWR`}P;qh?t
zN1DIPWjxMe!+dKt#3*sN!~==o1J6PzP~#xPoTk61Ec-R$&)qm`9kdtL`&>WSU>>%r
zUxFv)__LxM5e}X!^QN&I{5N^(a>M%t!Bmo)is$*#WU9Qm;Arz+Qw--6x4sKZx~PG0
z-V_5Rz-K|StFISVv}DgYaRI#{x+UJ|%OJD*Q_E$R3qQHYTK`J*MXUyOINsJ*l;?-1
z!Xobdsy2sWe4pFdk_<j2%4k)YTXIqL^(TLa;05ohhF#B@UKOiz!}jK7;-sHyE7=(+
zWjGF-n$OBWNe1#kSeaLmtJSf}vS8x9@Ii%%rc!A`FN;frv7>JZrt-;<m{1ffBku26
zJ%GlN?V?zOa`Ks@nd=zeyv`azgw`-er&--fzu|yvET;-WwW%p_B@UL$M-xerpXZEq
zZcYobCP<Dn4kEv5ULY08_4Z?YRqNy5a8og`w8YPWqZ6`kf=>vpton2*zbrWo>0LBx
zjr(r$`kk9cdNyBn3^E}0pa+mCco#2v*TEiSbcAt+*JS@NW`MY|^8}2D0;RRACL>tk
z2SYn-3HpHEVn)^g*VqW2AE6%Fos$L85yHmUQDfw~T@r;O1{Q%xjJUPkot$!WdX5b^
zLfYEan{9jV2eW_EBif~qrMqgt#0}QC2?4vtcj?Zg$aLx}kSSL;O%m5}xEj=K=DdH<
zS6<44A;O=pKLJ&?t+#;M0zQz-x3&>kTJw^L7LYA?S2rlRq#%vU^WMaBMh*ZQSzmKA
z-s#ygYU+Y62=cATups@#-<2B0|HE&p_;D^B9mJl<0=^FFUD&c-p_*$ss4}BY#K5`;
zIzOihYYXHPf4I_N!F}F46f9@jU*Z93Sb^J0ppP#0;=9s@BTs*Zu;*G;M5I!s|7j!u
z`eY8@f#><5o!A|pY0#=Pslt}3oa+O^^Tt$Qo%fnh<99aFIJ%zctrM1UO9w&*r&(w!
zY~Mo;JbQpy0f@gb>@dlT6}D^o!gEo-LayHCXSU6~G37HzZqyw9Q`7@mOq=MMStn+9
zoiCc{FG=d(%itksdOJe$J(~y3gZ>1llSn0ouI8mXMjg}gKamxy81h?<?5e8$suSFB
z<_NW$y93@9s15bM=mDJvKaqRL5CL@#Bm_Tl*VBvR`}^p9Y6{r4ygJw<Op({wo#Imt
z(ujG_&a9sM>ugJ+(LcNJ`#|)5yV`JIwti)0<tK`i1PCCI>wNn$?fCfqEe0Mdf4$k*
zAcW`Pk76~FqoZRce_YE2u6*SsQPph4#q9p(f`aAc<W^?kkpItxNj<;V+Tn`Xr!A_r
zDzVQTii1C1XN8s`<8hrSN@Yy*j7<dssIuv`e`9-Z(h&-uR6HF|i*n}slW|HAhaj5u
zXb5~5t<BQ073v1de}ILNq17x{Pb<^3*68@~2D<$vJ(S@-?&(1w>b@c=GDui8mz#n*
z@JegST}-wbS~P9K@a2Ag#xtp3J;zyg)wQShf`jg0N(j3G^B3nTA<=~M^(J*Q!Pe04
z$&5}E@!=0nQ82UUSCcn=$Apr}+q*vCK^WnIj@|)%y1AbKQX2E{PTQKx5W}Tn_w^F(
z<Mt6w)rF39R=Z-PI5=M%{;S1SekrcQWS#5msGU~Rp$y*v`0&uc`LO-ufY@cv1cj#j
z{VN7B08LGf=P;}??kS4nSzSFI=XT;vje5Du#@~}GM_mQr9S>)W+uvzjHpe)S*p_dG
zQc0(@@4*F<xdc5f!1gv|a7S$iRUYm}7bDQ$hgm1AXubW!{9}=%0C*E6)_QpVau9>d
zawL`zI`v|KViz1)j}%WKl-idy2e%dcB=)n_d33ARFuMl=*kh2uhiQ<2EF4u3>y%s&
zQ!gJ(4$`gwb+W^tssWDNAUkQ6;R@NVf1nZun*RZokqTIn|GTXc28#ayooJ01zS}Iw
zyd`ilyd19pPwC<{sBB<315J%poKbt%9;gx)!-b!19H7iFHZz=ojBmjdE)x(t|NFly
zFc~Q~{;$n8K|!(Zzuw&9G_?Nlgi;Jwu&DhvYAKj}1pJGKh8e`FoKg_Og~imXnw$e6
zVEjijrWFvo{*PvtO<ZpJ9}P@6(i!|mgV-6Tky7$sIH7pM6=VOGh83u@`;VrO0mSO@
zk47^aLLl^yhD9qtx#J%VfK8k+_aBWiQ2`$3Kbo>Q4Ya6#S!0OSaCG_?ry_2_Jm6oO
z6bA9Ks()FdQwvbm`Ntz$3;}3P{+B}8Y8aUK2by7E{2%Cofq!lIV6uDQ^MA>4fTb;z
z^}okpHg~uJQRROLwfbw)Sy|DxxopH<T@fBEH(>kSoP;1@?9nnaM>(TT=Zj4~eTkNi
zg+jZrR0IURb}RiB?7PLv54v--eft);UB!Cv_~~WUlF``2#9$(&$RAiacJU<3GiDAA
z4TV=Fks$L~cNZyF=lwO;TB6yw5g&%~cIP0cYNg$o?ZQLVu!)6qqpM9O;GAlukrrcr
zreL3%jSlCP1Z)Z347gM)EuW5*UqB!KhSJ1ogP1=~9%Ug^z5`j47=X!_#)p`uF;gB2
z1T0~%*>9F}#kY`C*WgJBKy6AL<Q{ykV4CET3Hk#Ey-PQOG#&B$dg~JAe$*oeIrPIn
z>jAse8hycAt~aX@a|qWgfWlVeH$l)h-{Pr4qVW8GmDw}za1lBq30)8dLm${g!Hcq2
zN2_R`9a$mJ%Nb{EHXB>!N5QRtAuI(odcU0>8OKoBxP)WkFO33Xq%ftOi<yFK5%gK`
zklm;`8gobFmmM!UaGyST<#t!L<*S8^y!!Ehm0d#ZFc$}h+~`Xl$SOW-XsI&R&onWT
zWwfN<$wZ=qf5v7mm=aw39*9a57_EYiaHMX_zHL1L)XMb{xHouTJl!q#(HPj$KQ;tE
zIM-+RUJ`#n8h`h0y`zO{&m9C?MPAY+;L^+gs{eXs>x+@BlEEppT=%+dH=Yn6LSkhh
zg!yoP9l3BAPLUD;u?PSmoptWJ0D2h%quH34;!mU0lE#Bcn22C8VDj9IF64v>N?#DJ
zI*-!Z&9jW9G{$Lg30}vXCyI%1gbpK#96(!{Nqf(>+KH8;eya&zYFAj@7UPC`MAGej
zR~)R4m-{ONVOGCkpC5q6swh@Ng}6ko#^3#NPmP5Xwn2B_9o3Kslx7qL6vdh>3(%TV
z$I&Y!N~(wJK^yuW$?8nDF!q0Ag@#A)@_tSn7QRP+mV}2_OA`GXqy1baEG2H|s+g44
zpK@Vx(9>SyTifVVsBDCA@BNVQdLTHj!)+TLfC_uA^4B^kVVeUEtP-%6ZKgso_a*h9
zeFqE%Z}>#Vb}2k-!rJ(vv8kz$c}w54#G+tPaq%uq&GPc-AvsSgvUJ2wm|C;=a59p6
z7>0;;L8zy|?sn2zbd>GC#xF8)W2~jcxNh(+;LmgbCdDkdGJSHlUP0qv(}IYGP$f%q
z;YqxkMN`pY_nek;MdEv;-yl-GLzYz`Bt~Wrr?xp$BB~|~Fc!^$S;}&QMHB^U4g}_6
z@0|JXF-K9S=U7{9I!4*VqaPjWFW)@)RqC=G@Gc<Tqu^1ty#F&Q@rbJ|{ccke05^n3
zKEcbU$(X4r*Pcg)OgWyzX7}0c2~Il3cMbGifIUk>_y45@&#5K9H)EzwZ6w1gFtr?q
zGi2N#kE7vMqeg~oO(i_nb0Fj66xNuA?m%NqOaHP!|KY}^LCTgGeHgO!X09y78#g#*
zY28hidU<oYs!|5*h|+;t+yYt0>YuNY&N|*H{IGlEfkxq7zReOK9ckcO|E2eKbkO4y
zv|A)G`V6;VSPFs9hq*93K0BA#Sphy|c=BsG%)O?1F4-IE>-Wy)cbMgIGBS#HSCD_L
z&^YLEm@*GP7&{tczH?10(3t(4#fLuU<nXh)h!IOJYmBu&lE0+!{hE#@dhw<FFjt@r
z|9Al@Q!07j%~AGp?wYmL`d%-Y+gqYqw5CSlvJ%nP$X%H3^ekn+6H;N7r8?CYw28r_
ziT1imhCHPK?s>~2$BLbxgx&c}+sFm8E!|S_`MW)Itaox)g2-1+gTrVS9YxISKm&b!
z>E*f}8lK1EcUA<trq0K!^8S3_^Ih4@`Pxch8Na&M<eH~D=MN*E8fyL3@phW%A$wC<
z4K-`dDJ=P9$9E6LWbaNDZMwGftW=1d3Ui!77DnA6MJ?T0U0zGT2?J+DI}qs^avHgo
zUmNA@kYX_Nf~rj9l-brvrD!tTLndqMvBvdq1~rFFUoZBv2!$p|Jd(&HSi2TC(sPBh
zG}2cry3o_Z4N3bPtBqLn0?6x^NH5}|VU`vHVKIFqCTVfBqM{-yjcX@M)+T&)qCCLA
zZ4O;*{`>f;69G{3qc4I%$cTE9!)*7+D3|~y0u|zje11u6x#9sv><Jhp>taKD7QZC?
z)q!rStz!lko&F+b*ou6yR95C+lOyhJ_+aV-_vw4q>*!@4BA7PqAkycn%D<lz?B|KR
zGOpNYSST{!BdtGElNtBmXhFuGkkbc>i7?wt?8dxt2ZqyyZhA9`yO#QB&|<v>c4V7(
z=kAUg@7{Itsj10paVR1<$&FO8aw{kd_(`r~Nhwc~C%~M?z2TjV5qr0|(WbG!gU6ml
zRD@u&U8eVj<6f7RLoxvxrVw@ncd;(Xzp{O8ALdm_SwkZ{+o`e--n>!ghzP^fJJ!|Y
zrLL(qdPh67+~&RCay_y`u0SuCaRrY~JKJ64MRMiiY#A&<$w=zX?P_d%Nw&-aJ0t7x
zuc=lu-t?LXel`+%(Zo871p3&;cYbQ`4!3@C@g-x6jpt4R&1K~ZNNp{B(tf=01NuC@
zrlya?j(nEP1YL@HW{kb9r8U><$t}~3P6*0^jQ!c?MgWhx$K@=dMSK-v%#k>*UQ|Y0
zw@rs3#r=|Qy?b=OtcDF5fNz_7%?jCW?u9$1Im{8l|AvhX(Kp-oO>MvIRgf}$j8sE&
zP>T`obv~oOc(#5tC^Gw7KS6g9iM$>gBHe2$m_5M|BcOf-HCg3OzHkjgXj;1|I2|u2
z>AVY(WhH}H`TN?>)|w_p`<6oX`N7eywCKhP?14Szu^C>PcR-2!uee4vWKXBO_FC{)
z^rJ;kOw#G{k?7uBpW7>^mak9ZED4ss6B0k8>nzTe`Avbqf&uo~+L!VL+JGxfY$@N;
z2!C54`QZdzbEyIcU32r7&!*X-4B9pJH}q6`*7b!?lAQaeKl9<&20Jy$q^8!?z-~*U
zy8RX`{H_3)00VLz^5gs<J~ek%!5Tfp&KQ4dm4qh%V(qyWgU|OtdPPOHLKyXuG87M{
z<RYhT@ONEMzd5k}G3;SSyJ>wzOFYQ-SkniUOA{v;z~?&8PUI<xlB{a%RtgL1`!y|M
z@@vf#OT#gg)Lx_hSFe`u&NnQWc^IpqL?sLt;a`D~N;pxNq^<uGNI?CpMNwjAQDXm0
z5=|)P*$t<ejL-1Wod6dU@HVLN6XFW&QSpdk4ZD8PmQLkhl?}mc%)7-k*dZ0@u9q~F
zH<HeLJtZ_;-2Hh&Eok1!Votfz)PREJ>uKBv;!krb+{EmjjoXB+hcln`wD6#(M?5K`
zFw%3X>?r?py`8JWg=F$(oPuWSTkG$6JUCD1cN$1&nDQrqF1+C2X-<pYc*Rhd+I%@`
zesx9|*Py{p3=krbD!3|n-!L!`Hj+%=j9bvm8~6elJ9g*HagVu~r-{c?6ed$LruY{v
zVZ%)zM$ean9sPPFjQ}%xct8_pMja0~Yg&-%fC3|$S0GlA529fozzRFWT%zoX4uw(;
zdDGcT)M+~3fUd#!<aE!~!1Gz-`!!jc%aRguF{fe;v1#M<c&ZJNoiq*cqNogxX8eMS
zv#;mYyU|hHwr(1LZceDauFUiCK$G<x>UxD^L`A!+H#PsoUtvzQr7{1OrcDPk=u!38
z)0?!Q4Ih*GEON10)pk~(1lFW>0CwNqkA_+1UKB60bA@ks^of+Y`<FH8F!wXTvtqvU
z$wWNB0sAcLl3cKMVC(78XA?IE1y(Y$ym~dn@FfO+MR=h<uxjrpOBK3hah!-)d9W4G
z8R-vLY5|CMz>Z?LeWrEKj`x(MmVo|+Xd5?+X^K?YV;jus)YY?Po|t~uC;fR0ex9;3
z9rcP9Ry&a{n9ue=Wp(x7W{*FQ_rx1sbO(jK<92rp@4$O6dDXS0j^lbFnDLCT_dS15
zj9w~cfmSYhW*>IU+TrmVeL7EM^Z{Ea@{QqUsSJ4-S07YcAZgTvJ(i$gz>@DJlX%!1
zrWNot$rR52$FGl-oHCE)*1Di}L80GcGfV|LM8RLZ;PIb6k+QuPo`9^eDx7e8El8GW
zOJ(Q{1pgQrfj9JXEMmH^WFoq-s6+99FV8B}N$Wd)8&yzJ^6o2Axw+E?saIq0RInZu
z!2YOk^2Q((u0t;(b?WVbjTd)(Yrph`&4Fvk&asoO?J=|<tZ+wI@UHT1Cc(i)NXy(d
z${X<F?h%;;Pp#2~bDJ&Dx9!DJ7*qlkw|&Cuye#VB^>V{BSM2u6&YxIofJo1c&*zer
z`|F)_bFRDci)b(iDyv0$u=Xa#Ul<q<HW7$~8}=!-BoOLk!+JM*+u+L*-YE_eVzWG7
zYJ{|0RO>n!ZdP(QZOh`O#|fx=5ESSiP%_oe)ksLtb(mv1*P<V3-BwoK{8aa25n29&
zv@HfNyV&Unx8LMNvgmY>kx@8bW2$$rSax1c-}##6-0Ad2Q=8WSVJOY}cirO{GRJ94
z>V@XvkmSDAE56dR)t3hShk@o$&A=XXy;Akr%d#v5zpEO(R`+@W-;%M;_|~CI3#@=Z
zrmAS-Eh9J`Kz2<>_DC7jU;|MjVE+Y%7Z37ohly!y<piSwsDX$sFq`m3?2ua^vjDkJ
zOba^|r4FmCH!^4$gY1b4569c(s0gZrP-Wtji4Eb7{UAJEEsPfqXgIa?a+GSK>8ro1
zJ1W@sgjjSLp6_4YSI|xV7%;-Vw4lwM45?R8f3ME9FV!GW!rj>ZC&mGkH$z^ub@GWL
zlEC!699l3+;;)!<46SsPMBp+Flf?B7w6i9PTm1a#gm^|*@JOtb=4c%f^3tX=MYBA(
zu8QWUv)9?IvFP@4qcgqhC>Ybx>y|4}zP!tZ^2N)M4Xo@5M3^Mg!K&D&F}Sp>+=+1x
ze%Sj4zM~tdaII9>wBs!?slVQm?tInup_Z`R7UM+Z!ct{^C{yn!9j6_lM6{Bc(D;5j
zDzKUAF6*VPA9^q^^=H{Taklx;C1}yigr3?Be_Cf|1fR0+<amG^U{fW4+8N<$rR1Qo
zNx#3k*b980(zj*+ciiH&d)hcq_#;KA3|v(!zxtNG<)Lo3C!YJeXW_>v%EQ-6u0g8b
zS;5S`_#+FZ&iF#t0)~2H#~QEDSI;S)T8$lc3Vj;r-HxfmOh?=7jI44M#e*?CI5*CB
zMBhf)v9q4%iyAsmfq&?;adIi~aT#Y4nONp$g+Zr?4!)9FNocpvc;=ClUl8S3jx+6h
z0f>I?iUKhF)Tr8(Ez6D(#Qj%{D<S0tapUeb?&I%$!}{`o;}VD7$L|^>)w%G|;RE5$
zIjHHQcLYepunNCWFft#1&dPzmCv`^*eFJiw-0}UAcDOF8Ahxh9f#5|PuBh)hcsSca
zUU!new9e6+-QvL?<1xtdS(Uz<nCrl;h884Ia_?|lD>OUuIw*+?B4PpGwWaZ+=7WP?
zm!VFDx6id|YXX(ex)u`4#=B4A3;U_e*wp98k({QET}GOQuD@9$BZB0mMx5bX2xO;8
zPg8oQqndK44*Bf8?#kyE>q};f7+lRp(lUg5K<>iJ*G-Q=F<qaoa*FE&RhE3*_;V@&
zxLotgoyg+eB-yCtYrfigkEJ?`blYq?$1}ByN?N;RP8Ro>V-?He?FJq1%gBgs2}g$8
zH3V4zM6cAcm3fxFzJcf`hqx=rxp5^u2b~Wpc<VAM!Zf5sQR48iM+&qNmjFA)A~`~#
z>-CZIp6YXAe3h?nAiR7Wl8Z=vPL6X1RVLUH$)GS$qMr@rL%kH8@0^+9YrwmGgWWq#
zo3SG-W9e?^9q-Lga;^UXSC@*WB+c>aNPZ|KsE|qt+eB&SOro#e^NgRaL!C^cVVVv{
z^wQs^+#e}8Dq{EN!ObxC`mF<$t^yVGDrGt9JE_7Crs<W0my}9zTpcYylK_noPev6(
z$2X#4ar@dCN$3U!mOij|wWl=h{2?d+)QJmc5nypC)(82x^@*mW!jLWY&#>o^M-b!I
z8C3*iOo{R!IaRm2`yB?R*UD+04z+JlhhOhc)98sNI3Ke=T2#57{d*0fMd6d_!JwuY
z|AdG{T`c|#DE!beG=KNIGtZ1~bM1$_;}8+*>s*x-K6Y`^N76C3Hg)=8EVMvH;%(s9
ziPL=J^=j#$)a8A`h$Ju;&N5k?rY!ake^Wx8V=+E(3VxzVI!k6{gz%F0L*L$dG|tu!
zo#n(2vcC;K^$B@$OjF8dIEWk_BZn!<06pp94TAD)0o578av=V`zTdJxyusd*T{m-+
zqhhbs7=swI`p}8>4p{mF2aj45dq=PjH6^l^S#B$Li`mMO!1&R@-_eJ<;dkv<EKQOV
zp-J#&)*w)C2#^7b>NH&`0wiSVE!gb6Ii#S@lAd!YUFkfxBv%LVLQK(^iAd^Rtab7C
zMlJR@K`@Xhzg~0x{JpG1g_<6oiZRPJU(FSQi=TCEO8IMVW3z`F+Xd?rz`K@k$weOk
zS!<w$&8vg~Z-+O6MGd%MwW#j=GNv>L<eGwCOQ=s0YhSO^uH_b20I+yP?}KUl;$xh@
zSG4Knw%JhrCt`4i9FtAn4_yOnE%0kk8L#s`5eM8&#hsl8MBu_VR-r!JcJ;dqsdZp}
z&dfyzZRdyVk~1vPO8G<h<!H%x2xnC{Tgp8Z9Gf_Yh@iCRzTEMTFGAos@)R#`Tf*EN
zzX{{0W7|HK&CUkjsTcS?bojGg)hTXqse`6Jfb~02IZfAG#>VUU<T=ThMpc)iuR#`p
zsk@>RC-;70c}^eqcl3ok@c3t^u2TB^{=5?J!L%(6otOUby305?k&WQ(#~z}xC`V&q
z^iHDA%$87rH;KFbpHr|$Ve8!efz_%`$j>{YkZuP0i^Mm{y)-CD{ue3Yu@v-^-X=`o
zm;4ziiV+8P(tdMKi<?Bseke9m_aR>??2cq^R;BhTcRg3_yCNfhGGN?__#~;GdmT$X
zx(MB>=8QLG<e2FY*1h-~FC8%MFEM!|Z9v+2+d_8NL}YO5n(m%JV&LLa$?we-avN!`
z&)~V(<hOh}(Imf2m$rWy)0?|5=Z!=$nPA?2l5M5TH>fPG@}o&~w<F2SpZv=!=9X^$
z9l&u}BeV1PhxxAyDh(JHW2Re}t;Q&U!LMQ+)h<*A@YJ}cCuM?&#?8297C-r;Y<IFw
zG??h0gRe&9P}nyXXOm~NAf#r#4U&iXUYV)2V>5gLtJnU-^@-z8KTwy2F?=GzpHfl4
z#Z?WgVV7^*i<vCEm!~_fU(a+JbCT?Oy5(hpfi?Ds2Z1F?sL<G%Us5Le^ReXZ{`}Uq
z>iWJb^20P7V4m|ldQ@uqBF*hu4-Q`8SY@s4tmDWRF6hG+%NNBLinJ55@!!#z(MMb<
z>=c*pjCHXon0gI6I`bM-IO?hTgRzU;vNZ!%e=!XCwt{~~A-bgGzv%=C{#*=E*Frd1
zeHa)fPQWiSl0Qg2Vd*^hylxbe`Wu;7m&iRT8-81(Gkez~TeVQo+3}csT2Rurd|)4H
z#=GvrcT``)hs+dIs4Jr7-aY$}KK|#W5@}HcX9t-RQ5ixJ*>vF&1~Yoap(WZM49V*O
z*sqw627JXnHY+i&V4>j`3^;t|29d_U9eYCg<ywa^wUfgJ`w=#rlAOA1y|iWM{{a{F
B0=fVI

literal 0
HcmV?d00001

diff --git a/Writerside/in.tree b/Writerside/in.tree
index 2cd4bb9..68adb24 100644
--- a/Writerside/in.tree
+++ b/Writerside/in.tree
@@ -99,6 +99,10 @@
             <toc-element topic="99_Praktikum1Vorbereitung.md"/>
         </toc-element>
         <toc-element toc-title="Theoretische Informatik">
+            <toc-element toc-title="Übungen">
+                <toc-element topic="TIUebung1.md"/>
+
+            </toc-element>
             <toc-element topic="01Einleitung.md"/>
             <toc-element topic="02_GrundlagenFormaleSprachen.md"/>
         </toc-element>
diff --git a/Writerside/topics/04/Theoretische Informatik/01Einleitung.md b/Writerside/topics/04/Theoretische Informatik/01Einleitung.md
index f7ff353..31da70c 100644
--- a/Writerside/topics/04/Theoretische Informatik/01Einleitung.md	
+++ b/Writerside/topics/04/Theoretische Informatik/01Einleitung.md	
@@ -59,6 +59,27 @@ $|C|$
 > 
 > Algorithmus A löse MaximusCliqueSize. Dann existiert Algorithmus B mit ähnlicher Laufzeit der MaximumClique löst.
 
+$N(v) = \{n ∈ V | \{n,v\} ∈ E\}$
+- alle Knoten, die nix mit dem zu tun haben werden entfernt
+
+$$
+\begin{array}{l}
+\text{A}(G = (V, E)) \\
+1.\ \text{Wähle } v \in V \text{ mit kleinster ID} \\
+2.\ \text{Berechne } k = B(G) \\
+3.\ \text{Berechne } k_{-v} = B(G - v) \\
+4.\ \text{Falls } k_{-v} < k: \\
+\quad a.\ c = A(G - v - \overline{N(v)}) \\
+\quad b.\ \text{Gib } \{v\}  \text{u zurück} \\
+5.\ \text{Sonst:} \\
+\quad a.\ c = A(G - v) \\
+\quad b.\ \text{Gib } c \text{ zurück}
+\end{array}
+$$
+
+
+
+
 **Zentrale Beobachtung**:
 - Für G = (V, E) und v ∈ V sei G - v = (V\v,{e ∈ E | v !∈ e}).
 - Sei k die Größe einer Clique in G und $k_{-v}$ die Größe einer größten Clique in G-v.
diff --git a/Writerside/topics/04/Theoretische Informatik/02_GrundlagenFormaleSprachen.md b/Writerside/topics/04/Theoretische Informatik/02_GrundlagenFormaleSprachen.md
index 1705bb6..c4457d3 100644
--- a/Writerside/topics/04/Theoretische Informatik/02_GrundlagenFormaleSprachen.md	
+++ b/Writerside/topics/04/Theoretische Informatik/02_GrundlagenFormaleSprachen.md	
@@ -57,7 +57,7 @@ Sei $Σ=\{a,b,c\}$
 Sei $Σ = \{0,1\}$ und $s = 101011110$.
 - Wieviele Präfixe hat s?
   - 8
-- Wie viele Zeilzeichenketten der Länge 3 hat s?
+- Wie viele Teilzeichenketten der Länge 3 hat s?
   - 3?
 - **kompaktere Notation**: $s:s = 101011110 = (10)^21^40$
 
diff --git a/Writerside/topics/04/Theoretische Informatik/Übungen/TIUebung1.md b/Writerside/topics/04/Theoretische Informatik/Übungen/TIUebung1.md
new file mode 100644
index 0000000..523ef6b
--- /dev/null
+++ b/Writerside/topics/04/Theoretische Informatik/Übungen/TIUebung1.md	
@@ -0,0 +1,39 @@
+# Arbeitsblatt 1
+## Übung 1
+> Sei A ein Lösungsalgorithmus für das Entscheidungsproblem MaximumCliqueDec (auch k-Clique genannt).
+
+### Beantworten sie die folgenden Fragen:
+#### Welche Eingaben muss dieser Lösungsalgorithmus verarbeiten?
+- Graph $G = (V, E)$ [Adjazenzliste]
+- Größe $k ∈ \mathbb{N}$ 
+
+#### Welche Ausgaben muss dieser Lösungsalgorithmus bestimmen?
+- ja/nein [bool]
+
+### Sei $G = (V, E)$ ein Graph mit zehn Knoten. Wie oft muss der Algorithmus A im schlimmsten Fall aufgerufen werden, um mit ihm die Frage zu beantworten, wie groß eine größte Clique im Graphen G ist? Begründen Sie Ihre Antwort kurz.
+Im schlimmsten Fall 9 mal, falls $|C| = 1$. In diesem Fall würde man alle restlichen Fälle (bis auf k = 1, da dies als 
+gegeben betrachtet werden kann) testen bis man nach dem Überprüfen, ob eine Clique der Größe 2 existiert (Schritt 9) 
+zu dem Schluss kommt, dass die größte Clique eine Größe von 1 hat.
+
+## Übung 2
+>Gegeben sei der Graph G
+>
+>![image_680.png](image_680.png)
+
+### Geben Sie alle größten Cliquen im gegebenen Graphen an.
+$$\{(v_1,v_2,v_3), (v_1,v_2,v_4), (v_3,v_2,v_6), (v_3,v_6,v_5)\}$$
+
+### In der Vorlesung haben Sie einen Algorithmus kennengelernt, der MaximumClique mit Hilfe eines Algorithmus für MaximumCliqueSize lösen kann. Wenden Sie den Algorithmus auf G an. Die Knoten werden in der Reihenfolge $v1, v2, . . . , v7$ betrachtet. Beantworten Sie dabei für jeden Knoten $v_i (i ∈ \{ 1, 2, . . . , 7 \})$ folgende Frage:
+| Knoten | Wird für $v_i$ überprüft, ob er in die zu bestimmende Clique C aufgenommen werden soll? | Wird $v_i$ in die zu bestimmende Clique C aufgenommen |
+|--------|-----------------------------------------------------------------------------------------|-------------------------------------------------------|
+| $v_1$  | ja                                                                                      | nein                                                  |
+| $v_2$  | ja                                                                                      | nein                                                  |
+| $v_3$  | ja                                                                                      | ja                                                    |
+| $v_4$  | nein                                                                                    | nein                                                  |
+| $v_5$  | ja                                                                                      | ja                                                    |
+| $v_6$  | ja                                                                                      | ja                                                    |
+| $v_7$  | nein                                                                                    | nein                                                  |
+
+
+### Geben Sie die vom Lösungsalgorithmus bestimmte größte Clique C an.
+$C = (v_3,v_6,v_5)$
\ No newline at end of file