Linguagens Formais e Autômatos
10
Linguagens Formais e Linguagens Formais e Autômatos Autômatos Prof. Luiz Antônio Moro Palazzo Pelotas, fevereiro de 2011 Universidade Católica de Pelotas Escola de Informática Bacharelado em Ciência da Computação LFA 2011.1
description
Universidade Católica de Pelotas Escola de Informática Bacharelado em Ciência da Computação. Linguagens Formais e Autômatos. Prof. Luiz Antônio Moro Palazzo Pelotas, fevereiro de 2011. LFA 2011.1. Roteiro. Dados Gerais Objetivos Ementa Programa Bibliografia Avaliação - PowerPoint PPT Presentation
Transcript of Linguagens Formais e Autômatos
Linguagens Formais e Linguagens Formais e AutômatosAutômatos
Prof. Luiz Antônio Moro Palazzo
Pelotas, fevereiro de 2011
Universidade Católica de PelotasEscola de Informática
Bacharelado em Ciência da Computação
LFA 2011.1
Linguagens Formais e Autômatos - A01 2
RoteiroRoteiro
• Dados Gerais
• Objetivos
• Ementa
• Programa
• Bibliografia
• Avaliação
• Datas Importantes
• Recursos
Linguagens Formais e Autômatos - A01 3
Dados GeraisDados Gerais
• Código: 364018• Nome: Linguagens Formais e Autômatos• CH Total: 60 horas-aula • CH Semanal: (3-0-0) • Pré-Requisitos: estruturas Discretas II• É Pré-Requisito de: Compiladores, Teoria da
Computação
Linguagens Formais e Autômatos - A01 4
ObjetivosObjetivos
• Apresentar os principais métodos de tratamento sintático de linguagens lineares abstratas, com a respectiva associação às linguagens típicas da ciência da computação.
• Estudar formalismos operacionais, axiomáticos e denotacionais e sua aplicação em compiladores, interpretadores e em ciência da computação em geral.
Linguagens Formais e Autômatos - A01 5
EmentaEmenta
• Estudo das linguagens formais, sua hierarquia e representação. Estudo dos autômatos finitos, seu emprego como modelos discretos e sua aplicação em ciência da computação.
N
Linguagens Formais e Autômatos - A01 6
ProgramaPrograma• Modelagem e Representação.• Gramáticas.• Linguagens Regulares.• Autômatos Finitos.• Expressões Regulares.• Autômatos com Saída• Primeira Avaliação.• Linguagens Livres de Contexto.• Autômatos com Pilha.• Linguagens Sensíveis ao Contexto.• Máquinas de Turing.• Introdução à Compilação.• Segunda Avaliação.
Linguagens Formais e Autômatos - A01 7
BibliografiBibliografiaa
• MENEZES, Paulo F B: Linguagens Formais e Autômatos. P. Alegre: Sagra Luzzatto, 2004 (4a.ed).
• HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J.D.: Introduction to Automata Theory, Languages, and Computation. New York: Addison-Wesley, 2004 (2a.ed).
• LEWIS, H. R.; PAPPADIMITRIOU, C. H.: Elements of the Theory of Computation. Englewood Cliffs: Prentice-Hall, 1981.
• SHIELDS, M. W.: An Introduction to Automata Theory. Oxford: Blackwell Scientific Publications, 1987.
• SALOMA, A.: Formal Languages. New York: Academic Press, 1973.
Linguagens Formais e Autômatos - A01 8
AvaliaçãoAvaliação
• Duas provas: P1 e P2.
• Dois trabalhos: T1 e T2.
• N1=(6P1+4T1)/10.
• N2=(6P2+4T2)/10.
• A nota final do semestre é a média aritmética entre N1 e N2.
Linguagens Formais e Autômatos - A01 9
Datas Datas ImportantesImportantes
Prova 1
Entrega do Trabalho 1
Prova 2
Entrega do Trabalho 2
Avaliação Complementar
20 de abril
27 de abril
22 de junho
29 de junho
01 de julho
.
Linguagens Formais e Autômatos - A01 10
RecursosRecursos
• Página da disciplina: http://infocat.ucpel.tche.br/disc/lfa/
• Lista de discussão:
