equal
deleted
inserted
replaced
65 \end{quote} |
65 \end{quote} |
66 |
66 |
67 \item strings are enclosed by \texttt{"\ldots"} |
67 \item strings are enclosed by \texttt{"\ldots"} |
68 \item parentheses are \texttt{(}, \texttt{\{}, \texttt{)} and \texttt{\}} |
68 \item parentheses are \texttt{(}, \texttt{\{}, \texttt{)} and \texttt{\}} |
69 \item there are semicolons \texttt{;} |
69 \item there are semicolons \texttt{;} |
70 \item whitespaces are either \texttt{" "} (one or more) or \texttt{$\backslash$n} |
70 \item whitespaces are either \texttt{" "} (one or more) or \texttt{$\backslash$n} or |
|
71 \texttt{$\backslash$t} |
71 \item identifiers are letters followed by underscores \texttt{\_\!\_}, letters |
72 \item identifiers are letters followed by underscores \texttt{\_\!\_}, letters |
72 or digits |
73 or digits |
73 \item numbers are \pcode{0}, \pcode{1}, \ldots and so on; give |
74 \item numbers are \pcode{0}, \pcode{1}, \ldots and so on; give |
74 a regular expression that can recognise \pcode{0}, but not numbers |
75 a regular expression that can recognise \pcode{0}, but not numbers |
75 with leading zeroes, such as \pcode{001} |
76 with leading zeroes, such as \pcode{001} |