1 / 10

Linguagens Formais e Autômatos

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

tahlia
Download Presentation

Linguagens Formais e Autômatos

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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

  2. Roteiro • Dados Gerais • Objetivos • Ementa • Programa • Bibliografia • Avaliação • Datas Importantes • Recursos Linguagens Formais e Autômatos - A01

  3. Dados 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. Objetivos • 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. Ementa N • 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. Linguagens Formais e Autômatos - A01

  6. Programa • 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. Bibliografia • 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çã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 Importantes Linguagens Formais e Autômatos - A01

  10. Recursos • Página da disciplina: http://infocat.ucpel.tche.br/disc/lfa/ • Lista de discussão: Linguagens Formais e Autômatos - A01

More Related