# HG changeset patch
# User Chengsong
# Date 1562534615 -3600
# Node ID 4c7173b7ddca6c94cc92a6e5155cc987ab331725
# Parent  3c73d95cbfeffc5fe70bd9c81199dc4ece13271b
tiny

diff -r 3c73d95cbfef -r 4c7173b7ddca ninems/ninems.tex
--- a/ninems/ninems.tex	Sun Jul 07 22:22:18 2019 +0100
+++ b/ninems/ninems.tex	Sun Jul 07 22:23:35 2019 +0100
@@ -744,7 +744,7 @@
                                                  code(\Stars\,vs)$
 \end{tabular}    
 \end{center} 
-Here code encodes a value into a bit-sequence by converting Left into $\Z$, Right into $\S$, the start point of a non-empty star iteration into $\S$, and the border where a local star terminates into $\Z$. This conversion is apparently lossy, as it throws away the character information, and does not decode the boundary between the two operands of the sequence constructor. Moreover, with only the bitcode we cannot even tell whether the $\S$s and $\Z$s are for $\Left/\Right$ or $\Stars$. The reason for choosing this compact way of storing information is that the relatively small size of bits can be easily moved around. In order to recover the bitcode back into values, we will need the regular expression as the extra information and decode them back into value:\\
+Here code encodes a value into a bit-sequence by converting Left into $\Z$, Right into $\S$, the start point of a non-empty star iteration into $\S$, and the border where a local star terminates into $\Z$. This conversion is apparently lossy, as it throws away the character information, and does not decode the boundary between the two operands of the sequence constructor. Moreover, with only the bitcode we cannot even tell whether the $\S$s and $\Z$s are for $\Left/\Right$ or $\Stars$. The reason for choosing this compact way of storing information is that the relatively small size of bits can be easily moved around. In order to recover the bitcode back into values, we will need the regular expression as the extra information and decode it back into value:\\
 %\begin{definition}[Bitdecoding of Values]\mbox{}
 \begin{center}
 \begin{tabular}{@{}l@{\hspace{1mm}}c@{\hspace{1mm}}l@{}}