lambda_calculus_evaluator:一个简单的Lambda演算评估器-源码

Lambda演算评估器 介绍 这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式 为了使它真正纯净，当前不支持常量。 它应用alpha转换和beta减少来减少表达式。 此评估程序是使用C实现的。Lex和Yacc用于生成扫描器和解析器。 先决条件 除了基本的构建工具GCC和Make之外，还需要Lex和Yacc的实现来编译和运行此评估程序。 Flex和Bison在我的平台上使用。 您可以在Makefile中将其更改为您自己的。 生成并运行 将Makefile中与构建相关的变量更改为您的特定环境。 使用Make构建程序：$ make 使用以下命令运行评估程序：$ ./main 使用Ctrl + C退出评估程序。 接触 查敏杰