equal
deleted
inserted
replaced
382 by a recursive function called $L$ (for language), which |
382 by a recursive function called $L$ (for language), which |
383 is defined as follows |
383 is defined as follows |
384 |
384 |
385 \begin{center} |
385 \begin{center} |
386 \begin{tabular}{rcl} |
386 \begin{tabular}{rcl} |
387 $L(\varnothing)$ & $\dn$ & $\varnothing$\\ |
387 $L(\varnothing)$ & $\dn$ & $\{\}$\\ |
388 $L(\epsilon)$ & $\dn$ & $\{[]\}$\\ |
388 $L(\epsilon)$ & $\dn$ & $\{[]\}$\\ |
389 $L(c)$ & $\dn$ & $\{"c"\}$\\ |
389 $L(c)$ & $\dn$ & $\{[c]\}$\\ |
390 $L(r_1+ r_2)$ & $\dn$ & $L(r_1) \cup L(r_2)$\\ |
390 $L(r_1+ r_2)$ & $\dn$ & $L(r_1) \cup L(r_2)$\\ |
391 $L(r_1 \cdot r_2)$ & $\dn$ & $L(r_1) \,@\, L(r_2)$\\ |
391 $L(r_1 \cdot r_2)$ & $\dn$ & $L(r_1) \,@\, L(r_2)$\\ |
392 $L(r^*)$ & $\dn$ & $(L(r))^*$\\ |
392 $L(r^*)$ & $\dn$ & $(L(r))^*$\\ |
393 \end{tabular} |
393 \end{tabular} |
394 \end{center} |
394 \end{center} |