Sumários de Métodos de Programação III (LESI & MCC)

SEMANA 1

• Teórica, MCC e LESI, Segunda-Feira 25/09/00 11h00-12h00

Não houve aula: Reunião do Algoritmi.
 
• Teórica, MCC e LESI, Quinta-Feira 28/09/00 10h00-11h00

Apresentaçã da disciplina.
 
 
• Teórico-Prática, LESI, Segunda-Feira 25/09/00 14h00-16h00

Não houve aula teórico-prática.
 
• Teórico-Prática, LESI, Terça-Feira 26/09/00 09h00-11h00

Não houve aula teórico-prática.
 
• Teórico-Prática, MCC, Terça-Feira 26/09/00 09h00-11h00

Não houve aula teórico-prática.
 
• Teórico-Prática, MCC, Quarta-Feira 27/09/00 11h00-13h00

Não houve aula teórico-prática.
 
• Teórico-Prática, LESI, Quinta-Feira 28/09/00 8h00-10h00

Não houve aula teórico-prática.

Teórica, MCC e LESI, Segunda-Feira 02/10/00 11h00-12h00

Introdução do conceito de Linguagem formal, linguagens regulares e operações regulares.
Definição de algumas linguagens regulares.
 

Teórica, MCC e LESI, Quinta-Feira 05/20/00 10h00-11h00

Não houve aula: Feriado nacional.

• Teórico-Prática, LESI, Segunda-Feira 02/10/00 14h00-16h00

Conceito de Literate Programming. Apresentação de Literate Haskell.
Resolução de exercícios sobre linguagens regulares.
 
• Teórico-Prática, LESI, Terça-Feira 03/10/00 09h00-11h00

Conceito de Literate Programming. Apresentação de Literate Haskell.
Resolução de exercícios sobre linguagens regulares.
 
• Teórico-Prática, MCC, Terça-Feira 03/10/00 09h00-11h00

Conceito de Literate Programming. Apresentação de Literate Haskell.
Resolução de exercícios sobre linguagens regulares.
 
• Teórico-Prática, MCC, Quarta-Feira 04/10/00 11h00-13h00

Conceito de Literate Programming. Apresentação de Literate Haskell.
Resolução de exercícios sobre linguagens regulares.
 
• Teórico-Prática, LESI, Quinta-Feira 05/10/00 8h00-10h00

Não houve aula: Feriado nacional.

• Teórica, MCC e LESI, Segunda-Feira 09/10/00 11h00-12h00

Expressões Regulares. Linguagem definida por expressões regulares.
Expressões Regulares em Haskell.
 
• Teórica, MCC e LESI, Quinta-Feira 12/10/00 10h00-11h00

Expressões Regulares: Algoritmo de concordância de expressões regulares.
Definição da função Haskell matches para a concordância de expressões regulares.
 
 
• Teórico-Prática, LESI, Segunda-Feira 09/10/00 14h00-16h00

Resolução da ficha teórico-prática nº1: Definição de Expressões Regulares, definição de linguagens regulares com expressões regulares  e sua definição em Haskell.
 
• Teórico-Prática, LESI, Terça-Feira 10/10/00 09h00-11h00

Resolução da ficha teórico-prática nº1: Definição de Expressões Regulares, definição de linguagens regulares com expressões regulares  e sua definição em Haskell.
 
• Teórico-Prática, MCC, Terça-Feira 10/10/00 09h00-11h00

Resolução da ficha teórico-prática nº1: Definição de Expressões Regulares, definição de linguagens regulares com expressões regulares  e sua definição em Haskell.
 
• Teórico-Prática, MCC, Quarta-Feira 11/10/00 11h00-13h00

Resolução da ficha teórico-prática nº1: Definição de Expressões Regulares, definição de linguagens regulares com expressões regulares  e sua definição em Haskell.
 
• Teórico-Prática, LESI, Quinta-Feira 12/10/00 8h00-10h00

Resolução da ficha teórico-prática nº1: Definição de Expressões Regulares, definição de linguagens regulares com expressões regulares  e sua definição em Haskell.

Teórica, MCC e LESI, Segunda-Feira 16/10/00 11h00-12h00

Introdução aos Autómatos Finitos. Definição formal de: Autómato Finito Determinista, aceitação de uma frase e de linguagem gerada por um autómato. Representação gráfica de autómatos finitos.
Definição em Haskell do tipo de dados Dfa para modelar autómatos finitos deterministas em Haskell. Definição da função dfawalk.
 

Teórica, MCC e LESI, Quinta-Feira 19/10/00 10h00-11h00

