equal
deleted
inserted
replaced
357 |
357 |
358 \newcommand{\qq}{\mbox{\texttt{"}}} |
358 \newcommand{\qq}{\mbox{\texttt{"}}} |
359 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
359 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
360 \mode<presentation>{ |
360 \mode<presentation>{ |
361 \begin{frame}[c] |
361 \begin{frame}[c] |
362 \frametitle{\begin{tabular}{c}CFG\end{tabular}} |
362 \frametitle{\begin{tabular}{c}CFGs\end{tabular}} |
363 |
363 |
364 A \alert{context-free} grammar \bl{$G$} consists of |
364 A \alert{context-free} grammar (CFG) \bl{$G$} consists of: |
365 |
365 |
366 \begin{itemize} |
366 \begin{itemize} |
367 \item a finite set of nonterminal symbols (upper case) |
367 \item a finite set of nonterminal symbols (upper case) |
368 \item a finite terminal symbols or tokens (lower case) |
368 \item a finite terminal symbols or tokens (lower case) |
369 \item a start symbol (which must be a nonterminal) |
369 \item a start symbol (which must be a nonterminal) |