From 13c133e60856fa27724062c260e581f283b4fa26 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 12 Jun 2014 20:41:12 +0200 Subject: [PATCH] mijn stukken gedaan, faculteit programma ook opgedeelt zodat de structuur duidelijk is --- an_faculteit.tex | 19 +++++++++++++++++++ analysis.tex | 9 +++++++-- img/img5.png | Bin 0 -> 5223 bytes todo.txt | 6 +++--- 4 files changed, 29 insertions(+), 5 deletions(-) create mode 100644 img/img5.png diff --git a/an_faculteit.tex b/an_faculteit.tex index 72ce647..605eedb 100644 --- a/an_faculteit.tex +++ b/an_faculteit.tex @@ -97,6 +97,25 @@ Wat in \textit{Piet} er uit ziet als in Figuur~\ref{fig:img3} width=256px]{img3.png}} \end{figure} +\begin{figure}[H] + \caption{Faculteit vanuit \textit{While} naar \textit{Piet}(Geannoteerd)} + \label{fig:img5} + \centering + \fbox{\includegraphics[natheight=320px, natwidth=256px, height=160px, + width=128px]{img5.png}} +\end{figure} +De code blokken komen als volgt overeen met stukken\textit{While} code.\\ +\begin{tabular}{ll} + A & \lstinline{x:=5; y:=1}\\ + B & \lstinline{$\neg$(x=1)}\\ + C & \lstinline{y:=y*x}\\ + D & \lstinline{x:=x-1}\\ + E & het stukje achter de while loop, hierin printen we de uitkomst zodat we + er ook nog wat aan hebben, dit gebeurt in het originelen \textit{While} + programma niet. Het pyramidevormige stuk zorgt voor een terminatie\\ + F & \lstinline{while$neg$(x=1) do(y:=y*x; x:=x-1)} +\end{tabular} + \begin{landscape} De afleidingsrij voor 1! ziet er als volgt uit:\\ $ diff --git a/analysis.tex b/analysis.tex index 9bd9fee..af51000 100644 --- a/analysis.tex +++ b/analysis.tex @@ -3,7 +3,7 @@ Hieronder beschrijven we de vertaal stappen om van een arbitrair \textit{While} programma een \textit{Piet} te maken. \subsection{Skip en logistiek} -De \textit{Skip} is gelijk aan een of meer witte blokjes gevolgd niet wit +De \textit{skip} is gelijk aan een of meer witte blokjes gevolgd niet wit blokje. Het witte blokje laat piet niks doen en het eerstvolgende niet witte blokje zorgt ervoor dat de interpreter een aanknopingspunt heeft voor de volgende overgang. @@ -11,7 +11,12 @@ volgende overgang. \textbf{Piet} {\color{white}\#}\\ Doormiddel van \textit{skip} en bochten kunnen code blokken met elkaar -verbonden worden. +verbonden worden. Bochten zijn tunnels van zwart, dit zorgt ervoor dat de +direction pointer een andere kant op gaat en er twee losse code blokken met +elkaar verbonden kunnen worden.\\ +De plaatsing van de code blokken hebben we nu geen aandacht aan besteed, dit +zou geregeld kunnen worden door ieder arbitrair ingewikkelde graaf teken +algoritme. \input{an_compositie.tex} diff --git a/img/img5.png b/img/img5.png new file mode 100644 index 0000000000000000000000000000000000000000..4acb41eca5bb18ce1978eb60ebc3ff04ffb99172 GIT binary patch literal 5223 zcmW+)2|Uwp7~ixRlUyT}+>3}JD)%PWoXeF-h=}F*yK+UE4wg)ha)Pa zWkS?kxzZe)+kg7}p6B!X{GRuH-rw(i-tYT;-skrOZE4I4Jq`r`0K6y@18V>PD9=`J zE>5=P?4jBL_Knlc%-8_1e{hjnU#7Ax-2a(if&c&>p#ud1va&_lMo2Kq!Vogfd00?J zc!?CwZWmfZ86a)LMwWhDCwojsbu;$Gt*CtoXV*Ojx=yF^3&JC6Y;XgDOecf$lV-3} z_s0u`69?&r${a=}CUc>$h*gDKD+Kb947w4Xg+FT zX_WzQL|8zUQqY%Gy0#E87?di=MWNI|ZhCOYkR9W#p5~wSHv3^O zOO`%#ZOFg(Q*>tNh(c+XWqWkZ3pf;8lbGe{dX+G8rpo*MCwJ!JpUwI82*v1RN*!5k zrv9r37q-#=ihZ&kN=nVQ%zG?ByF$mtLV1K(Xk)aLC}b-nbVCMY_l=a4YMZv~J~+W? zsgOyH&!6ADVwYegtm@)T$SgXMnelTZ`{xN6a!V?vb6b>Fr5vi?ymsxqbfA3D`8hJ0 za-4;^@YXW*4M9-9Z@7QERYcJC&nFk*%{<41v1sz{#Wy{nrYmp zDxdFqU)#zPkIwwgTkX?2Ti*PqDeQOtWBM*@VmX0isn;EjD(I{2pme*|C=;yELCJR& z3+rBRo31?D({EmG+or#TNG$F&z)))z<*nht=xHA8C9(Y%7SFr(g8E7e_TOf`H^ub^ zMWhFbz0bzv>xsfN+nlFbqR;KE$L?*={NuA}vxf)fx@p@#!>ai9w%;Z`r*BUrZ!qg+ zlpAH~tt?BudzilMk5VtAIloBk?`==IOq{TEk$AZqV=edTe48?BYi`y_@4deMhtj<1 zq-s-?I`dJ8Z^D4Z&z4o`w!L+mdwO?1g_)16)Yd-2i|xyvQM(rN;)&@W@`o(q? zPP>m@MV%|Qqb+dn43$&omt!3nyi-e)zgddU8g=iUJ-@S4!bI9>D>5Hx`d1noT4;v@nZGQW`6yVVx+e0w zAKL#!_3PLCeA<6w*3{n4s^gtrU3c#Ld-H~QC+1d;aE42CxX+I!_1wrmjl(VB)kvv~ z-gmL;@(piH&C^UIkww97lyNLyLNjM?w4a2jDcaLM#isJM>)-`)&!}j8c{?VS1DldM zeLr5v_5_dBmm37wd9$2P)-LmvV4SARUf=6}tQwXj3^uj2@bG)w^JA9C3ys=uiLzd8 zyA`hJsC}NdCU~jiI2BfXsLAF~0c)(B&izi3{LDI2dcHieF@kFO1d ze^)JaNOn0uEPT80!ukbxnh!U{2xS-YuBZsx<w*+>YIK` z{%HD+vc-7^^z98#t5Q|gv_2to&?`U=)h(DRQo*RIO3cT&^_q33?(AGBRtTl~G?LG4 zKYaR5)G{l5B%2bS3y}!9kI{O{Dp{A2udy{P;Gvel2T(&?qfE>|Rg!ytk_40(C1t+a zQYWp{Q&W*w9Hm(BO>ujd)@oZxVK-8xfr9d6&oUheLlNcKY)#GtS1|FXcH!K7Dgk z4VAVVt$38m%-daj->#><5*l-}+8)&qAM(~Tl+eC4^PDkuHd=t@5@Ppiex0u891eGm z-kfgOnlJ5)x-?-^7h%C~Um&hkOU(S!GFQCueAG{CeL_6iVeIj$&U;3>)NE1WE5%)u zFa5WNO-tz$-AOeuBZH2o?%nj{I={q8Im-?$y-ieh>udh2cc&Ets%ZGuNLJVUw^AP7 zuHPsbvLBqRaJEq4f@V@=|5q`qcob!xWsAX$Fg~4Uv_C%5ITWqe=Td#DPiHoJqx5XF z3UhfvLhH`re?`dKj_w33E?YsEI!NEhxmI^~V`6WsZuA9h!ESH{c-;$SlS0*&;IKyF z>$ejx(wi!xd>1oXH|Y3)rCJ)6agKJZIZ4FdDW}h|J)|ZwWX!#k09yasm$T_2W0*gq zHuxwY)0m*Cqw?7<-b0RjS#Ll5?#@S-q|3%h9nZDybZmtz=&mgL-&;woyz%~#L-QTq z#UITVhhAZ1kohg3i8mlSdxbNrnkLg128-m#-FeZPM|SpD0h6=3p^vhqrH3k9BrcBq zcUkPxf0E+&b{K;^hfUNOpH|4F-d}B>F1W9?ITm=A^a0RKr1X(yE&nF(&Wgr`@@8pi zw{7NapF)FlhgvCI-T9b5j?gnF1;hSY|I`#OJD*Zyp=V%>FF zXn;(N@k>lQF$831etNE0YS~Y3bB$+55$n(Rbm_lwBsylw1Z^oIsUk>C2n-x7gaa&fVmokxG73jg#h!mPLn$lu+4@`x1^R!JPj*$DIZnSjubJtDHLRIplhJM6w>ZG z0t!RqgY0fa5UNPu;N-%|Rw7tQ8Tm|w#EC$A9w7tYDchkvcz>!*bfXSk2{jqS+<*Fe zJ>nrGaHM}MjdA{|pBs65j2RK$-?@+x(K3m3DU%zd3mj?6O!yW>#|@Uh1>;S@>ZLcw zEWwB(T$Y{k6bN-3RTpMBb@K~45`v@na1yftbAjbJM}oyTf*@r5YpN%eG3=h)nXYt= zUiDEKU)`^(HB^561kEYP!eGbUpheoQSo-&?!Yd9XyT^sE9*Zo_uDMhEAUuZ_Ivy_P z*S^afuDwkgt~hZs)?+`ieM)X}`eY>ScC_91Se-4_7pm>hBTKIvp3@yqgaQ`I>buIX zH`C)4%j1?t>$`JxBIz59$$*W&zrxnPU7b9kw_|jd*{{3MQKN)Zy6WSR2jbHg7 zliZ=h8WTEk!6$Au@1E{Z*|pFv+F|z{%Rp{y8!_Ue3kR}So6#X8AW-Q$TIVtSAiX{e z(YrX_swFM$*TOK0MWWvXn{n7x-`n4di)&zSs6-(o&|8Ve>A$yNwv+#a?&M`O!tso< zGMfo(taLoi9e;y zk+3cDr|OcK!V_m^YY@2jxQ%7jIDWKky)5ikEv+m1`UTNfDWt6+iCAS?n+RVHeKN!O z`2Oa=Wk$c1jNKn@}y={*hv#K zfD1a%1k;--PZUPx+c%9hSw$|^9RmQ6K(_Q;2|ih3wtxnKsc&8_psrtgymI4)>w^}n zE#Y0++{6+=nC37uSV~8L`0gQ(2&gFL%V#1vy*7+J=o_^;ZV*@&&rBi#=1L5QA>ag6 z@~LSPD?yknFFz6Y@In3~Zc{bRO+grdA2v{uPVRM|GhHx24?xuyGn=TYg0PsIs5=tG ziD(k^QR|IL|CIG_6`*ge@;pk4H3x5Ci;@pMt1Wu6D;NZhApzL(^V1y-vl`4$cW8tB zf;J1TE$T16+^$G_e9$4rTL{PE#pwsCwT4uxArGbwm@g2r3hB9al)nea4V4dZLqf15 zo^4V(^tv@RmoyXIx00P%#K>KW<&b0uzy`z%*8=CL1^pS%f5BjqNMH;I9$kNSUDIC> z=Bf`w0;>z=3gfm#2lm1+3iH%a!79p3TBQD&~fjvPO=^+QQ?A)lse`z8J zbPNoP!@&%*LEx187l@=76kM`0*h_!KNn1_b@Uyjq;kR_SZ7CB8BoOU0NHLzKl)k*> zq%2QJ3hW9$F*Ruh)oVcMJVZz*K4E*8$kwhIM__gR>TyFTtgWrPP@gHG2W2SkZiGhM zz$Bh3fj_(Xu`utvV@J{c$-{lbuf-NqYQ}^yvUlpKnQuus&bL~BK`y@9Mi>}cXWur! zaTNRQo)YX)ojWZpy}-I9DCPNHT0=9VkYX+_Ylub=0#^jYa2y2U*T5xNE~tr-rK1k} zF(VabN7tzN4Dc2HdZtQrW+zflK;zEz@u#GL5vuJh*azoZLR$Odgat5Lm6XHg%B;Iw<5_x4u(c$JZ+^PaPeZ=00oo;$Rsx<>dJP#V~*A0AOBA zY%(?ST1vT#v%Y)oJ`xX^kaUJ25AW25g5M9lzPQ&Dw)-S60m63D;y=J8pio}E-I6mU7*{n8K;R+2`MIDm zeWa9On{ega*%{U4`K6wieJo?WO$I(l&SV$dmeTCYmvQB}EVDK?=mVFXSbN4GYUTQ6d57L1`bvIXC0~o6U0u1J8#j&+= zXs`d@6ouQgy&DDwVj6)1uE82e%su^hG3|}!xHyN_t-G=LorebLMHzcK2ZxdUnzxej zu1(bI(<^VD$~>O@V!W>`EnVIojR#r*+B+}5)Ci!5EsnA*7squHB=$F!Cu!|_9!_Du zni_VQk-SHc!1dSOUsq7S%xE(s?!0~*pb_UB0WHU7}|cT?n}l$$}u<25R^p%d3{5; z<2QlS4`cPmhTUSSPBmk&r>9A@c@0<}Hq87rT#=tTF!3m8Me7)we;qY|~);Hzo-?R!4I1{9&a1F=dnEApa zgY=2hgo(5F2YHAfZrMP9SVoLKf#N8wD`|cZKrgvg=L+^2FGTgLZr^4!+QVRIY#YhT zIoXbEU&b!IE{tbmtwjPu8*LsDBt8R%oZEV?qdt5X`yEw&30+^8hFKLKL zgw6$@77$@4I@8i4aeraact{Ey`AiC+rjPdId^4r<#o?yFm7d0H6?Y#N)!1^V<5!o5H}At_>{_XM1+1I zuD8m(`LSg$DgtYQJFbHngni%^P+yMCQrpvf>h+vN4L&49tmC_mvdT=D%A2psF8rkH zRYj!w^EhgkNz9XrD1u3jOL3$Rl&ql_Ws?{GG+ZSR9Hr%7n0onGJ08{8)k$ZJQ$a|$ z*0npem!2#5&hnQD+ottMcHWrBj&kDkfnSs^7N*`!#yHQe<$pdSid*^m)zrFYTerIH zND2wy+SgEU3V`Ea3meD(@O_X}+42vNzmM-jen=53p literal 0 HcmV?d00001 diff --git a/todo.txt b/todo.txt index 81db937..4400afa 100644 --- a/todo.txt +++ b/todo.txt @@ -1,6 +1,6 @@ -Mart: Bochten uitleggen(analysis.tex) -Mart: Semantics(marjolein) -Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex) +KLAAR - Mart: Bochten uitleggen(analysis.tex) +KLAAR - Mart: Semantics(marjolein) +KLAAR - Mart: Uitleggen waarom piet' verschijnt in expressies(an_arit_expr.tex) Marjolein: Get functie uitleggen in unair Marjolein: Kijken naar de laatste zaken over dat clean gebeuren Marjolein: analyse voor 2! -- 2.20.1