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

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