Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
a)Modifique o algoritmo de Strassen, produzindo um algoritmo concorrente usando
mensagens assíncronas em pseudo-código, e prove que ele está correto.
b)Implemente o algoritmo que você desenvolveu no item anterior.
c)Faça agora uma versão síncrona do algoritmo de Strassen, e descreva-o usando o
CSP.
d)Prove que o algoritmo do item anterior está correto.
e)Implemente o algoritmo do item (c) em alguma linguagem que suporte passagem
síncrona de mensagens (ou usando uma biblioteca que permita fazê-lo).
f)Modifique uma das implementações para que ela funcione com matrizes onde as
entradas podem ser simbólicas, como esta:
⎡
⎤
x 2x a
⎢
⎥
⎣4.0 2.5 3b⎦
−x 0.0 a
que poderia ser lida de um arquivo como este:
x (* 2 x) a
4.0 2.5 (* 3 b)
(* -1 x) 0.0 (* a 2)
Nas entradas da matriz você pode permitir apenas +, -, * e /.
O resultado evidentemente será outra matriz no mesmo formato de entrada, misturando
símbolos e números. Por exemplo, se
[ ] [ ]
x 2x 1 2
A =
e B =
4.0 2.5 −y 0
então
[
]
x − 2xy 2x
AB =
4 − 2.5y 8
A matriz AB deve ser representada da mesma forma que os arquivos de entrada
(cada posição é uma lista que poderíamos calcular usando eval):
(- x (* 2 (* x y))) (* 2 x)
(- 4 (* 2.5 y)) 8
Não se preocupe em fatorar ou simplificar as expressões, exceto quando houver
formas onde todos os elementos são números.
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
277