\documentstyle[12pt]{article}

\begin{document} \footnotesize

\begin{center} 
 Teoria de Linguagens/FUCAPI - 1o. semestre de 2002
\end{center}

\begin{tabular}{|r|c|c|l|} \hline
 \multicolumn{1}{|c}{\it Aula} & \multicolumn{2}{|c|}{\it Data} &  \\ \cline{2-3}
\multicolumn{1}{|c|}{\it No.}   & Dia & M\^es & \multicolumn{1}{c|}{\it Assunto} \\ \hline
 01-02 & 18 & 03 & Apresenta\c{c}\~{a}o do plano de curso \\ \hline
 03-04 & 18 & 03 & Revis\~ao de conceitos matem\'aticos \\ \hline
 05-06 & 19 & 03 & Linguagens Formais. Gram\'aticas. Procedimentos de decis\~ao. \\ \hline
 07-08 & 19 & 03 & 3 exemplos de m\'aquinas de estado-finito.\\ \hline
 09-10 & 20 & 03 & O que \'e aut\^omato finito determin\'{\i}stico (AFD). \\ \hline
 11-12 & 20 & 03 & Minimiza\c c\~ao de AFD's. \\ \hline
 13-14 & 21 & 03 & Propriedades dos AFD's. \\ \hline
 15-16 & 21 & 03 & O que \'e aut\^omato finito n\~ao determin\'{\i}stico (AFN). \\\hline
       &    &    & Equival\^encia entre AFD's e AFN's. \\ \hline
 17-18 & 22 & 03 & AFN estendido. AFN com transi\c c\~oes $\lambda$. \\ \hline
 19-20 & 22 & 03 & Linguagens regulares: propriedades. \\ \hline
 21-22 & 29 & 04 & Primeira prova. \\ \hline
 23-24 & 29 & 04 & Express\~oes regulares. \\ \hline
 25-26 & 30 & 04 & Obten\c c\~ao de AFN a partir de ER e vice-versa. \\ \hline
 27-28 & 30 & 04 & Gram\'aticas regulares.  LR's: conclus\~ao. \\ \hline
 29-30 & 01 & 05 & Aut\^omatos com pilha: introdu\c c\~ao informal.\\ \hline
 31-32 & 01 & 05 & Aut\^omatos com pilha determin\'{\i}sticos. \\ \hline
 33-34 & 02 & 05 & Aut\^omatos com pilha n\~ao determin\'{\i}sticos. \\ \hline
 35-36 & 02 & 05 & Gram\'aticas livres do contexto. Exemplos. Deriva\c c\~oes e ambiguidade. \\ \hline
 37-38 & 03 & 05 & Manipula\c c\~ao de gram\'aticas. \\ \hline
 39-40 & 03 & 05 & Formas normais de Chomsky e de Greibach. \\ \hline
 41-42 & 10 & 06 & Segunda prova. \\ \hline
 43-44 & 10 & 06 & GLC's e aut\^omatos com pilha. \\ \hline
 45-46 & 11 & 06 & Propriedades das linguagens livres do contexto. \\ \hline
 47-48 & 11 & 06 & O que \'e m\'aquina de Turing (MT). \\ \hline
 49-50 & 12 & 06 & Algumas varia\c c\~oes de m\'aquinas de Turing (MT's). \\ \hline
 51-52 & 12 & 06 & MT's multifita e n\~ao determin\'{\i}sticas. \\ \hline
       &    &    & Propriedades das linguagens recursivas e recursivamente enumer\'aveis. \\ \hline
 53-54 & 13 & 06 & Tese de Turing. O problema da parada. \\ \hline
 55-56 & 13 & 06 & Problema da correspond\^encia de Post. Problemas indecid\'{\i}veis em GLC's. \\ \hline
 57-58 & 14 & 06 & . \\ \hline
 59-60 & 14 & 06 & . \\ \hline
\end{tabular}
 
\end{document}
