|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO POLITÉCNICO | ||
| DEPARTAMENTO: DEPARTAMENTO DE MODELAGEM COMPUTACIONAL | ||
| DISCIPLINA: Linguagens Formais e Autômatos | ||
| CARGA HORÁRIA: 45 | CRÉDITOS: 3 | CÓDIGO: IPRJ01-10773 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | IPRJ - Engenharia de Computação (versão 1) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 3 | 3 | 45 |
| TOTAL | 3 | 3 | 45 |
OBJETIVO(S):
Fornecer os fundamentos linguagens formais e autômatos.
EMENTA:
Gramáticas. Linguagens regulares, livres-de-contexto e sensíveis-ao-contexto. Tipos de reconhecedores. Operações com linguagens. Propriedades das linguagens. Autômatos de estados finitos. Autômatos de pilha.
BIBLIOGRAFIA: 1. MENEZES, P. B., Linguagens Formais e Autômatos, Sagra Luzzato Editores, 2001 (quarta edição).
2. HOPCROFT, J. E., ULLMAN, J. D., Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
3. HOPCROFT, J. E. &. Ullman, J. D., Formal Languages and their Relation toAutomata, Addison-Wesley, 1969.