Você está na página 1de 13

Teoria da Computao Aula 00 Apres.

da Disciplina
Prof. Camila de Arajo Sena

Roteiro

Programa Geral do Componente Curricular Referncias Bibliogrficas Avaliaes Trabalhos O que estuda a Teoria da Computao?

Teoria da Computabilidade Teoria da Complexidade Teoria dos Autmatos

Teoria da Computao No contexto do curso

DI-UERN

Programa Geral do Componente Curricular

Disciplina: Teoria da Computao CH: 90 h/a Horrio: 246M34 Metodologia

Aulas expositivas Avaliao individual e escrita Trabalhos tericos e de implementao Exerccios

DI-UERN

Contedo Programtico

I Unidade

Conceitos Matemticos Bsicos Autmatos Finitos


Autmatos Finitos Deterministicos Autmatos Finitos No Determinsticos Converso de AFN para AFD

Linguagens Regulares Gramticas regulares

DI-UERN

Contedo Programtico

II Unidade

Autmatos Pilha Linguagens Livre de Contexto Gramticas Livre de Contexto Formas Normais Remoo de Produes Inteis em GLC

DI-UERN

Contedo Programtico

III Unidade

Mquina de Turing

MT reconhecedora MT computador

Composio de Mquinas Tese de Church-Turing Gramticas Irrestritas Hierarquia de Chomsky Computabilidade

DI-UERN

Referncias Bibliogrficas

SISPER, Michael. Introduo Teoria da Computao. Thomson Learning, segunda edio, So Paulo, 2007. ACIOLY, Benedito Melo; BEDREGAL, Benjamin R. C. e LYRA, Aaro. Introduo teoria das linguagens formais dos autmatos e da computabilidade. Edies UnP, primeira edio, Natal, 2002. DIVERIO, T. A.; MENEZES, P.B. Teoria da Computao Mquinas Universais e Computabilidade. Srie Livros Didticos. Editora Sagra Luzzato. Porto Alegre, 2000.
DI-UERN

Avaliaes

I Unidade: 03/08/12 (previso)


Avaliao Escrita (80%) Listas de Exerccios em Sala (20%) Avaliao Escrita (80%) Listas de Exerccios em Sala (20%) Avaliao Escrita (50%) Trabalho de Implementao (30%) Listas de Exerccios em Sala (20%)

II Unidade: 10/09/12 (previso)


FERIADOS -07/09 Independncia (Sexta) -03/10 Mrtires (Quarta) -12/10 N. S. Aparecida (Sexta )

III Unidade: 19/10/12 (previso)


Prova de Recuperao:
DI-UERN

Possveis Trabalhos

Listas de Exerccios Implementaes


Autmatos RDFs, RFNs; Converso RFN RDF Autmato a Pilha Mquina de Turing

Seminrios

Novos Modelos Computacionais

DI-UERN

O que estuda a Teoria da Computao?

Teoria da Computabilidade

Existe algum problema (matemtico) que no pode ser resolvido computacionalmente (MT)? Quais os limites da Computao? Classificao de Problemas:

Decidveis (Sim ou No)

Dado um nmero x, x um nmero primo?

Indecidveis

Dado uma descrio de um programa e uma entrada finita, decida se o programa termina de rodar ou rodar indefinidamente, dada essa entrada (Problema da Parada)
x Nat
DI-UERN

Parcialmente Decidveis

O que estuda a Teoria da Computao?

Teoria da Complexidade

1) Ordenao de um vetor; 2) Possveis rotas de vo entre as cidades de um pas;

O que faz alguns problemas computacionalmente difceis e outros fceis? Existe a possibilidade de torn-lo menos difcil? possvel se contentar com uma soluo menos perfeita? difcil apenas no pior caso? possvel se contentar com uma soluo ocasionalmente demorada? A Criptografia trabalha na contramo das demais reas!
DI-UERN

O que estuda a Teoria da Computao?

Teoria dos Autmatos e Linguagens Formais

Definio e propriedades de Modelos matemticos de computao:

Autmatos finitos: processadores de texto, compiladores e projetos de hardware; Gramticas livre de contexto: linguagens de programao e inteligncia artificial.

DI-UERN

Teoria da Computao no Contexto do Curso

Introduo a Matemtica Computacional (Conjuntos) Lgica Matemtica e Computacional (Formalismos e provas) Teoria dos Grafos (Grafos)

Teoria da Computao
Compiladores (Gramticas)
DI-UERN