hws/hw02.tex
changeset 770 c563cf946497
parent 768 34f77b976b88
child 880 bc04fc576896
equal deleted inserted replaced
769:f9686b22db7e 770:c563cf946497
    46 
    46 
    47 \item Given the regular expression $r = (a \cdot b + b)^*$.
    47 \item Given the regular expression $r = (a \cdot b + b)^*$.
    48       Compute what the derivative of $r$ is with respect to
    48       Compute what the derivative of $r$ is with respect to
    49       $a$, $b$ and $c$. Is $r$ nullable?
    49       $a$, $b$ and $c$. Is $r$ nullable?
    50 
    50 
    51 \item Prove that for all regular expressions $r$ we have
    51 \item (Moved to HW3)
    52       
       
    53 \begin{center} 
       
    54   $\textit{nullable}(r) \quad \text{if and only if} 
       
    55   \quad [] \in L(r)$ 
       
    56 \end{center}
       
    57 
       
    58       Write down clearly in each case what you need to prove
       
    59       and what are the assumptions. 
       
    60   
    52   
    61 \item Define what is meant by the derivative of a regular
    53 \item Define what is meant by the derivative of a regular
    62       expressions with respect to a character. (Hint: The
    54       expressions with respect to a character. (Hint: The
    63       derivative is defined recursively.)
    55       derivative is defined recursively.)
    64 
    56