Aceitação de uma frase por um autómato modelado em Haskell. Definição da função dfaaccept.
Definição em Haskell de um autómato finito determinista e do reconhecedor da linguagem por ele definida usando a função dfaaccept.

 
• Teórico-Prática, LESI, Segunda-Feira 16/10/00 14h00-16h00

Resolução da ficha teórico-prática nº2: A álgebra de expressões regulares, simplificação de expressões regulares, concordância de expressões regulares usando a função matches, catamorfismo sobre o tipo de dados RegExp.
 
• Teórico-Prática, LESI, Terça-Feira 17/10/00 09h00-11h00

Resolução da ficha teórico-prática nº2: A álgebra de expressões regulares, simplificação de expressões regulares, concordância de expressões regulares usando a função matches, catamorfismo sobre o tipo de dados RegExp.
 
• Teórico-Prática, MCC, Terça-Feira 17/10/00 09h00-11h00

Resolução da ficha teórico-prática nº2: A álgebra de expressões regulares, simplificação de expressões regulares, concordância de expressões regulares usando a função matches, catamorfismo sobre o tipo de dados RegExp.
 
• Teórico-Prática, MCC, Quarta-Feira 18/10/00 11h00-13h00

Resolução da ficha teórico-prática nº2: A álgebra de expressões regulares, simplificação de expressões regulares, concordância de expressões regulares usando a função matches, catamorfismo sobre o tipo de dados RegExp.
 
• Teórico-Prática, LESI, Quinta-Feira 19/10/00 8h00-10h00

Resolução da ficha teórico-prática nº2: A álgebra de expressões regulares, simplificação de expressões regulares, concordância de expressões regulares usando a função matches, Catamorfismo sobre o tipo de dados RegExp.

 

Teórica, MCC e LESI, Segunda-Feira 23/10/00 11h00-12h00

Introdução aos Autómatos Finitos Não-Deterministas (NDFA). Definição formal de NDFA, aceitação de uma frase e linguagem gerada por um NDFA.
Definição do tipo de dados em Haskell para modelar NDFA.
 

Teórica, MCC e LESI, Quinta-Feira 26/10/00 10h00-11h00

Aceitação de frases  por um NDFA: definição informal do seu algoritmo. Definição formal da função fecho de estados.  Análise de um exemplo.
 
 

Teórico-Prática, LESI, Segunda-Feira 23/10/00 14h00-16h00

Resolução da ficha teórico-prática nº3: Autómatos Finitos Deterministas.
 

Teórico-Prática, LESI, Terça-Feira 24/10/00 09h00-11h00

Resolução da ficha teórico-prática nº3: Autómatos Finitos Deterministas.
 

Teórico-Prática, MCC, Terça-Feira 24/10/00 09h00-11h00

Resolução da ficha teórico-prática nº3: Autómatos Finitos Deterministas.
 

Teórico-Prática, MCC, Quarta-Feira 25/10/00 11h00-13h00

Resolução da ficha teórico-prática nº3: Autómatos Finitos Deterministas.
 

Teórico-Prática, LESI, Quinta-Feira 26/10/00 8h00-10h00

Resolução da ficha teórico-prática nº3: Autómatos Finitos Deterministas.

• Teórica, MCC e LESI, Segunda-Feira 30/10/00 11h00-12h00

Análise da função fecho de estados. Definição desta função em Haskell.
Análise de um exemplo.
 
• Teórica, MCC e LESI, Quinta-Feira 02/11/00 10h00-11h00

Conversão de Autómatos Finitos Não-Deterministas em Deterministas.
Análise de um exemplo.
 
 
• Teórico-Prática, LESI, Segunda-Feira 30/10/00 14h00-16h00

Resolução da ficha teórico-prática nº4: Autómatos Finitos Não-Deterministas.
 
• Teórico-Prática, LESI, Terça-Feira 31/10/00 09h00-11h00

Resolução da ficha teórico-prática nº4: Autómatos Finitos Não-Deterministas.
 
• Teórico-Prática, MCC, Terça-Feira 31/10/00 09h00-11h00

Resolução da ficha teórico-prática nº4: Autómatos Finitos Não-Deterministas.
 
• Teórico-Prática, MCC, Quarta-Feira 01/11/00 11h00-13h00

Não houve aula teórico-prática: Feriado de 1 de Novembro.
 
• Teórico-Prática, LESI, Quinta-Feira 02/11/00 08h00-10h00

Resolução da ficha teórico-prática nº4: Autómatos Finitos Não-Deterministas.

• Teórica, MCC e LESI, Segunda-Feira 06/11/00 11h00-12h00

