equal
deleted
inserted
replaced
36 |
36 |
37 \begin{center} |
37 \begin{center} |
38 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}} |
38 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}} |
39 $nullable(\varnothing)$ & $\dn$ & $f\!\/alse$\\ |
39 $nullable(\varnothing)$ & $\dn$ & $f\!\/alse$\\ |
40 $nullable(\epsilon)$ & $\dn$ & $true$\\ |
40 $nullable(\epsilon)$ & $\dn$ & $true$\\ |
41 $nullable (c)$ & $\dn$ & $f\!alse$\\ |
41 $nullable(c)$ & $\dn$ & $f\!alse$\\ |
42 $nullable (r_1 + r_2)$ & $\dn$ & $nullable(r_1) \vee nullable(r_2)$\\ |
42 $nullable(r_1 + r_2)$ & $\dn$ & $nullable(r_1) \vee nullable(r_2)$\\ |
43 $nullable (r_1 \cdot r_2)$ & $\dn$ & $nullable(r_1) \wedge nullable(r_2)$\\ |
43 $nullable(r_1 \cdot r_2)$ & $\dn$ & $nullable(r_1) \wedge nullable(r_2)$\\ |
44 $nullable (r^*)$ & $\dn$ & $true$ \\ |
44 $nullable(r^*)$ & $\dn$ & $true$ \\ |
45 \end{tabular} |
45 \end{tabular} |
46 \end{center} |
46 \end{center} |
47 |
47 |
48 \noindent |
48 \noindent |
49 The idea behind this function is that the following property holds: |
49 The idea behind this function is that the following property holds: |