\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 2017}

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