574 \begin{frame}[c] |
574 \begin{frame}[c] |
575 |
575 |
576 \begin{itemize} |
576 \begin{itemize} |
577 \item The star-case in our proof about the matcher needs the following lemma |
577 \item The star-case in our proof about the matcher needs the following lemma |
578 \begin{center} |
578 \begin{center} |
579 \bl{$Der\,c\,A^* = (Der c A)\,@\, A^*$} |
579 \bl{$Der\,c\,A^* = (Der\,c\,A)\,@\, A^*$} |
580 \end{center} |
580 \end{center} |
581 \end{itemize}\bigskip\bigskip |
581 \end{itemize}\bigskip\bigskip |
582 |
582 |
583 \begin{itemize} |
583 \begin{itemize} |
|
584 \item \bl{$A^* = \{""\} \cup A\,@\,A^*$} |
584 \item If \bl{\texttt{""} $\in A$}, then\\ \bl{$Der\,c\,(A @ B) = (Der\,c\,A) @ B \cup (Der\,c\,B)$}\medskip |
585 \item If \bl{\texttt{""} $\in A$}, then\\ \bl{$Der\,c\,(A @ B) = (Der\,c\,A) @ B \cup (Der\,c\,B)$}\medskip |
585 \item If \bl{\texttt{""} $\not\in A$}, then\\ \bl{$Der\,c\,(A @ B) = (Der\,c\,A) @ B$} |
586 \item If \bl{\texttt{""} $\not\in A$}, then\\ \bl{$Der\,c\,(A @ B) = (Der\,c\,A) @ B$} |
586 |
587 |
587 \end{itemize} |
588 \end{itemize} |
588 |
589 |