Esta es la aplicación de Linux llamada Combinatory Reduction Systems Extended, cuya última versión se puede descargar como crsx401.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Combinatory Reduction Systems Extended with OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
Sistemas de reducción combinatoria extendidos
Ad
DESCRIPCIÓN
Implementación de Sistemas de Reducción Combinatoria (CRS) con extensiones experimentales, en Java. CRS es un formalismo para la reescritura de orden superior inventado por JWKlop en 1980. Para obtener más detalles, consulte el Proyecto / Sitio web.
Caracteristicas
- Reescritura de términos
- Genere compiladores a partir de especificaciones formales
- Reescritura de orden superior
- Cálculo lambda
Público
Usuarios finales avanzados, ciencia / investigación
Interfaz de usuario
Línea de comandos, Eclipse
Lenguaje de programación
Java
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/crsx/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.