Tratamiento de términos que representan el mismo concepto en el cálculo-l

El cálculo-l es una teoría que enfatiza los aspectos computacionales de las funciones. Los términos del cálculo-l se construyen a partir de variables, un constructor para denotar la aplicación de una función a un argumento y un símbolo ligador. Este símbolo ligador, que se utiliza para denotar funci...

Descripción completa

Detalles Bibliográficos
Autores principales: Lombardi, Carlos, Vetere, Enrique
Formato: Artículo
Lenguaje:Español
Publicado: Universidad de Ciencias Empresariales y Sociales (UCES) 2009
Materias:
Informática
Computación
Acceso en línea:http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/472
Aporte de:
Repositorio Institucional (UCES) de Universidad de Ciencias Empresariales y Sociales (UCES)
id I30-R136123456789-472
record_format dspace
institution Universidad de Ciencias Empresariales y Sociales (UCES)
institution_str I-30
repository_str R-136
collection Repositorio Institucional (UCES)
language Español
topic Informática
Computación
spellingShingle Informática
Computación
Lombardi, Carlos
Vetere, Enrique
Tratamiento de términos que representan el mismo concepto en el cálculo-l
topic_facet Informática
Computación
description El cálculo-l es una teoría que enfatiza los aspectos computacionales de las funciones. Los términos del cálculo-l se construyen a partir de variables, un constructor para denotar la aplicación de una función a un argumento y un símbolo ligador. Este símbolo ligador, que se utiliza para denotar funciones, indica la variable (llamada por esta razón “variable ligada”) que será reemplazada en el cuerpo de la función al aplicarla a un argumento. Los términos que sólo difieren en sus variables ligadas representan el mismo concepto, y por lo tanto son identificados mediante una relación de equivalencia, llamada a-equivalencia. Dentro del cálculo-l se definen relaciones de reducción, que modelan los conceptos relacionados con el cómputo; siendo la más importante la b-reducción que describe formalmente la aplicación de una función a su argumento. Estas relaciones se definen sobre el conjunto de términos, siendo deseable exenderlas al conjunto cociente por la relación de a-equivalencia. Para ello, se requiere verificar que la definición no depende del representante elegido para operar, es decir, que el concepto de reducción definido no es alterado cuando los términos elegidos para operar son reemplazados por otros a-equivalentes. Este trabajo se centra en la correcta definición de relaciones de reducción sobre el conjunto de clases de a-equivalencia, proveyendo un conjunto de condiciones suficientes para garantizar que las relaciones de reducción definidas sobre términos definen relaciones de reducción correctas sobre el conjunto cociente.
format Article
author Lombardi, Carlos
Vetere, Enrique
author_facet Lombardi, Carlos
Vetere, Enrique
author_sort Lombardi, Carlos
title Tratamiento de términos que representan el mismo concepto en el cálculo-l
title_short Tratamiento de términos que representan el mismo concepto en el cálculo-l
title_full Tratamiento de términos que representan el mismo concepto en el cálculo-l
title_fullStr Tratamiento de términos que representan el mismo concepto en el cálculo-l
title_full_unstemmed Tratamiento de términos que representan el mismo concepto en el cálculo-l
title_sort tratamiento de términos que representan el mismo concepto en el cálculo-l
publisher Universidad de Ciencias Empresariales y Sociales (UCES)
publishDate 2009
url http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/472
work_keys_str_mv AT lombardicarlos tratamientodeterminosquerepresentanelmismoconceptoenelcalculol
AT vetereenrique tratamientodeterminosquerepresentanelmismoconceptoenelcalculol
bdutipo_str Repositorios
_version_ 1764820523603197954

Ejemplares similares