95 \item numbers for numbers give |
95 \item numbers for numbers give |
96 a regular expression that can recognise \pcode{0}, but not numbers |
96 a regular expression that can recognise \pcode{0}, but not numbers |
97 with leading zeroes, such as \pcode{001} |
97 with leading zeroes, such as \pcode{001} |
98 \item strings are enclosed by double quotes, like \texttt{"\ldots"}, and consisting of |
98 \item strings are enclosed by double quotes, like \texttt{"\ldots"}, and consisting of |
99 symbols, digits, parentheses, whitespaces and \texttt{$\backslash$n} (note the latter is not the escaped version but \texttt{$\backslash$} followed by \texttt{n}, otherwise we would not be able to indicate in our strings when to write a newline). |
99 symbols, digits, parentheses, whitespaces and \texttt{$\backslash$n} (note the latter is not the escaped version but \texttt{$\backslash$} followed by \texttt{n}, otherwise we would not be able to indicate in our strings when to write a newline). |
100 \item comments start with \texttt{//} and contain symbols, spaces and digits until the end-of-the-line markers |
100 \item comments start with \texttt{//} and contain symbols, spaces, parentheses and digits until the end-of-the-line markers |
101 \item endo-of-line-markers are \texttt{$\backslash$n} and \texttt{$\backslash$r$\backslash$n} |
101 \item endo-of-line-markers are \texttt{$\backslash$n} and \texttt{$\backslash$r$\backslash$n} |
102 \end{enumerate} |
102 \end{enumerate} |
103 |
103 |
104 \noindent |
104 \noindent |
105 You can use the basic regular expressions |
105 You can use the basic regular expressions |