\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/segundo semestre de 2014:}

\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ês & \multicolumn{1}{c|}{\it Assunto} \\ \hline
 01-02 & 11 &  8 & Apresentação do plano de curso. \\ \hline
 03-04 & 13 &  8 & Linguagens formais. Gramáticas: introdução. \\ \hline
 05-06 & 18 &  8 & Gramáticas. Procedimentos de decisão. \\ \hline
 07-08 & 20 &  8 & 3 exemplos de autômato finito determinístico (AFD). \\ \hline
 09-10 & 25 &  8 & O que é AFD. Exemplos de AFDs. AFD Mínimo. \\ \hline
 11-12 & 27 &  8 & Algumas propriedades. Autômato finito não determinístico (AFN). \\ \hline
 13-14 &  1 &  9 & Equivalência entre AFDs e AFNs. Autômato finito não determinístico  com transições $\lambda$. \\ \hline
 15-16 &  3 &  9 & Invariância à direita. Propriedades de fecho. \\ \hline
 17-18 &  8 &  9 & O lema do bombeamento. \\ \hline
 19-20 & 10 &  9 & Revisão. \\ \hline
 21-22 & 15 &  9 & Primeira prova. \\ \hline
 23-24 & 17 &  9 & Expressões regulares. Obtenção de AFN a partir de ER e vice-versa. \\ \hline
 25-26 & 22 &  9 & Gramáticas regulares. Linguagens regulares: conclusão. Autômatos de pilha: introdução informal. \\ \hline
 27-28 & 27 &  9 & Autômatos de pilha determinísticos. Autômatos de pilha não determinísticos.\\ \hline
 29-30 & 29 & 10 & Gramáticas livres do contexto. Exemplos. Derivações e ambiguidade. \\ \hline
 31-32 &  1 & 10 & Manipulação de gramáticas livres do contexto. Forma normal de Chomsky\\ \hline
 33-34 &  6 & 10 & Forma normal de Greibach. Obtenção de autômatos de pilha a partir de GLCs.\\ \hline
 35-36 &  8 & 10 & Obtenção de GLCs a partir de autômatos de pilha. O lema do bombeamento para linguagens livres do contexto. \\ \hline
 37-38 & 13 & 10 & Propriedades de fecho das linguagens livres do contexto. Problemas de decisão.\\ \hline
 39-40 & 15 & 10 & O que é máquina de Turing (MT). Exemplos. \\ \hline
 41-42 & 20 & 10 & Revisão. \\  \hline 
 43-44 & 22 & 10 & Segunda prova. \\ \hline
 45-46 & 27 & 10 & Algumas variações de MTs: cabeçote imóvel, múltiplas trilhas, fita ilimitada em ambas as direções. \\ \hline
 47-48 & 29 & 10 & MTs multifita. MTs não determinísticas. Máquinas de Turing e Gramáticas. \\ \hline
 49-50 &  3 & 11 & Autômatos lineares limitados, gramáticas e linguagens sensíveis ao contexto. \\
       &    &    & Prop. das linguagens recursivas e rec. enumeráveis. \\ \hline
 51-52 &  5 & 11 & A tese de Church-Turing. MTs e problemas de decisão. Máquina de Turing universal. \\ \hline
 51-52 & 10 & 11 & O problema da parada. Redução de problemas. Redução do problema da parada a outros. \\ \hline
 53-54 & 12 & 11 & O problema da correspondência de Post.\\ \hline
 55-56 & 17 & 11 & Teorema de Rice. Problemas indecidíveis em GLCs. \\ \hline
 57-58 & 19 & 11 & Revisão. \\ \hline
 59-60 & 24 & 11 & Terceira prova. \\ \hline
       &  1 & 12 & Prova suplementar. \\ \hline
\end{tabular}
 
\end{document}
