Métodos de Programação III
João Saraiva
jas@di.uminho.pt
Matemática e Ciências da Computação Engenharia de Sistemas e Informática 2000/2001 Novidades e Avisos (03-09-01) Enúnciados dos Exame de Janeiro:
1ª Chamada , 2ª Chamada
(20-02-01) Notas do Exame e Trabalhos Práticos:
NOTAS.
(19-01-01) Apresentação dos Trabalhos Práticos:
Data: 5 e 6 de FevereiroOs grupos devem inscrever-se na D. Rosa (DI) A Apresentação dos trabalhos será feita em frente ao computador (a correr linux).
Todos os elementos do grupo têm de estar presentes
Os grupos devem trazer os trabalhos em disquete
(Cópias do exame da 1ª Chamada estão disponiveis na D. Rosa.)(09-01-01) Entrega do Trabalho Prático nº 2: A Apresentação do trabalho será feita em frente ao computador.
Data: Fim de Janeiro (dia a anunciar brevemente)
Não é necessário enviar o trabalho por email
(15-12-00)Ficha Teórico-Prática nº 10:
ficha10.lhs.
(14-12-00) Aula Teórica: BNF em HASKELL
listas.ps.
(11-12-00)Trabalho Prático nº2:
tp2.lhs.
(09-12-00)Ficha Teórico-Prática nº 9:
ficha9.lhs.
(06-12-00) Trabalho Práticos Recebidos:
TPRec.html
(04-12-00)Ficha Teórico-Prática nº 8:
ficha8.lhs.
(24-11-00)Ficha Teórico-Prática nº 7:
ficha7.tex.
(09-11-00)Ficha Teórico-Prática nº 6:
ficha6.lhs.
(03-11-00)Ficha Teórico-Prática nº 5:
ficha5.lhs.
(02-11-00)Trabalho Prático nº1:
tp1.lhs.
(30-10-00)Ficha Teórico-Prática nº 4:
ficha4.lhs.
(19-10-00)Ficha Teórico-Prática nº 3:
ficha3.lhs.
Módulo de Expressões Regulares em C:
RegExp.c
(Isto é, Exp. Reg. em 120 linhas de
código C, em vez das 10 de Haskell)
(13-10-00)Ficha Teórico-Prática nº 2:
ficha2.lhs.
(06-10-00)Ficha Teórico-Prática nº 1:
ficha1.lhs.
(28-09-00)A página da disciplina está no "ar". João Saraiva
Teóricas: Teórico-Práticas: Dúvidas: José Carlos Ramalho
Teórico-Práticas: Dúvidas:
Exposição da matéria fundamental -- motivação, conceitos, definições,
métodos e justificações -- a nível das aulas teóricas. Resolução de
exercícios de consolidação, a nível das aulas teórico-práticas, no
quadro e no computador. Realização, no computador, extra aulas de
trabalhos concretos de aplicação, recorrendo à linguagem Haskell.
É objectivo deste curso levar os alunos a:
Aprofundar e interiorizar os conceitos fundamentais e os
métodos de programação em larga escala e a reutilização de programas,
dando especial relevo ao paradigma funcional. Aprender o conceito de Autómato Finito e a teoria
associada, bem como a sua aplicação à simulação de Sistemas de
Controlo e à especificação e reconhecimento de Linguagens
Regulares. Compreender os conceitos de cálculo parcial ou
especialização de programas
Aprender o conceito de gramática e como descrever estruturas de
linguagens através de gramáticas. Compreender o conceito: embeber linguagens de dominio
especifico (eg, gramáticas) numa linguagem de dominio geral (eg,
Haskell). Reforçar a aptidão dos alunos para desenvolver programas
correctos e eficientes (quer no paradigma funcional quer em qualquer
outro paradigma de programação).
A Avaliação tem uma componente teórica e uma componente
prática, ambas obrigatórias.
De acordo com o regulamento actualmente em vigor na UM, a nota
teórica será obtida através da realização de 1 prova individual
escrita. Essa prova tem as instâncias a seguir indicadas (um aluno
só poderá fazer melhoria na época de recurso):
Exame, realizado na 1ª chamada da época normal, no fim do 1º
semestre Exame, realizado na 2ª chamada da época normal, no fim do 1º
semestre Exame, realizado na época de recurso
A componente prática seré formada por 2 trabalhos para
realização em grupo, sendo entregues acompanhados de um
relatório sucinto e discutidos em frente ao computador:
A nota prática será a média aritmética das classificações obtidas nos
2 trabalhos avaliados. A nota final será determinada de acordo com a
seguinte fórmula:
NotaFinal = NotaTeorica * 0.50 + (NotaPratica - Delta / 2) * 0.50
sendo Delta = | NT - NP |
Exige-se 8 valores como nota mínima em cada parte.
Programação baseada em Transições de Estado:
Noções básicas Autómatos Finitos
Autómatos não-deterministas Autómatos deterministas Cálculo Parcial aplicado a Autómatos Deterministas Conversão de ANDs em ADs Conversão de AFND am AFD através de cálculo parcial Autómatos reactivos Aplicação dos autómatos à simulação de Sistemas de Controlo Aplicação dos autómatos ao reconhecimento de Linguagens Regulares Definições; expressões regulares; gramáticas regulares Programação baseada em Gramáticas:
Conceito e exemplos Estrutura concreta e abstracta das linguagens formais Desenvolvimento de Parsers baseados em Combinadores
para Linguagens Formais. Programação baseada em multiplas travessias
Conceitos e exemplos Programas Circulares Catamorfismos Deflorestação Programação com atributos "profiling" de programas
Engenharia de Sistemas e Informática
Matemática e Ciências da Computação Trabalho Prático nº1:
tp1.lhs
Trabalho Prático nº2:
tp2.lhs
Language Processing (with a Functional Flavour) João Saraiva 2000 DI/UM 1ª Elementos da Teoria dos Autómatos L.S. Barbosa 1996 DI/UM http://www.di.uminho.pt/~jas/mp3/nlp.ps.gz Especificação e Processamento de Linguagens João Saraiva 1995 DI/UM 1ª http://www.di.uminho.pt/~jas/mp3/esp_proc_ling.ps.gz http://www.di.uminho.pt/~jas/TextosPedag/espProcLing/espprocling.html The Language of Machines: An Introduction to Computability and Formal Languages R. Floid and R. Beigel Computer Science Press 1994 Report on the Programming Language Haskell 98 S.P.Jones, et al 1999 http://www.haskell.org/onlinereport http://www.haskell.org/definition/haskell98-report.ps.gz http://www.haskell.org/definition/haskell98-report.pdf Introduction to Functional Programming using Haskell R. Bird Prentice Hall 1998 Haskell - The Craft of Functional Programming S. Thompson Addison-Wesley 1999 2ª Partial Evaluation and Automatic Program Generation N. Jones, C. Gomard and P. Sestoff Prentice Hall 1993 Fundamentos de Estruturas de Dados E. Horowitz and S. Sahni Editora Campus 1984 Theory of Finite Automata J. Carroll and D. Long Prentice Hall 1989