Conversão de Autómatos Finitos Não-Deterministas em Deterministas: Continuação da aula anterior.
Apresentação do Trabalho Prático nº1.
 
• Teórica, MCC e LESI, Quinta-Feira 09/11/00 10h00-11h00

Conversão de Expressões Regulares em Autómatos Finitos Não-Deterministas.
 
 
• Teórico-Prática, LESI, Segunda-Feira 06/11/00 14h00-16h00

Resolução da ficha teórico-prática nº5: Conversão de Autómatos Finitos Não-Deterministas em Deterministas.
 
• Teórico-Prática, LESI, Terça-Feira 07/11/00 09h00-11h00

Resolução da ficha teórico-prática nº5: Conversão de Autómatos Finitos Não-Deterministas em Deterministas.
 
• Teórico-Prática, MCC, Terça-Feira 07/11/00 09h00-11h00

Resolução da ficha teórico-prática nº5: Conversão de Autómatos Finitos Não-Deterministas em Deterministas.
 
• Teórico-Prática, MCC, Quarta-Feira 08/11/00 11h00-13h00

Não houve aula. (Aula extra em 15/11/00).
 
• Teórico-Prática, LESI, Quinta-Feira 09/11/00 8h00-10h00

Resolução da ficha teórico-prática nº5: Conversão de Autómatos Finitos Não-Deterministas em Deterministas.

• Teórica, MCC e LESI, Segunda-Feira 13/11/00 11h00-12h00

Conceito de Cálculo Parcial de Funções e Especialização de Funções.
Cálculo Parcial de Autómatos Finitos.
Exemplo do cálculo parcial de um autómato determinista.
 
• Teórica, MCC e LESI, Quinta-Feira 16/11/00 10h00-11h00

Cálculo parcial de autómatos finitos não-deterministas. Transformação de um autómato finito não-determinista em determinista via cálculo parcial.
Análise da performance dos programs residuais: O reconhecedor de números reais.
 
 
• Teórico-Prática, LESI, Segunda-Feira 13/11/00 14h00-16h00

Resolução da ficha teórico-prática nº6: Conversão de Expressões Regulares em AFNDs e Cálculo Parcial de Autómatos.
 
• Teórico-Prática, LESI, Terça-Feira 14/11/00 09h00-11h00

Resolução da ficha teórico-prática nº6: Conversão de Expressões Regulares em AFNDs e Cálculo Parcial de Autómatos.
 
• Teórico-Prática, MCC, Terça-Feira 14/11/00 09h00-11h00

Resolução da ficha teórico-prática nº6: Conversão de Expressões Regulares em AFNDs e Cálculo Parcial de Autómatos.
 
• Teórico-Prática, MCC, Quarta-Feira 15/11/00 11h00-13h00

Resolução da ficha teórico-prática nº4: Autómatos Finitos Não-Deterministas.
 
• Teórico-Prática AULA EXTRA, MCC, Quarta-Feira 15/11/00 14h00-17h00

Reposição da aula de 8/11/00 e o feriado de 1 de Novembro.
Resolução da ficha teórico-prática nº5 e 6: Conversão de Autómatos Finitos Não-Deterministas em Deterministas e Conversão de Expressões Regulars em AFNDs e Cálculo Parcial de Autómatos.
 
• Teórico-Prática, LESI, Quinta-Feira 16/11/00 8h00-10h00

Resolução da ficha teórico-prática nº6: Conversão de Expressões Regulars em AFNDs e Cálculo Parcial de Autómatos.

• Teórica, MCC e LESI, Segunda-Feira 20/11/00 11h00-12h00

Linguagens não regulares. Introdução às gramáticas independentes do contexto.
Definição formal de gramática independente de contexto e análise de um exemplo.
 
• Teórica, MCC e LESI, Quinta-Feira 23/11/00 10h00-11h00

Gramáticas Independentes do Contexto: Derivação de frases de uma gramática, linguagem definida por uma gramática, sequência de derivação e árvore de derivação.
Análise de um exemplo.
 
 
• Teórico-Prática, LESI, Segunda-Feira 20/11/00 14h00-16h00

Análise de um caso de cálculo parcial de autómatos finitos não-deterministas.
Breve introdução ao LaTeX.
• Teórico-Prática, LESI, Terça-Feira 21/11/00 09h00-11h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.
Breve introdução ao LaTeX.
• Teórico-Prática, MCC, Terça-Feira 21/11/00 09h00-11h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.
Breve introdução ao LaTeX.
• Teórico-Prática, MCC, Quarta-Feira 22/11/00 11h00-13h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.
Breve introdução ao LaTeX.
• Teórico-Prática, LESI, Quinta-Feira 23/11/00 8h00-10h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.
Breve introdução ao LaTeX.

