本书i羊细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。
书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。
大型的例子包括一个一般性的自顶向下语法分析器、一个λ-i寅算归约程序和一个定理证明机.书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的方式论证.本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。
大型的例子包括一个一般性的自顶向下语法分析器、一个λ-i寅算归约程序和一个定理证明机.书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的方式论证.本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
2017/7/8 7:02:45
52.07MB
1
seulex，编译原理课程设计做的一个lex工具，完成的了基本功能，就是生成的词法分析器有点儿臃肿，大家可以改进一下~
2018/5/3 18:47:11
13.48MB
1
词法分析器（c++版）词法分析程序，能识别出所有的关键字、标识符、常数、运算符（包括复合运算符，如++）、界符；
能过滤掉源程序中的正文、空格、制表符、换行符等等
能过滤掉源程序中的正文、空格、制表符、换行符等等
2019/10/24 4:15:18
7KB
1
这是一个大学编译原理实验课上老师让做的无符号数词法分析器，代码完整可运转，可以集成环境下运转，也可在cmd控制台编译运转
2021/4/12 14:10:24
74KB
1
LL(1)语法分析器，是C++版的，绝对能运行，它的文法是依靠用文件输入的，你只需把你需要输入的文法写在"输入文件.txt"中就可以了
2018/7/15 3:24:44
1.84MB
1
完整的编译原理实验报告关于语法、语义和词法分析器三部分的很全哦一、实验题目表达式两头代码生成二、实验目的熟悉算术表达式的语法分析与两头代码生成原理。
三、实验内容1． 构造算术表达式的四元式翻译文法2． 设计算术表达式的递归下降子程序分析算法3． 设计算术表达的四元式生成算法4． 实现代码并调试运行四、实验要求1、采用递归下降语法制导翻译法,对算术表达式,赋值语句进行语义分析并生成四元式序列.2、输入是语法分析后提供的正确的单词串,输出四元式序列.例如：对于语句串 Begina:=2+3*4;x:=(a+b)/cend#输出的指令如下:(1) t1=3*4(2) t2=w+t1(3) a=t2
三、实验内容1． 构造算术表达式的四元式翻译文法2． 设计算术表达式的递归下降子程序分析算法3． 设计算术表达的四元式生成算法4． 实现代码并调试运行四、实验要求1、采用递归下降语法制导翻译法,对算术表达式,赋值语句进行语义分析并生成四元式序列.2、输入是语法分析后提供的正确的单词串,输出四元式序列.例如：对于语句串 Begina:=2+3*4;x:=(a+b)/cend#输出的指令如下:(1) t1=3*4(2) t2=w+t1(3) a=t2
2016/5/13 18:11:12
184KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB