Аннотация
Les op�rateurs de contr�le g�n�riques tels que fold ont �t�
introduits en programmation fonctionnelle pour augmenter la puissance
et le champ d'application des transformations fond�es sur la structure
des donn�es. Ceci est possible en rendant cette structure plus explicite
dans la sp�cification des programmes. Nous consid�rons que cette
caract�ristique fondamentale est l'un des concepts de base des grammaires
attribu�es. Dans cet article, nous exposons informellement les similitudes
qui existent entre le formalisme du fold et la sp�cification par
grammaires attribu�es. Nous comparons �galement leurs m�thodes respectives
d'�limination des structures interm�diaires introduites lors de la
composition de fonctions (notion de d�forestation ou de fusion)\,:
l'algorithme de normalisation pour les programmes exprim�s � l'aide
de folds et la composition descriptionnelle pour les grammaires attribu�es.
Le but principal de cet article est de pr�senter intuitivement chacun
de ces deux paradigmes, ainsi que leurs similitudes qui offrent des
possibilit�s de fertilisation crois�e.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)