handouts/ho02.tex
changeset 334 fd89a63e9db3
parent 333 8890852e18b7
child 338 f16120cb4e19
equal deleted inserted replaced
333:8890852e18b7 334:fd89a63e9db3
    76 because in general the set of strings $L$ returns is infinite
    76 because in general the set of strings $L$ returns is infinite
    77 (recall what $L(a^*)$ is). In such cases there is no way we
    77 (recall what $L(a^*)$ is). In such cases there is no way we
    78 can implement an exhaustive test for whether a string is
    78 can implement an exhaustive test for whether a string is
    79 member of this set or not. In contrast our matching algorithm
    79 member of this set or not. In contrast our matching algorithm
    80 will operate on the regular expression $r$ and string $s$,
    80 will operate on the regular expression $r$ and string $s$,
    81 only, which are both finite. Before we come to the matching
    81 only, which are both finite objects. Before we come to the matching
    82 algorithm, however, let us have a closer look at what it means
    82 algorithm, however, let us have a closer look at what it means
    83 when two regular expressions are equivalent.
    83 when two regular expressions are equivalent.
    84 
    84 
    85 \subsection*{Regular Expression Equivalences}
    85 \subsection*{Regular Expression Equivalences}
    86 
    86 
   581 \addplot[black,mark=square*,mark options={fill=white}] table {re3.data};
   581 \addplot[black,mark=square*,mark options={fill=white}] table {re3.data};
   582 \end{axis}
   582 \end{axis}
   583 \end{tikzpicture}
   583 \end{tikzpicture}
   584 \end{center}
   584 \end{center}
   585 
   585 
       
   586 \section*{Proofs}
       
   587 
   586 \end{document}
   588 \end{document}
   587 
   589 
   588 
   590 
   589 
   591 
   590 
   592