Aula T de 2003/09/15

Tópicos:

• Contextualização de MP3 no âmbito dos Paradigmas e Métodos de Programação dos currículos do DI/UM;
• Apresentação da disciplina:
  • Equipe docente e contactos;
  • Modo de funcionamento das aulas teóricas, teórico-práticas e trabalho laboratorial extra aulas (apoio fora das aulas);
  • Objectivos e Programa;
  • Bibliografia;
  • Avaliação: componentes e fórmula.
• Breve introdução aos Sistemas de Produção

Tópicos:

• Não houve aula: faltei para ir a uma reunião do projecto FASTI

Aula T de 2003/09/22

Tópicos:

• Introdução aos Sistemas de Produção: base de factos, base de regras e motor de produção
• Condição-Acção; Padrão e Concordância de um texto com um padrão; Expressões Regulares
• Expressões Regulares: definição formal; frases derivadas de uma ER; escrita da ER que modela um problema

Tópicos:

• Expressões Regulares--exercícios sobre: frases derivadas de uma ER; escrita da ER que modela um problema; comparação entre linguagens e simplificação de ER's
• Expressões Regulares: concordância de uma frase com um padrão definido por uma ER--a função "concorda()"

Aula T de 2003/09/29

Tópicos:

• Expressões Regulares: concordância de uma frase com um padrão definido por uma ER--exemplos
• Sistemas de Produção: o algoritmo base de um Motor de Produção; variantes com e sem realimentação; "forward-chaining" e "backward-chaining"--comparação com os "theorem-prover" como o Prolog
• Sistemas de Produção baseados em ERs: o caso real do Gerador de Programas Lex; estrutura de uma especificação e filosofia geral do sistema

Tópicos:

• Geradores de Programas: o exemplo do Lex e o caso geral -- o que é (o que faz) um GP, quando se pode construir um, qual a filosofia geral de um GP;
• Exemplos reais de situações do dia a dia em que é comum recorrer-se a Sistemas de Produção baseados em ERs: os Filtros de Texto; os Analisadores Léxicos e Morfológicos; os Processadores de XML.

Aula T de 2003/10/06

Tópicos:

• Procura de uma solução eficiente para verificar a concordância de uma frase com um padrão descrito por uma ER: uso de um Grafo que guie de forma determinista as possíveis transições em cada momento do reconhecimento
• Introdução informal, "bottom-up", ao conceito de Autómato Determinista e à possibilidade de converter uma ER num AD

Tópicos:

• As noções de estado, evento e transição; eventos e símbolos terminais; os conceitos de Erro e de Transição Espontânea
• Introdução formal ao conceito de Autómato Determinista e Não-Determinista

Aula T de 2003/10/13

Tópicos:

• Introdução formal ao conceito de Autómato Determinista: noção de linguagem gerada pelo AD e condição para uma frase pertencer à linguagem gerada pelo AD -- reconhecimento baseado nas transições ao longo de um caminho.

Tópicos:

• Não houve aula: faltei para participar no Simpósio Doutoral do DI, pelo qual sou co-responsável

Aula T de 2003/10/20

Tópicos:

• Introdução formal ao conceito de Autómato Determinista Reactivo; exemplos
• Desenvolvimento de Programas Declarativos e Imperativos para reconhecimento de frases, baseados em Autómatos Deterministas (reactivos): implementações alternativas da Função de Transição, ou de Reacção

Tópicos:

• Desenvolvimento de Programas Declarativos e Imperativos para reconhecimento de frases, baseados em Autómatos Deterministas (reactivos): implementação do "Motor de Produção" (ciclo de reconhecimento e reacção)

Aula T de 2003/10/27

Tópicos:

• As 5 Regras de Conversão sistemática de Expressões Regulares em Autómatos Finitos
• Introdução formal ao conceito de Autómato Não-Determinista
• A função Epsilon-Fecho: o conceito; introdução informal via exemplo

Tópicos:

• Discussão de questões diversas associadas ao 1º Trabalho Prático (sistema de entrega, ficheiros de teste e avaliação; considerações várias sobre o Flex e os sistemas de codificação de caracteres; estratégias gerais; etc.)

Aula T de 2003/11/03

Tópicos:

• A função Epsilon-Fecho: definição formal e exemplos
• Regras para Conversão sistemática de Autómatos Não-Deterministas em Autómatos Deterministas

Tópicos:

• Conversão sistemática de Autómatos Não-Deterministas em Autómatos Deterministas: conclusão com um exemplo de aplicação
• Revisão geral dos conhecimentos sobre Autómatos, através da resposta a perguntas de um exame antigo

Aula T de 2003/11/10

Tópicos:

• Gramáticas Independentes de Contexto: motivação para o seu aparecimento; definição formal; noção de frase derivada e linguagem gerada
• Gramáticas Regulares, um caso particular da GICs: definição formal e limitações

Tópicos:

• Gramáticas Independentes de Contexto: desenvolvimento cuidado, passo a passo, da GIC para resolver um determinado problema concreto, de modo a consolidar todos os conceitos introduzidos na aula anterior e a introduzir o problema de desenhar uma gramática (GIC minimalista e açúcar sintáctico)

Aula T de 2003/11/17

Tópicos:

• Gramáticas Independentes de Contexto: noção de Árvore de Derivação; o processo de obtenção de uma frase válida

Tópicos:

• Gramáticas Independentes de Contexto: Árvore de Derivação e o processo de obtenção de uma frase válida; Linguagem Ambígua; Gramática Abstracta versus Concreta; Sintaxe versus Semântica; Diferentes formas de exprimir a recursividade em produções gramaticais

Aula T de 2003/11/24

Tópicos:

• Gramáticas Independentes de Contexto: Reconhecimento usando um Parser Recursivo-Descendente; reconhecedores de símbolos Não-Terminais, um exemplo

Tópicos:

• Gramáticas Independentes de Contexto: reconhecedores de símbolos Terminais -- o Analisador Léxico, um exemplo; Sistematização do processo de escrita de um Parser Recursivo-Descendente a partir da GIC dada; introdução informal, mas precisa, ao conceito de Lookahead de uma produção, First e Follow.

Aula T de 2003/12/01

Feriado Nacional

Tópicos:

• Gramáticas Independentes de Contexto: Sistematização do processo de escrita na linguagem C de um Parser Recursivo-Descendente a partir da GIC dada, através do Exemplo das "SExpression do LISP"; implementação do Analisador Léxico usando o gerador FLex

Aula T de 2003/12/08

Feriado Nacional

Tópicos:

• Gramáticas Independentes de Contexto: Sistematização do processo de escrita na linguagem C de um Parser Recursivo-Descendente a partir da GIC dada, através do Exemplo das "SExpression do LISP" -- reconhecimento dos Não-Terminais; reforço do conceito de Lookahead de uma produção, First e Follow

Aula T de 2003/12/15

Tópicos:

• Cálculo Parcial de Programas (ou "Partial Evaluation"): introdução ao conceito discutindo a especialização versus a generalização; exemplos gerais e no âmbito dos reconhecedores de linguagens (especialização dos reconhecedores baseados em Autómatos); os Geradores de Programas como caso concreto de Calculadores Parciais.

Tópicos:

• Conclusão dos exemplosda aula anterior;
• Mais exemplos de escrita, na linguagem C, de um Parser Recursivo-Descendente para um dada linguagem a partir da respectiva GIC; reforço dos conceitos básicos envolvidos

author: prh@di.uminho.pt; 
Last modified: 23 de Dezembro de 2003