slides/slides04.tex
changeset 794 8a09c03a098f
parent 792 1f9a45fb5429
child 847 a137834fe8fc
equal deleted inserted replaced
793:b5a2d033679f 794:8a09c03a098f
   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{\[