ChengsongTanPhdThesis/Chapters/Inj.tex
changeset 543 b2bea5968b89
parent 541 5bf9f94c02e1
child 564 3cbcd7cda0a9
equal deleted inserted replaced
542:a7344c9afbaf 543:b2bea5968b89
   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