\subsection{Compositie}
+De \textit{Composition} van $S_1$ en $S_2$ is gelijk aan de corresponderende
+blokken in \textit{Piet} waarbij het einde van het pad van het eerste blok met
+een wit blokje verbonden wordt met het blokje links bovenaan het tweede blok.
+Lukt dit niet omdat dan beide blokken overlappen of het einde van het pad van
+het eerste blok aan de boven of linkerkant ligt, dan kunnen het ook meerdere
+blokjes zijn eventueel door zwarte blokken gestuurd.\\
+In dit voorbeeld van \textit{Piet} geven de '*' aan dat je hier elk willekeurig blok voor in kan vullen. De verschillende grijstinten geven de verschillende blokken aan. Lichtoranje geeft het begin van het pad van dat blok aan en donkeroranje het eind. Als laatste staat een underscore voor een wit blokje.\\
+\textbf{While} $S_1;S_2$\\
+\textbf{Piet}
+\begin{tabular}{ccc}
+\color{orange}$\ast$ & \color{lgray}$\ast$ & \color{lgray}$\ast$\\
+\color{lgray}$\ast$ & \color{lgray}$\ast$ & \color{lgray}$\ast$\\
+\color{dorange}$\ast$ & \color{lgray}$\ast$ & \color{lgray}$\ast$\\
+\color{lgray}\_ & & \\
+\color{orange}$\ast$ & \color{gray}$\ast$ & \color{gray}$\ast$\\
+\color{gray}$\ast$ & \color{gray}$\ast$ & \color{gray}$\ast$\\
+\color{gray}$\ast$ & \color{gray}$\ast$ & \color{dorange}$\ast$\\
+\end{tabular}
\ No newline at end of file
\definecolor{dmagenta}{HTML}{C000C0}
\definecolor{black}{HTML}{000000}
\definecolor{white}{HTML}{FFFFFF}
+\definecolor{lgray}{HTML}{D3D3D3}
+\definecolor{dorange}{HTML}{FF4500}
\author{Mart Lubbers\and Marjolein Zwerver}
\title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}}