update

diff --git a/report2/implementation.tex b/report2/implementation.tex
index 9f8b80e..1aa2322 100644 (file)
--- 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: