equal
deleted
inserted
replaced
94 $r^{\{n\}}$ & n-times $r$\\ |
94 $r^{\{n\}}$ & n-times $r$\\ |
95 \end{tabular} |
95 \end{tabular} |
96 \end{center} |
96 \end{center} |
97 |
97 |
98 \noindent |
98 \noindent |
99 Later on you will also need the record regular expressions: |
99 Later on you will also need the record regular expression: |
100 |
100 |
101 \begin{center} |
101 \begin{center} |
102 \begin{tabular}{ll} |
102 \begin{tabular}{ll} |
103 $REC(x:r)$ & record regular expression\\ |
103 $REC(x:r)$ & record regular expression\\ |
104 \end{tabular} |
104 \end{tabular} |