Aula 01 - Apresentação do Plano de Ensino (24/08/2017 - 24/08/2017)

Aula 02 - Conceitos Preliminares: Linguagens Formais e Gramáticas (29/08/2017 - 29/08/2017)

Aula 03 - Máquinas de Estado Finito: Autômato Finito Determinístico (31/08/2017 - 31/08/2017)

Aula 04 - Máquinas de Estado Finito: Estudo Dirigido com Aplicação de Lista de Exercícios (05/09/2017 - 05/09/2017)

Aula 05 - Máquinas de Estado Finito: Minimização de AFD's, Autômatos Finitos Não Determinísticos, Equivalência entre AFD e AFN (12/09/2017 - 12/09/2017)

Aula 06 - Máquinas de Estado Finito: AFN com Transições Vazias, AFN Estendido e Equivalência entre AFN e AFN com Transições Vazias (21/09/2017 - 21/09/2017)

Aula 07 - Máquinas de Estado Finito: Teorema da Equivalência entre AFN e AFN com Transições Vazias (26/09/2017 - 26/09/2017)

Aula 08 - Máquinas de Estado Finito: Lema do Bombeamento, Máquinas de Mealy e Moore, Equivalência entre Mealy e Moore (28/09/2017 - 28/09/2017)

Aula 09 - Máquinas de Estado Finito: Expressões Regulares, Gramáticas Regulares e Revisão da Primeira Unidade (04/10/2017 - 04/10/2017)

Aula 10 - Máquinas de Estado Finito: Revisão e Correção de Exercícios (05/10/2017 - 05/10/2017)

Aula 11 - Máquinas de Estado Finito: Revisão e Correção de Exercícios (10/10/2017 - 10/10/2017)

Aula 12 - Máquinas de Estado Finito: Primeira Avaliação (11/10/2017 - 11/10/2017)

Aula 13 - Autômatos com Pilha: Autômatos com Pilha Determinísticos (17/10/2017 - 17/10/2017)

Aula 14 - Autômatos com Pilha: Resolução de Exercícios sobre Autômatos com Pilha Determinísticos (18/10/2017 - 18/10/2017)

Aula 15 - Autômatos com Pilha: Autômato com Pilha Não Determinístico (24/10/2017 - 24/10/2017)

Aula 16 - Autômatos com Pilha: Gramática Livre de Contexto (25/10/2017 - 25/10/2017)

Aula 17 - Autômatos com Pilha: Formas Normais de Chomsky e de Greibach (26/10/2017 - 26/10/2017)

Aula 18 - Autômatos com Pilha: Revisão e Resolução de Exercícios (31/10/2017 - 31/10/2017)

Aula 19 - Autômatos com Pilha: Revisão e Resolução de Exercícios (01/11/2017 - 01/11/2017)

Aula 20 - Autômatos com Pilha: Revisão e Resolução de Exercícios (07/11/2017 - 07/11/2017)

Aula 21 - Autômatos com Pilha: Segunda Avaliação (09/11/2017 - 09/11/2017)

Aula 22 - Máquinas de Turing: MT Determinística (MT Padrão) (14/11/2017 - 14/11/2017)

Aula 23 - Máquinas de Turing: Equivalências entre Variações de Máquinas de Turing (16/11/2017 - 16/11/2017)

Aula 24 - Máquinas de Turing: MT Não Determinística, Gramática Irrestrita, Autômato Linearmente Limitado e Gramática Sensível ao Contexto (21/11/2017 - 21/11/2017)

Aula 25 - Máquinas de Turing: Resolução de Exercícios (23/11/2017 - 23/11/2017)

Aula 26 - Decidibilidade: Problemas de Decisão, Máquinas de Turing Universais e Problema da Parada (28/11/2017 - 28/11/2017)

Aula 27 - Computabilidade: Máquinas de Acesso Aleatório (Random Access Machines - RAM) (30/11/2017 - 30/11/2017)

Aula 28 - Máquinas de Turing, Decidibilidade e Computabilidade: Revisão e Correção de Exercícios (05/12/2017 - 05/12/2017)

Aula 29 - Máquinas de Turing, Decidibilidade e Computabilidade: Revisão e Resolução de Exercícios (06/12/2017 - 06/12/2017)

Aula 30 - Máquinas de Turing, Decidibilidade e Computabilidade: Terceira Avaliação (07/12/2017 - 07/12/2017)