Como no hubo respuesta en Lambda the Ultimate, lo intento de nuevo aquí: los sistemas de reescritura de términos se utilizan, por ejemplo, en teoremas automatizados que prueban un cálculo simbólico y, por supuesto, para definir gramáticas formales. Hay algunos lenguajes de programación basados en...
Me parece que el lenguaje macro utilizado por puede verse como algún tipo de sistema de reescritura de términos o algún tipo de lenguaje de programación con alcance de llamada por nombre.TEXTEX\TeX Incluso las implementaciones modernas del motor (por ejemplo, ) interpretan el código de una manera...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda simplemente tipado para reducir los malentendidos sobre el cálculo de Lambda. Ahora, cuando John McCarthy creó Lisp, lo basó en el cálculo Lambda . Esto es...
Soy nuevo en el estudio de sistemas de reescritura como estudiante de doctorado de primer año. Me gustaría proponer un curso de temas especiales sobre la teoría de la reescritura, y quiero asegurarme de no dejar de lado ninguna de las fuentes originales. Tengo una copia de Barendregt y Terese como...