ChengsongTanPhdThesis/Chapters/Bitcoded1.tex
changeset 543 b2bea5968b89
parent 542 a7344c9afbaf
child 564 3cbcd7cda0a9
equal deleted inserted replaced
542:a7344c9afbaf 543:b2bea5968b89
   526 \section{Specifications of Some Helper Functions}
   526 \section{Specifications of Some Helper Functions}
   527 The functions we introduce will give a more detailed glimpse into 
   527 The functions we introduce will give a more detailed glimpse into 
   528 the lexing process, which might not be possible
   528 the lexing process, which might not be possible
   529 using $\lexer$ or $\blexer$ themselves.
   529 using $\lexer$ or $\blexer$ themselves.
   530 The first function we shall look at is $\retrieve$.
   530 The first function we shall look at is $\retrieve$.
   531 \subsection{$\retrieve$}
   531 \subsection{$\textit{Retrieve}$}
   532 Our bit-coded lexer "retrieve"s the bitcodes using $\bmkeps$
   532 Our bit-coded lexer "retrieve"s the bitcodes using $\bmkeps$
   533 after we finished doing all the derivatives:
   533 after we finished doing all the derivatives:
   534 \begin{center}
   534 \begin{center}
   535 \begin{tabular}{lcl}
   535 \begin{tabular}{lcl}
   536 	& & $\ldots$\\
   536 	& & $\ldots$\\