文件名称：lambda_calculus_evaluator:一个简单的Lambda演算评估器
文件大小：22KB
文件格式：ZIP
更新时间：2024-05-21 15:31:42
C
Lambda演算评估器 介绍 这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式 为了使它真正纯净，当前不支持常量。 它应用alpha转换和beta减少来减少表达式。 此评估程序是使用C实现的。Lex和Yacc用于生成扫描器和解析器。 先决条件 除了基本的构建工具GCC和Make之外，还需要Lex和Yacc的实现来编译和运行此评估程序。 Flex和Bison在我的平台上使用。 您可以在Makefile中将其更改为您自己的。 生成并运行 将Makefile中与构建相关的变量更改为您的特定环境。 使用Make构建程序：$ make 使用以下命令运行评估程序：$ ./main 使用Ctrl + C退出评估程序。 接触 查敏杰
【文件预览】：
lambda_calculus_evaluator-master
----primitive.h(474B)
----stdlib.c(1KB)
----varset.h(1KB)
----cc_machine.h(1KB)
----main.c(1KB)
----util.h(1KB)
----varset.c(5KB)
----scanner.l(930B)
----test.c(5KB)
----eval.h(622B)
----builtin.c(3KB)
----eval.c(13KB)
----builtin.h(754B)
----primitive.c(4KB)
----util.c(5KB)
----stdlib.h(726B)
----cek_machine.c(3KB)
----.gitignore(37B)
----cc_machine.c(2KB)
----ck_machine.c(2KB)
----ck_machine.h(1KB)
----Makefile(1KB)
----parser.y(2KB)
----README.md(988B)
----cek_machine.h(2KB)
----globals.h(1KB)
----memcheck.sh(2KB)