TERMIUM Plus^®

Record 1,  Textual support,  English

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 DEF

Machine symbolique telle MaRS(Toulouse) basée sur la programmation fonctionnelle qui permet la résolution de problèmes par le calcul-lambda et la logique combinatoire. Elle utilise des langages fonctionnels tels Lisp, et la programmation par réduction c'est-à-dire par application de fonctions sur des arguments.  1, record 1, French, - machine%20%C3%A0%20r%C3%A9duction

Record number: 1, Textual support number: 1 OBS

MaRS est fondée sur une architecture modulaire multiprocesseurs (parallélisme macroscopique) et une réduction parallèle de programmes traduits en graphes de combinateurs.  1, record 1, French, - machine%20%C3%A0%20r%C3%A9duction

Record 1,  Textual support,  Spanish

Record number: 1, Textual support number: 1 DEF

Máquina que evalúa las expresiones, reduciendo sucesivamente todas las subexpresiones componentes hasta que sólo queden los valores simples de los datos.  1, record 1, Spanish, - m%C3%A1quina%20de%20reducci%C3%B3n

Record number: 1, Textual support number: 1 CONT

La evaluación se logra por la sustitución de las expresiones. Por cada expresión que no sea un valor simple de datos, un conjunto de reglas define qué debe sustituirse al aparecer la expresión. La máquina [de reducción] trabaja comparando cada subexpresión de la expresión actualmente evaluada con su regla apropiada y sustituyéndola según lo especifique dicha regla. Este proceso de sustitución de las expresiones continúa hasta que sólo quedan los valores simples de datos, representando el valor original de la expresión.  1, record 1, Spanish, - m%C3%A1quina%20de%20reducci%C3%B3n