equal
deleted
inserted
replaced
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$\\ |