|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: FACULDADE DE CIÊNCIAS EXATAS E ENGENHARIAS | ||
| DEPARTAMENTO: DEPARTAMENTO DE COMPUTAÇÃO | ||
| DISCIPLINA: Linguagens Formais e Autômatos | ||
| CARGA HORÁRIA: 45 | CRÉDITOS: 3 | CÓDIGO: FCEE01-14829 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | FCEE - Ciência da Computação (versão 2) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 3 | 3 | 45 |
| TOTAL | 3 | 3 | 45 |
OBJETIVO(S):
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.
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 e tecnologias da computação.
| PRÉ-REQUISITO 1: FCEE01-14839 Conceitos de Linguagem de Programação |
BIBLIOGRAFIA: - MENEZES, Paulo Blauth. Linguagens Formais e Autômatos. Porto Alegre, Sagra Luzzatto, 2004 (4a. Ed.)
- PRICE, Ana Maria de Alencar. Implementação de linguagens de programação: compiladores. 3. ed.. Porto Alegre: Instituto de Informática da UFRGS, 2008
- SEBESTA, Robert W.. Conceitos de linguagens de programação. 5 ed. Porto Alegre: Bookman, 2003.
- HOPCROFT, JOHN E.; ULLMAN, JEFFREY D.; OTWANI, RAJAEEV.INTRODUCTION TO AUTOMATA THEORY, LANGUAGES AND COMPUTATION. NEW YORK: ADDISON-WESLEY, 2004 (2ND ED.).
- GERSTING, JUDITH L.. FUNDAMENTOS MATEMÁTICOS PARA A CIÊNCIA DA COMPUTAÇÃO: UM TRATAMENTO MODERNO DE MATEMÁTICA DISCRETA. 5 ED. RIO DE JANEIRO: LTC ED, 2004.