equal
deleted
inserted
replaced
86 |
86 |
87 In case they can, give the corresponding token sequences. (Hint: |
87 In case they can, give the corresponding token sequences. (Hint: |
88 Observe the maximal munch rule and the priorities of your regular |
88 Observe the maximal munch rule and the priorities of your regular |
89 expressions that make the process of lexing unambiguous.) |
89 expressions that make the process of lexing unambiguous.) |
90 |
90 |
91 \item (Optional) Recall the definitions for $Der$ and $der$ |
91 \item {\bf(Optional)} Recall the definitions for $Der$ and $der$ |
92 from the lectures. Prove by induction on $r$ the |
92 from the lectures. Prove by induction on $r$ the |
93 property that |
93 property that |
94 |
94 |
95 \[ |
95 \[ |
96 L(der\,c\,r) = Der\,c\,(L(r)) |
96 L(der\,c\,r) = Der\,c\,(L(r)) |
97 \] |
97 \] |
98 |
98 |
99 holds. |
99 holds. |
100 |
100 |
|
101 \item \POSTSCRIPT |
101 \end{enumerate} |
102 \end{enumerate} |
102 |
103 |
103 \end{document} |
104 \end{document} |
104 |
105 |
105 %%% Local Variables: |
106 %%% Local Variables: |