equal
deleted
inserted
replaced
167 \begin{tabular}{lcl} |
167 \begin{tabular}{lcl} |
168 $L \; (\ZERO)$ & $\dn$ & $\phi$\\ |
168 $L \; (\ZERO)$ & $\dn$ & $\phi$\\ |
169 $L \; (\ONE)$ & $\dn$ & $\{[]\}$\\ |
169 $L \; (\ONE)$ & $\dn$ & $\{[]\}$\\ |
170 $L \; (c)$ & $\dn$ & $\{[c]\}$\\ |
170 $L \; (c)$ & $\dn$ & $\{[c]\}$\\ |
171 $L \; (r_1 + r_2)$ & $\dn$ & $ L \; (r_1) \cup L \; ( r_2)$\\ |
171 $L \; (r_1 + r_2)$ & $\dn$ & $ L \; (r_1) \cup L \; ( r_2)$\\ |
172 $L \; (r_1 \cdot r_2)$ & $\dn$ & $ L \; (r_1) \cap L \; (r_2)$\\ |
172 $L \; (r_1 \cdot r_2)$ & $\dn$ & $ L \; (r_1) @ L \; (r_2)$\\ |
173 $L \; (r^*)$ & $\dn$ & $ (L(r))^*$ |
173 $L \; (r^*)$ & $\dn$ & $ (L(r))^*$ |
174 \end{tabular} |
174 \end{tabular} |
175 \end{center} |
175 \end{center} |
176 \noindent |
176 \noindent |
177 Which is also called the "language interpretation" of |
177 Which is also called the "language interpretation" of |