\documentstyle[12pt]{article}
 
\newcounter{conta}
\newcounter{conta2}
\begin{document} \footnotesize

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