Upload
tahlia
View
67
Download
0
Embed Size (px)
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
Citation preview
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: