|
|
|
|
|
CÓDIGO NOME CARGA
HORÁRIA SEMANAL
N.º DE CARGA HORÁRIA
TEÓRICA
PRÁTICA CREDITOS
GLOBAL
|
|
Teoria
e Implementaçào de Linguagens Computacionais |
3 |
2 |
04 |
75 |
PRÉ – REQUISITOS
|
|
EMENTA
|
q
Introdução à Teoria de Linguagens e Máquinas q
Teoria dos Autômatos e das Linguagens Formais q
Teoria das Funções Recursivas q
Introdução à Implementação de Linguagens q
Tradução de Linguagens q
Sistema de execução q
Geração de código q
Tópicos avançados em implementação de
linguagens q
Teoria de linguagens e máquinas |
CONTEÚDO PROGRAMÁTICO
|
q
Alfabetos
e linguagens q
Autômatos
finitos, expressões e linguagens regulares q
Autômatos
com pilha e gramáticas livre do contexto q
Hierarquia
de Chomsky e gramáticas dependente do contexto
q
Máquina
de Turing
q
Funções
recursivas q
Conjuntos
recursivamente enumeráveis q
Tese
de Church q
Compiladores
e interpretadores q
Estrutura
de um compilador q
Estrutura
de um interpretador q
Implementação
de um compilador brinquedo q
Análise
Léxica q
Análise
Sintática q
Análise
Semântica o
Tradução dirigida pela sintaxe o
Gramática de atributos o
Verificação
de tipo q
Interpretação
q
Coleta
de lixo q
Geração
de código intermediário q
Geração
de código executável q
Otimização
de código q
Compilação
de linguagens orientado a objetos q
Compilação
de linguagens funcionais q
Compilação
de linguagens lógicos q
Conceitos
básicos: alfabetas, strings, linguagens, fecho q
Linguagens
regulares e autômato finito e q
Linguagens
livres do contexto e autômato com pilha e q
Funções
recursivas q
Projetos q
Avaliação |
BIBLIOGRAFIA
BÁSICA
|
q
Programming Language Processors in Java: Compilers and Interpreters, D.A. Watt, 2000, Prentice-Hall q
Introduction to theory of computation, |
 |