UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO

Data 09/12/2018
Diário de Classe Hora 15:53:24
Disciplina: COM10014 - Computabilidade e Complexidade Período: 2 / 2018

Carga Horária: 60 Créditos: 4 Turma: SI1

DOCENTE PRINCIPAL : JULIANA PINHEIRO CAMPOS PIROVANI Matrícula: 1702411

Objetivos da Disciplina:

A disciplina Computabilidade e Complexidade visa dotar os acadêmicos de conhecimentos sobre os principais modelos
computacionais utilizados na teoria da computabilidade e dos limites práticos da computação através da teoria da
complexidade. Ao final do curso, os acadêmicos deverão ser capazes de trabalhar com modelos computacionais como
autômatos e máquinas de Turing (utilizadas na teoria da computabilidade); conhecer e entender os principais conceitos
sobre linguagens e gramáticas; realizar a análise de complexidade estrutural de algoritmos, bem como reconhecer os
limites fundamentais dos computadores através das teorias da computabilidade e complexidade.

Ementa da Disciplina:

Máquinas de Turing. Hierarquia de Chomsky. Decidibilidade. Computabilidade. Complexidade. Tratabilidade (Algoritmos

P e NP).

Diário
Aula 1 Data da Aula: 01/08/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Apresentação da Disciplina.
Aula 2 Data da Aula: 07/08/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Noções gerais sobre definições e provas. Conceitos básicos de linguagens.
Aula 3 Data da Aula: 08/08/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Teoria de Autômatos. Autômatos Finitos Determinísticos.
Aula 4 Data da Aula: 14/08/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Exercícios sobre AFD. Linguagem de um AFD.
Aula 5 Data da Aula: 21/08/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Autômatos finitos não determinísticos. AFN com transições epslon.
Aula 6 Data da Aula: 22/08/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Equivalência entre AFNs e AFDs. Operações de união, concatenação e estrela.
Aula 7 Data da Aula: 28/08/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Minimização de AFD e exercícios.
Aula 8 Data da Aula: 29/08/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Expressões regulares
Aula 9 Data da Aula: 04/09/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Expressões regulares e Autômatos Finitos
Aula 10 Data da Aula: 05/09/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Gramáticas e gramáticas regulares
Aula 11 Data da Aula: 11/09/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Exercícios e revisão para prova.
Aula 12 Data da Aula: 12/09/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Prova 1
Aula 13 Data da Aula: 18/09/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Exercícios no JFLAP
Aula 14 Data da Aula: 19/09/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Gramáticas Regulares
Aula 15 Data da Aula: 02/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Hierarquia de Chomsky
Aula 16 Data da Aula: 03/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Máquinas de Turing
Aula 17 Data da Aula: 09/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Computação em máquinas de Turing. MT que reconhecem por parada em estado final.
Aula 18 Data da Aula: 10/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Definições alternativas de MT.
Aula 19 Data da Aula: 23/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Problemas de Decisão. Tese de Church Turing.
Aula 20 Data da Aula: 24/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Problemas Decidíveis.
Aula 21 Data da Aula: 30/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Exercícios e revisão para prova
Aula 22 Data da Aula: 31/10/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Prova 2
Aula 23 Data da Aula: 06/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Problema da parada. Linguagem Turing-irreconhecível. Redutibilidade.
Aula 24 Data da Aula: 07/11/2018
Horas/aula: 2 Falta (horas/aula): 2
Conteúdo: Problemas indecidíveis
Aula 25 Data da Aula: 13/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Complexidade de algoritmos. Introdução
Aula 26 Data da Aula: 14/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Classes de comportamento assintótico. Principios para realizar análise de algoritmos.
Aula 27 Data da Aula: 20/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Recursão e relação de recorrência
Aula 28 Data da Aula: 21/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Algoritmos recursivos e análise de complexidade. Problemas P e NP.
Aula 29 Data da Aula: 28/11/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Exercícios e revisão para prova.
Aula 30 Data da Aula: 04/12/2018
Horas/aula: 2 Falta (horas/aula): 0
Conteúdo: Prova 3