slides/slides04.tex
changeset 794 95b3e918253f
parent 792 34132a854d03
child 847 da2320360f12
equal deleted inserted replaced
793:46cc69622a56 794:95b3e918253f
   779 \item A regular expression for email addresses
   779 \item A regular expression for email addresses
   780 
   780 
   781 \begin{center}
   781 \begin{center}
   782 \begin{tabular}{l}
   782 \begin{tabular}{l}
   783 (name: \bl{$[a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+$})\bl{$\cdot @\cdot$}\\ 
   783 (name: \bl{$[a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+$})\bl{$\cdot @\cdot$}\\ 
   784 \qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,.-]^+$}) \bl{$\cdot .\cdot$}\\ 
   784 \qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,-]^+$}) \bl{$\cdot .\cdot$}\\ 
   785 \qquad\qquad(top\_level: \bl{$[a\mbox{-}z\,.]^{\{2,6\}}$})
   785 \qquad\qquad(top\_level: \bl{$[a\mbox{-}z\,.]^{\{2,6\}}$})
   786 \end{tabular}
   786 \end{tabular}
   787 \end{center}
   787 \end{center}
   788 
   788 
   789 \bl{\[
   789 \bl{\[