From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Apr 2016 18:31:39 +0000 (+0200)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=0b69ee6fcf8094bcd19f5adebd6e587f5d642d91;p=mc1516pa.git

update
---

diff --git a/report2/implementation.tex b/report2/implementation.tex
index 9f8b80e..1aa2322 100644
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -69,3 +69,5 @@ $$next(i_1, i_2, i_3)=\left\{\begin{array}{lll}
 	(targetagent, i_2, i_3) & \text{if } & i_1=targetagent\\
 \end{array}\right.$$
 
+\subsection{Example}
+For example, take the toy screen \texttt{\_\@\$} will be encoded as follows: