\documentclass[11pt,a4paper]{article}

\usepackage[brazil]{babel}
\usepackage[latin1]{inputenc}
\usepackage{verbatim}
\usepackage{fullpage}

\pagestyle{empty}

\begin{document}
\noindent \textbf{Cronograma de Teoria de Linguagens:}

\vspace*{5mm}
\noindent \begin{tabular}{|r|r|r|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 &  6 &  8 & Apresenta\c{c}\~{a}o do plano de curso. \\ \hline
 03-04 &  8 &  8 & Linguagens formais. Gramáticas: introdução. \\ \hline
  ***  & 13 &  8 & sem aula (exame de qualificação). \\ \hline
  ***  & 15 &  8 & Feriado: padroeira de BH. \\ \hline
 05-06 & 20 &  8 & Gram\'aticas. Procedimentos de decis\~ao. \\ \hline
 07-08 & 22 &  8 & 3 exemplos de aut\^omato finito determin\'{\i}stico (AFD). \\ \hline
 09-10 & 27 &  8 & O que \'e AFD. Exemplos de AFDs. AFD Mínimo. \\ \hline
 11-12 & 29 &  8 & Algumas propriedades. Aut\^omato finito n\~ao determin\'{\i}stico (AFN). \\ \hline
 13-14 &  3 &  9 & Equival\^encia entre AFDs e AFNs. Aut\^omato finito n\~ao determin\'{\i}stico  com transições $\lambda$. \\ \hline
 15-16 &  5 &  9 & O lema do bombeamento.\\ \hline
 17-18 & 10 &  9 & Propriedades de fecho. Expressões regulares. \\ \hline
 19-20 & 12 &  9 & Obten\c c\~ao de AFN a partir de ER e vice-versa. Gramáticas regulares. \\ \hline
 21-22 & 17 &  9 & Revisão. \\ \hline
 23-24 & 19 &  9 & Primeira prova.\\ \hline
 25-26 & 24 &  9 & Linguagens regulares: conclus\~ao. Aut\^omatos de pilha: introdu\c c\~ao informal. \\ \hline
 27-28 & 26 &  9 & Aut\^omatos de pilha determin\'{\i}sticos. Aut\^omatos de pilha n\~ao determin\'{\i}sticos.\\ \hline
 29-30 &  1 & 10 & Gram\'aticas livres do contexto. Exemplos. Deriva\c c\~oes e ambiguidade. \\ \hline
 31-32 &  3 & 10 & Manipula\c{c}\~ao de gram\'aticas livres do contexto. \\ \hline
 33-34 &  8 & 10 & Formas normais de Chomsky e de Greibach. \\ \hline
 35-36 & 10 & 10 & GLCs e APs. \\ \hline
 37-38 & 15 & 10 & Propriedades das linguagens livres do contexto. Problemas de decisão.\\ \hline
 39-40 & 17 & 10 & Revisão. \\ \hline
 41-42 & 22 & 10 & Segunda prova. \\  \hline 
 43-44 & 24 & 10 & O que \'e m\'aquina de Turing (MT). Exemplos.  \\ \hline
 45-46 & 29 & 10 & Algumas varia\c{c}\~oes de MTs. \\ \hline
 47-48 & 31 & 10 & MTs n\~ao determin\'{\i}sticas. M\'aquinas de Turing e Gram\'aticas. \\
       &    &    & Prop. das linguagens recursivas e rec. enumer\'aveis. A tese de Church-Turing.  \\ \hline
 49-50 &  5 & 11 & MTs e problemas de decis\~ao. M\'aquina de Turing universal. O problema da parada.  \\ \hline
 51-52 &  7 & 11 & Redu\c c\~ao de problemas. Redu\c c\~ao do problema da parada a outros. \\ \hline
 51-52 & 12 & 11 & Problema da correspond\^encia de Post. \\ \hline
 53-54 & 14 & 11 & Teorema de Rice. \\ \hline
 55-56 & 19 & 11 & Problemas indecid\'{\i}veis em GLCs. \\ \hline
 57-58 & 21 & 11 & Revisão. \\ \hline
 59-60 & 26 & 11 & Terceira prova. \\ \hline
       & 03 & 12 & Prova suplementar. \\ \hline
\end{tabular}
 
\end{document}
