UNIVERSIDADE FEDERAL DE RORAIMA

DEPARTAMENTE DE CINCIA DA COMPUTAO

FICHA DE DISCIPLINA
DISCIPLINA: Fundamentos da Computao

( X ) SEMESTRAL

CDIGO: DCC 508

PERODO: Quinto

CARGA HORRIA: 60 horas-aula / semestre

(3 horas-aula / semana - aulas tericas e
1 horas-aula / semana - aulas prticas)

( X ) OBRIGATRIA (

PR-REQUISITOS:
Matemtica Discreta (MA 302)
Estrutura de Dados II (DCC 405)

) ANUAL

) OPTATIVA

C-REQUISITOS: Nenhum

CURSO: CINCIA DA COMPUTAO

OBJETIVOS GERAIS DA DISCIPLINA

Transmitir ao aluno os conceitos bsicos sobre: a evoluo dos modelos matemticos aplicados teoria da
computao; linguagens formais e autmatos, suas propriedades e inter-relacionamentos; os limites associados
computao de tarefas; embasamento terico s diversas reas da Cincia da Computao.

EMENTA RESUMIDA
Conceitos Preliminares;
Mquinas de Estados Finitos;
Autmatos de Pilha;
Mquinas de Turing;
Decidibilidade.

EMENTA DETALHADA
CONCEITOS PRELIMINARES
Smbolos, Alfabetos e Palavras
Gramticas
Conjuntos, Relaes e Funes
Tcnicas de Demonstrao

Modelos Computacionais mais Importantes

MQUINAS DE ESTADOS FINITOS
Autmatos Finitos Determinsticos
Autmatos Finitos No Determinsticos
Linguagens Regulares: Propriedades
Mquinas de Mealy e de Moore
Expresses Regulares
Gramticas Regulares
AUTMATOS DE PILHA
Autmatos de Pilha Determinsticos
Autmatos de Pilha No Determinsticos
Gramticas Livres do Contexto
Linguagens Livres do Contexto: Propriedades
MQUINAS DE TURING
O que Mquina de Turing
Algumas Variaes de MTs
Gramticas e Mquinas de Turing
Propriedades das LREs e das Linguagens Recursivas
DECIDIBILIDADE
A Tese de Church-Turing
MTs Universais
O problema da parada
Redues
Problemas Indecidveis sobre MTs, APs e Gramticas
O problema da correspondncia de Post (PCP)
Problemas Indecidveis
Outros Problemas Indecidveis

BIBLIOGRAFIA
Bsica:
VIEIRA, Newton Jos. Introduo aos Fundamentos da Computao: Linguagens e Mquinas. So Paulo:
Thomson Pioneira, 2006.
HOPCROFT, J. E. & ULLMAN, J. D, & MOTWANI, R.. Introduo a Teoria das Linguagens, Autmatos e
Computao. Rio de Janeiro: Elsevier, 2002.
LEWIS, H. R. & CHRISTOS H. Elementos de Teoria da Computao. 2.ed, Porto Alegre: Bookman, 2004.

Complementar:
MENEZES, P. F. B.. Linguagens Formais e Autmatos. Porto Alegre: Sagra-Luzzatto, 1997.
JARGAS, A. M. Expresses Regulares Uma Abordagem Divertida. 1 edio. So Paulo: Novates, 2006.
DIVERIO, T. A.; MENEZES, P. B.. Teoria da Computao: Mquinas Universais e Computabilidade. Porto
Alegre: Sagra-Luzzato, 2000.

APRO
VA

Aprovado em reunio do Colegiado do Curso de Cincia da Computao.

Em ___/____/______
_____________________________________
Coordenador do curso