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: