Introducao A Teoria Da Computacao

  • Uploaded by: Ronildo Flausino dos Santos
  • 0
  • 0
  • May 2020
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Introducao A Teoria Da Computacao as PDF for free.

More details

  • Words: 312
  • Pages: 2
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: [email protected]

PROGRAMA DE DISCIPLINA IDENTIFICAÇÃO DISCIPLINA: Introdução a Teoria da Computação DEPARTAMENTO: Estatística e Informática CARGA HORÁRIA TOTAL : 60 NÚMERO DE CRÉDITOS: 03 CARGA HORÁRIA SEMANAL: 4 TEÓRICAS: 2 PRÉ-REQUISITOS: -

CÓDIGO: XXXXX ÁREA: Informática PRÁTICAS: 2

EMENTA Autômatos: Finitos, a Pilha e Máquina de Turing (linearmente limitada). Linguagens Formais: Regular, Livre e Sensível ao Contexto, Estrutura de Frases. Hierarquia de Chomsky. Aplicações em compiladores. Computabilidade: modelos computacionais (funções recursivas, linguagens de programação), funções não computáveis, problema da parada, decidibilidade.

CONTEÚDOS UNIDADES E ASSUNTOS 1. Introdução e Conceitos Básicos: Notas Históricas, Abordagem e Conceitos Básicos 2. Autômatos 2.1 Finitos (Determinísticos e Não-determinísticos) 2.2 a Pilha 2.3 Máquina de Turing 2.4 Equivalência de Máquinas 3. Linguagens Formais 3.1 Regular 3.2 Livre de Contexto 3.3 Sensível ao Contexto 3.4 Estrutura de Frases 3.5 Gramáticas 3.6 Hierarquia de Chomsky 4. Computabilidade 4.1 Modelos Computacionais 4.2 Funções Recursivas

4.3 Funções não-computáveis

Continuação DISCIPLINA: Introdução a Teoria da Computação UNIDADES E ASSUNTOS

CÓDIGO: XXXXX

4.6 Problema da Parada 4.7 Decidibilidade 5. Conclusões 5.1 Resumo dos Principais Conceitos 5.2 Contribuições da Teoria da Computação

BIBLIOGRAFIA 1. Introdução aos fundamentos da Computação - Linguagens e Máquinas. Newton José Vieira. Thomsom, 2006. 2. Acióly, Benedito. e Bedregal, Benjamín R.C. e Lyra, Aarão. Introdução à Teoria das Linguagens Formais, dos Autômatos e da Computabilidade. Edições UnP, 2002. 3. Hopcroft, John E. e Motwani, Rajeev. e Ullman, Jeffrey D. Introdução à Teoria de Autômatos, Linguagens e Computação. Editora Campus, 2002. 4. Sudkamp, Thomas A. Languages and Machines: An Introduction to the Theory of Computer Science. Addison Wesley, 1997. 5. Menezes, Paulo Blauth. Linguagens Formais e Autômatos. Editora Sagra Luzzatto, 2000. 6. Diverio, Tiarajú Asmuz e Menezes, Paulo Blauth. Teoria da Computação: Máquinas Universais e Computabilidade. Editora Sagra Luzzatto, 1999.

Related Documents


More Documents from "Luis"

June 2020 0
Calculo_i
May 2020 0
December 2019 9