Teórica, MCC e LESI, Segunda-Feira 27/11/00 11h00-12h00

Gramáticas Independentes do Contexto: Ambiguidade, recursividade (produções recursivas à esquerda e à direita). Eliminação da recursividade à esquerda.
Gramáticas concretas e abstractas. Análise de um exemplo.
 

Teórica, MCC e LESI, Quinta-Feira 30/11/00 10h00-11h00

Gramáticas Abstractas. Transformação de Gramáticas Abstractas em tipos de dados indutivos em Haskell.
Análise da gramática de Expressões Aritméticas.
 

Teórico-Prática, LESI, Segunda-Feira 27/11/00 14h00-16h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.

Teórico-Prática, LESI, Terça-Feira 28/11/00 09h00-11h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.

Teórico-Prática, MCC, Terça-Feira 28/11/00 09h00-11h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.

Teórico-Prática, MCC, Quarta-Feira 29/11/00 11h00-13h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.

Teórico-Prática, LESI, Quinta-Feira 30/11/00 8h00-10h00

Resolução da ficha teórico-prática nº7: Gramáticas Independentes do Contexto.

SEMANA 11
 

• Teórica, MCC e LESI, Segunda-Feira 4/12/00 11h00-12h00

Introdução aos combinadores de parsing. O tipo Parser.
 
• Teórica, MCC e LESI, Quinta-Feira 7/12/00 10h00-11h00

Funções básicas de Parsing: Os combinadores symbol, satisfy, token e succeed .
 
 
• Teórico-Prática, LESI, Segunda-Feira 4/12/00 14h00-16h00

Resolução da ficha teórico-prática nº8: Gramáticas Independentes do Contexto em Haskell.
• Teórico-Prática, LESI, Terça-Feira 5/12/00 09h00-11h00

Resolução da ficha teórico-prática nº8: Gramáticas Independentes do Contexto em Haskell.
• Teórico-Prática, MCC, Terça-Feira 5/12/00 09h00-11h00

Resolução da ficha teórico-prática nº8: Gramáticas Independentes do Contexto em Haskell.
• Teórico-Prática, MCC, Quarta-Feira 6/12/00 11h00-13h00

Resolução da ficha teórico-prática nº8: Gramáticas Independentes do Contexto em Haskell.
• Teórico-Prática, LESI, Quinta-Feira 7/12/00 8h00-10h00

Resolução da ficha teórico-prática nº8: Gramáticas Independentes do Contexto em Haskell.

 
• Teórica, MCC e LESI, Segunda-Feira 11/12/00 11h00-12h00

Combinadores de Parsing: Os combinadores "ou" e "sequência" do formalism  BNF.
Associação de funções semânticas aos combinadores de Parsing.
 
 
• Teórica, MCC e LESI, Quinta-Feira 14/12/00 10h00-11h00

 

 

• Teórico-Prática, LESI, Segunda-Feira 11/12/00 14h00-16h00

Resolução da ficha teórico-prática nº9: Combinadores de Parsing.
• Teórico-Prática, LESI, Terça-Feira 12/12/00 09h00-11h00

Resolução da ficha teórico-prática nº9: Combinadores de Parsing.
• Teórico-Prática, MCC, Terça-Feira 12/12/00 09h00-11h00

Resolução da ficha teórico-prática nº9: Combinadores de Parsing.
• Teórico-Prática, MCC, Quarta-Feira 13/12/00 11h00-13h00

Resolução da ficha teórico-prática nº9: Combinadores de Parsing.
• Teórico-Prática, LESI, Quinta-Feira 14/12/00 8h00-10h00

Resolução da ficha teórico-prática nº9: Combinadores de Parsing.

 
• Teórica, MCC e LESI, Segunda-Feira 18/12/00 11h00-12h00

 
• Teórica, MCC e LESI, Quinta-Feira 21/12/00 10h00-11h00

 
• Teórico-Prática, LESI, Segunda-Feira 18/12/00 14h00-16h00

Resolução da ficha teórico-prática nº11:
 
• Teórico-Prática, LESI, Terça-Feira 19/12/00 09h00-11h00

Resolução da ficha teórico-prática nº11:
• Teórico-Prática, MCC, Terça-Feira 19/12/00 09h00-11h00

Resolução da ficha teórico-prática nº11:
• Teórico-Prática, MCC, Quarta-Feira 20/12/00 11h00-13h00

Resolução da ficha teórico-prática nº11:
• Teórico-Prática, LESI, Quinta-Feira 21/12/00 8h00-10h00

Resolução da ficha teórico-prática nº11: