SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA (11.00.43.56.07)
Curso:	INFORMÁTICA/PPGI - Maceió - MESTRADO ACADÊMICO
Código:	PPGI001
Nome:	TEORIA DA COMPUTAÇÃO
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Exige Horário:	Sim
Permite CH Compartilhada:	Não
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Ementa/Descrição:	Estudo de modelos teóricos da computação, de linguagens formais e de autômatos. Alfabeto, linguagens e operações com linguagens. Gramáticas formais e autômatos. Autômatos finitos e de Pilha. Modelos de computação. Máquinas de Turing. Decidibilidade. Problema da parada.
Referências:	1. HOPCROFT, J. Introdução a Teoria dos Autômatos, Linguagens e Computação. Campus, 2003. 2. SIPSER, M. Introdução à Teoria da Computação, 2a ed. Thomson Learning, 2007. 3. LEWIS, H; PAPADIMITRIOU, C. Elements of the Theory of Computation, 2nd ed. Prentice-Hall. 1997. 4. VIEIRA. N. J. Introdução aos Fundamentos da Computação, Thomson Learning, 2006.