2017-1 Teoria da Computação

AULAS (acesse)

• 00TC - Apresentação da Disciplina

• 01TC - Fundamentos da Teoria da Computação

• 02TC - Conceitos Básicos - alfabeto, palavra, linguagem, gramática

• 03TC - Linguagens Regulares - AFD e AFND

• 04TC - Linguagens Regulares - expressão e gramática regular

• 05TC - Linguagens Regulares - minimização de autômatos

MATERIAL COMPLEMENTAR (acesse)

• Cap. 0 e 1 - Apostila (aula 08/03)

• Cap. 2 - Apostila

• Cap. 4 - Apostila

• (ebook) Introduction To The Theory Of Computation - Michael Sipser

• (livro) Uma Introducao a Teoria da Computacao - Michael Sipser

• (livro) Teoria da Computacao

• Vídeo sobre Gramática Regular (acesse)

Arquivos do Seminário

• Grupo 4 - Autômato com Pilha

• Grupo 8 - Maquina de Turing

SIMULADOR - AUTÔMATOS (acesse)

ATIVIDADES (acesse)

• 01 Atividade - Conjuntos, Relações e Funções

• 02 Atividade - Conceitos Básicos - alfabeto, palavra, linguagem, gramática

• 03_01 Atividade - Linguagens Regulares - AFD

• 03_02 Atividade - Linguagens Regulares - AFND

• 03_03 Atividade - Linguagens Regulares - AFND e AFD Equivalentes

• 04 Atividade - Linguagens Regulares - expressao e gramática regular

• 05 Atividade - Linguagens Regulares - minimização de autômato

• 06 Atividade - Revisão

ATIVIDADES AVALIATIVAS

• 1ª Nota (Prova: 19/04)

• 2ª Nota (Prova: 07/06) (conteúdo: AFND, Expressão e Gramática Regular, Equivalência e Minimização)

  • 3ª Nota (Seminário: 14/06)

  • REPOSIÇÃO (data: 21/06) (conteúdo: Aula 03, 04 e 05)

  • EXAME FINAL (data: 28/06) (conteúdo: Aula 01, 02, 03, 04, 05 e Seminário: autômatos com pilha; e Máquina de Turing)

EMENTA

Conceitos Preliminares. Teoria de Linguagens Formais: gramáticas, linguagens e autômatos finitos. Hierarquia de Chomsky. Máquinas de Turing. Decidibilidade.

BIBLIOGRAFIA

• Básica

- MENEZES, P. F. B. Linguagens Formais e Autômatos. Porto Alegre: Sagra Luzzatto, 2004.

- VIEIRA, N. J. Introdução aos Fundamentos da Computação: linguagens e máquinas. São Paulo: Pioneira Thomson Learning, 2006.

• Complementar

- HOPCROFT, John E; ULLMAN, Jeffrey D. Formal Languages and their Relation to Automata. California: Addison Wesley, 1969.

- AHO, Alfred V.; ULLMAN, Jeffrey D.; SETHI, R. Compiladores: princípios, técnicas e ferramentas. Rio de Janeiro: LTC, 1995.

APRESENTAÇÃO DO PROFESSOR (acesse)