diff -r 17c7611fb0a9 -r 4b1149fb5aec ChengsongTanPhdThesis/Chapters/Bitcoded1.tex --- a/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex Tue Nov 08 23:24:54 2022 +0000 +++ b/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex Fri Nov 11 00:23:53 2022 +0000 @@ -1044,7 +1044,7 @@ some helper functions such as $\retrieve$ and $\flex$. \subsection{Specifications of Some Helper Functions} -The functions we introduce will give a more detailed glimpse into +The functions we introduce will give a more detailed view into the lexing process, which is not be possible using $\lexer$ or $\blexer$ alone. \subsubsection{$\textit{Retrieve}$}