-
Critério:
-
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ª ou 2ª chamadas da época normal,
no fim do semestre
-
Exame, realizado na época de recurso, agora também no fim do semestre
A componente prática consistirá na resolução de dois problemas,
envolvendo a análise de um enunciado concreto,
o planeamento da resolução e a sua implementação em computador.
Um dos enunciados versará a manipulação de Expressões Regulares e o outro será orientado ao trabalho com Autómatos.
O trabalho será realizado ao longo do semestre, extra-aulas e em grupo de 2 ou 3 alunos,
sendo apresentado ao docente, para ser discutido em frente ao computador, acompanhado dum relatório sucinto,
em datas a combinar com os alunos.
Cada Trabalho Prático será classificado
de acordo com os seguintes escalões:
Escalão
|
Nota
|
Não Entregue
|
0
|
Não Satisfaz
|
7
|
Satisfaz no Mínimo
|
10
|
Satisfaz
|
13
|
Bom
|
16
|
Muito Bom
|
19
|
A nota final será determinada de acordo
com a seguinte fórmula:
NotaFinal = NotaTeorica * 0.60 + NotaPratica * 0.40
Exige-se 8 valores como nota mínima em cada
uma das partes.
-
Material bibliográfico proposto para apoio ao curso:
-
J.A. Saraiva,
"Language Processing (with a Functional Flavour)", Notas Pedagógicas,
DI/UM, 2000
-
J.A. Saraiva,
"Especificação e Processamento de Linguagens", Notas Pedagógicas,
DI/UM, 1995
-
R.N. Moll & M.A. Arbib & A.J. Kfoury, "An Introduction to Formal Language Theory", Springer-Verlag, 1988
-
R. Floid & R. Beigel, "The Language of Machines: an Introduction to Computability and Formal Languages",
Computer Science Press, 1994
-
L.S. Barbosa, "Elementos da Teoria dos Autómatos", Monografia
DI-LSB-96:5:1, DI/UM, 1996
-
J. Carroll & D. Long, "Theory of Finite Automata", Prentice-Hall, 1989
-
N. Jones & C. Gomard & P. Sestoff, "Partial Evaluation and Automatic Program Generation", Prentice-Hall, 1993
-
R. Bird, "Introduction to Functional Programming using Haskell", Prentice-Hall, 1998
-
S. Thompson, "Haskell - the Craft of Functional Programming", Addison-Wesley, 1999
-
S.P.Jones et al, "Report on the Programming Language Haskell 98", 1999
-
J.J. Almeida & J.B. Barros & P.R. Henriques, "O Ambiente de
Desenvolvimento Unix", Notas Pedagógicas, DI/UM, 1990