A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Linguagens Formais e Autômatos Prof. Luiz Antônio Moro Palazzo Pelotas, fevereiro de 2011 Universidade Católica de Pelotas Escola de Informática Bacharelado.

Apresentações semelhantes


Apresentação em tema: "Linguagens Formais e Autômatos Prof. Luiz Antônio Moro Palazzo Pelotas, fevereiro de 2011 Universidade Católica de Pelotas Escola de Informática Bacharelado."— Transcrição da apresentação:

1 Linguagens Formais e 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

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

3 Linguagens Formais e Autômatos - A013 Dados Gerais Código: 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

4 Linguagens Formais e Autômatos - A014 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.

5 Linguagens Formais e Autômatos - A015 Ementa 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

6 Linguagens Formais e Autômatos - A016 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.

7 Linguagens Formais e Autômatos - A017 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, SHIELDS, M. W.: An Introduction to Automata Theory. Oxford: Blackwell Scientific Publications, SALOMA, A.: Formal Languages. New York: Academic Press, 1973.

8 Linguagens Formais e Autômatos - A018 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.

9 Linguagens Formais e Autômatos - A019 Datas Importantes 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.

10 Linguagens Formais e Autômatos - A0110 Recursos Página da disciplina: Lista de discussão:


Carregar ppt "Linguagens Formais e Autômatos Prof. Luiz Antônio Moro Palazzo Pelotas, fevereiro de 2011 Universidade Católica de Pelotas Escola de Informática Bacharelado."

Apresentações semelhantes


Anúncios Google