Automatos e Computabilidade - CIC 116882

Semestre 2/2014
Turma A

Departamento de Ciencia da Computac

ao
Universidade de Braslia
Instituto de Ciencias Exatas

Plano de Ensino
1

Programa
1. Linguagens regulares: aut
omatos finitos determinsticos e nao-determinsticos, expressoes regulares,
lema do bombeamento para linguagens regulares.
2. Linguagens livres-do-contexto: gram
aticas livres-do-contexto, automato com pilha, lema do bombeamento para linguagens livres-do-contexto.
3. Tese de Church-Turing: m
aquinas de Turing, variantes de maquinas de Turing, definicao de algoritmo.
4. Decidibilidade: linguagens decidveis, o problema da parada.
5. Redutibilidade: problemas indecidveis, redutibilidade por mapeamento.
6. Teorema da recurs
ao e aplicac
oes.

Objetivo

Ao final deste curso, o aluno dever

a ser capaz de construir modelos de computacao e simular sua operac
ao,
compreender suas capacidades e limitac
oes, expressar problemas computacionais em termos matem
aticos
e formular provas para resolve-los.

Livro-texto

Introducao `a Teoria da Computac

ao, Michael Sipser, Cengage Learning, 2007, ISBN 8522104994. Traducao da 2a edic
ao americana. Estudaremos os Captulos 0 a 6.
Bibliografia adicional
Introducao `
a Teoria dos Aut
omatos, Linguagens e Computacao, John Hopcroft, Jeffrey Ullman &
Rajeev Motwani, Editora Campus, 2002, ISBN 8535210729. Traducao da 2a edicao americana
Elements of the Theory of Computation, H. Lewis & C. Papadimitriou, Prentice-Hall, 1998. ISBN
0132624788

Avalia
c
ao

Serao aplicadas 3 provas escritas de 10 pontos cada uma e pesos 2, 3, 3, respectivamente, e 6 testes de
1 ponto cada um e mesmo peso. A media final MF sera calculada pela formula
!
!
3
6
1X
1X
MF = 0, 8
wi P i + 2
Ti
8
6
i=1

i=1

onde wi e o peso de cada prova, Pi e a nota de cada prova e Ti e a nota de cada teste. Sera aprovado o
aluno que tiver media final maior ou igual a 5, e frequencia `as aulas maior ou igual a 75%.
As provas ser
ao aplicadas nas seguintes datas, no horario regular da aula:
Prova 1:
Prova 2:
Prova 3:
1

15/09
27/10
04/12

Os testes consistir
ao na resoluc
ao de exerccios e serao realizados nas seguintes datas, na u
ltima meia
hora da aula:
Teste
Teste
Teste
Teste
Teste
Teste

1:
2:
3:
4:
5:
6:

21/08
04/09
06/10
20/10
17/11
27/11

Observa
c
oes:
Caso o aluno n
ao possa comparecer a uma prova ou teste por doenca ou outro motivo de forca
maior, devidamente justificado e comprovado, podera faze-lo em nova data a combinar com o
professor.
Podera ser exigido do aluno a apresentacao de documento de identificacao nos dias das provas.
Havera avaliac
ao quanto `
a clareza, apresentacao e formalizacao na resolucao das questoes das
provas. A nota do aluno poder
a ser diminuda em razao da inobservancia desses parametros.
As provas ser
ao individuais e sem nenhum tipo de consulta.

MoodleUnB

Material didatico, an
uncios, resultados de avaliacoes, e outras informacoes relevantes sobre a disciplina
estarao disponveis online na plataforma Moodle da UnB, em http://www.ead.unb.br (Moodle vers
ao
2.4). O codigo de acesso `
a disciplina e ab7hh4.

Atendimento a alunos

Fora do horario de aula, o atendimento a alunos sera feito na sala do professor, nas sextas-feiras de 10:00
hs a 12:00 hs (outros hor
arios poder
ao ser agendados).

Professor

Dr. Jorge C. Lucero

lucero@unb.br
Tel: 3107-3678
Sala: A1-25/07, no 1o andar do Dept. de Ciencia da Computacao