UNIVERSIDADE FEDERAL DE RORAIMA DEPARTAMENTE DE CINCIA DA COMPUTAO

FICHA DE DISCIPLINA

DISCIPLINA: Fundamentos da Computao

( X ) SEMESTRAL

) ANUAL

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 (

) OPTATIVA

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

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.

APROVAO
Aprovado em reunio do Colegiado do Curso de Cincia da Computao. Em ___/____/______

_____________________________________ Coordenador do curso