Processamento de Linguagens I
Ano Lectivo: 05/06 (2º semestre)
Sumário das Aulas Teórico-Práticas (TP1,2-LMCC)
Docentes: Pedro Rangel Henriques (406012) + Daniela da Cruz
Aulas TP de semana de 2006/02/27
Tópicos:
-
Introducao ao desenvolvimento de Filtros de Texto recorrendo a
Geração Automática de um Reconhecedor de Expressões Regulares, baseado num
Autómato Determinista Reactivo, com recurso à Ferramenta Flex.
-
Resolução dos exercícios da Ficha TP n.º 1 (parte 1),
com vista à geração de programas autónomos para Filtragem de Textos.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Escrever Expressões Regulares, na sintaxe concreta do Flex, que definem padrões de modo a reconhecer determinadas strings num texto dado
- Associar Acções Semânticas às Expressões Regulares para efectuar determinado processamento quando as sting são reconhecidas.
Aulas TP de semana de 2006/03/06
Tópicos:
-
Introducao a Análise Léxica:
desenvolvimento de um Analisador Léxico (AL) para reconhecimento de todos os símbolos terminais de uma Linguagem,
dada a respectiva GIC, fazendo a Geração Automática de um Reconhecedor de Expressões Regulares baseado num
Autómato Determinista Reactivo, com recurso à Ferramenta Flex.
-
Resolução dos exercícios da Ficha TP n.º 1 (parte 2),
com vista à geração de Analisadores Léxicos (AL) que funcionam ligados a um Parser externo.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Escrever Expressões Regulares, na sintaxe concreta do Flex, para reconhecer os símbolos terminais de uma Linguagem
- Associar Acções Semânticas às Expressões Regulares para devolver o código do símbolo terminal reconhecido
Aula P de 2006/03/13
Tópicos:
-
Gramáticas: escrita de uma Gramática Independente de Contexto (GIC) face à descrição da linguagem pretendida no contexto de
determinado problema.
-
Análise Sintáctica: Desenvolvimento de um Analisador Sintáctico (Parser)
para reconhecimento e validação estrutural das frases de uma Linguagem,
dada a respectiva GIC, fazendo a sua Geração Automática com recurso à Ferramenta Yacc.
-
Resolução dos exercícios da Ficha TP n.º 2
com vista à geração de um parser LR() que só faz a validação da frase.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Escrever GIC, na sintaxe concreta do Yacc, para gerar automaticamente um Parser LR
- Associar ao Parser gerado pelo Yacc o Analisador Léxico gerado pelo Flex
Aula P de 2006/03/20
Tópicos:
-
Gramáticas: escrita de uma Gramática Independente de Contexto (GIC) face à descrição da linguagem pretendida no contexto de
determinado problema.
-
Análise Sintáctica: Desenvolvimento de um Analisador Sintáctico (Parser)
para reconhecimento e validação estrutural das frases de uma Linguagem,
dada a respectiva GIC, fazendo a sua Geração Automática com recurso à Ferramenta Yacc.
-
Análise Semântica: Desenvolvimento de um Analisador Semântico e Tradutor
para validação semântica das frases de uma Linguagem e seu processamento (transformação),
de acordo com a respectiva Gramática Tradutora (GT),
fazendo a sua Geração Automática com recurso de novo à Ferramenta Yacc.
-
Continuação da resolução dos exercícios da Ficha TP n.º 2
com vista à geração de processadores de linguagens guiados por um parser LR().
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Escrever GIC, na sintaxe concreta do Yacc, para gerar automaticamente um Parser LR
- Associar ao Parser gerado pelo Yacc o Analisador Léxico gerado pelo Flex
- Associar às produções da GIC Acções Semânticas para gerar automaticamente um Processador para a linguagem especificada por essa GIC
Aula P de 2006/03/27
Tópicos:
-
Gramáticas: escrita de uma Gramática Independente de Contexto (GIC) face à descrição da linguagem pretendida no contexto de
determinado problema.
-
Análise Sintáctica: Desenvolvimento de um Analisador Sintáctico (Parser)
para reconhecimento e validação estrutural das frases de uma Linguagem,
dada a respectiva GIC, fazendo a sua Geração Automática com recurso à Ferramenta Yacc.
-
Análise Semântica: Desenvolvimento de um Analisador Semântico e Tradutor
para validação semântica das frases de uma Linguagem e seu processamento (transformação),
de acordo com a respectiva GT, fazendo a sua Geração Automática com recurso de novo à Ferramenta Yacc.
-
Resolução do exercício de consolidação da Ficha TP n.º 3
com vista à geração de um processador de linguagens guiado por um parser LR().
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Escrever GIC, na sintaxe concreta do Yacc, para gerar automaticamente um Parser LR
- Associar ao Parser gerado pelo Yacc o Analisador Léxico gerado pelo Flex
- Associar às produções da GIC Acções Semânticas para gerar automaticamente um Processador para a linguagem especificada por essa GIC
Aula P de 2006/04/03
Tópicos:
-
Análise Sintáctica:
Cálculo (manual) sistemático das Tabelas de Parsing Top-Down (tabela de decisão LL(1)) para uma GIC dada.
-
Resolução dos exercícios da Ficha TP n.º 4
-- 1ª parte, Tabela LL(1).
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Calcular o First dos símbolos T e N e de strings
- Calcular o Follow dos símbolos N
- Calcular o LookAhead das Produções
- Construir a Tabela de Decisão dos Parsers TD a partir do LookAhead das produções
- Identificar Conflitos LL(1) numa GIC dada
Aula P de 2006/04/10
Tópicos:
-
Análise Sintáctica:
Cálculo (manual) sistemático das Tabelas de Parsing Bottom-Up (tabela de decisão LR(0)) para uma GIC dada.
-
Resolução dos exercícios da Ficha TP n.º 4
-- 2ª parte, Tabela LR(0).
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
- Construir o Autómato Determinista de Reconhecimento LR(0)
- Construir a Tabela de Decisão dos Parsers BU a partir da função de transição do Autómato LR(0)
- Identificar Conflitos LR(0) numa GIC dada
- Resolver os Conflitos LR(0) com a estratégia SLR(1)
Aula P de 2006/04/24
Tópicos:
-
Gramáticas: escrita de uma Gramática de Atributos (GA) para especificar formalmente a sintaxe e semântica
(estática e dinâmica) para a linguagem pretendida no contexto de determinado problema.
-
Resolução dos exercícios da Ficha TP n.º 5
para escolha dos atributos, escrita das regras de cálculo e formalização das condições de contexto.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
Aula P de 2006/05/02
Tópicos:
-
Gramáticas: escrita de uma Gramática de Atributos (GA) para especificar formalmente a sintaxe e semântica
(estática e dinâmica) para a linguagem pretendida no contexto de determinado problema.
-
Continuação da Resolução dos exercícios da Ficha TP n.º 5
para escolha dos atributos, escrita das regras de cálculo e formalização das condições de contexto.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
Aula P de 2006/05/08
Tópicos:
-
Gramáticas: escrita de uma Gramática de Atributos (GA) para especificar formalmente a sintaxe e semântica
(estática e dinâmica) para a linguagem pretendida no contexto de determinado problema.
-
Continuação da Resolução dos exercícios da Ficha TP n.º 5
para escolha dos atributos, escrita das regras de cálculo e formalização das condições de contexto.
-
Introdução ao Gerador de Compiladores baseado em GAs LISA para implementação dos problemas da Ficha TP nº 5.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
Aula P de 2006/05/22
Tópicos:
-
Gramáticas: escrita de uma Gramática de Atributos (GA) para especificar formalmente a sintaxe e semântica
(estática e dinâmica) para a linguagem pretendida no contexto de determinado problema.
-
Continuação da Resolução dos exercícios da Ficha TP n.º 5
para escolha dos atributos, escrita das regras de cálculo e formalização das condições de contexto.
-
Utilização do Gerador de Compiladores baseado em GAs LISA para implementação dos problemas da Ficha TP nº 5.
-
Introdução à Geração de Código Assembly para a Máquina Virtual VM para implementação dos problemas da Ficha TP nº 5.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
Aula P de 2006/05/29
Tópicos:
-
Gramáticas: escrita de uma Gramática de Atributos (GA) para especificar formalmente a sintaxe e semântica
(estática e dinâmica) para a linguagem pretendida no contexto de determinado problema.
-
Conclusão da Resolução dos exercícios da Ficha TP n.º 5
para escolha dos atributos, escrita das regras de cálculo e formalização das condições de contexto.
-
Utilização do Gerador de Compiladores baseado em GAs LISA para implementação dos problemas da Ficha TP nº 5.
-
Geração de Código Assembly para a Máquina Virtual VM para implementação dos problemas da Ficha TP nº 5.
Resumo:
No final desta aula prática, os alunos devem ter ficado a saber:
author: prh@di.uminho.pt;
Last modified: 28 de Maio de 2006