CRSX

CRSX -具有扩展的组合还原系统。具有扩展的组合还原系统(CRSX)是一种可从URL获得的系统。HTTP://CRSX.SooSuroFur.NET}的特点是:基于纯组合约简系统的高阶重写引擎,具有完全强约简(但没有指定的约简策略)。-基于lambda演算的规则和术语语法和包括Unicode支持的术语重写约定。-严格的检查和声明要求,以避免重写规则中的特殊错误。-解释器是在Java 5中实现的,并且可以独立使用,也可以从Eclipse插件(正在开发中)实现。-包括自定义解析器生成器(前端到JavaCc分析器生成器),旨在简化直接解析成更高阶抽象语法(以及允许在规则文件中使用自定义语法)。-实验(和进化)分类系统以帮助规则管理。-编译器(从排序好的确定子集)CRSX到独立的C代码。