南萨米的形态和工具 该存储库包含SouthSámi语言的有限状态源文件,用于构建形态分析器,校对工具和词典。 数据和实现已获得GNU GPL v3许可的许可,该也在中进行了详细说明。 在AUTHORS文件中命名的作者可以授予其他许可选择。 使用南萨米语的校对工具和(某些语言只能通过夜间频道使用)。 拼写检查器准确性: 文献资料 可以在以下位置找到文档: (常规信息) 核心依存关系 为了编译和使用SouthSámi语言的形态和词典,您需要: 一个FST编译器: ,或 约束语法工具 要安装VislCG3和HFST,只需将其复制/粘贴到Mac OS X上的终端中: curl https://apertium.projectjj.com/osx/install-nightly.sh | sudo bash 或适用于Linux的Ubuntu,Debian或Windows子系统上的终端:
1
可居住的行星 一个小小的迪诺 :sauropod: 该项目可通过开普勒的CSV文件进行解析,以在银河系中发现与我们类似的宜居行星。 过滤出岩石成分,水体和高度智能的生命形式的可能性很大,您会惊讶于有多少 const newEarths = ??? 你可能会发现... 安装 确保已安装Deno: ://deno.land/#installation 在终端中,运行: deno run --allow-read mod.ts
2021-03-02 16:06:21 1.89MB TypeScript
1
IKOS IKOS(开放静态分析器的推理内核)是基于抽象解释理论的C / C ++静态分析器。 介绍 IKOS最初是一个C ++库,旨在促进基于的声音静态分析器的开发。 对于一个应用程序或一系列应用程序,静态分析仪的专业化对于实现精度和可扩展性都至关重要。 开发这样的分析器是艰巨的,并且需要在抽象解释方面的大量专业知识。 IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现,例如控制流图,定点迭代器,数字抽象域等。IKOS独立于特定的编程语言。 IKOS还提供了基于的C和C ++静态分析器。 它实现了可伸缩的分析,以检测和证明C和C ++程序中没有运行时错误。 执照 IKOS已根据NASA开源协议1.3版发布,请参阅 接触 发行说明 见 故障排除 请参阅 安装 依存关系 要构建和运行分析器,您将需要以下依赖项: 支持C ++ 14的C ++编译器(gcc> = 4.9.2
1
仅供学弟学妹们参考思路,请勿直接当作作业上传,严禁发生抄袭等学术不端行为。
1
可实现加分要求,实现所有文法而非课本给定文法的文法分析,并自动构造LL1分析表,仅供学弟学妹们参考思路,请勿直接当作作业提交,严禁发生抄袭等学术不端行为
1
可实现实验加分要求,对任意文法都可自动构造自动机,并对文法进行LR1语法分析,仅供学弟学妹们参考思路,请勿直接当作作业提交,严禁发生抄袭等学术不端行为
1
Stackprof Ruby的采样调用堆栈分析器。 受大力启发,并写成的替代。 要求 Ruby 2.2+ 基于Linux的操作系统 入门 安装 在您的Gemfile中添加: gem 'stackprof' 然后运行$ bundle install 。 或者,您可以运行$ gem install stackprof 。 跑 在Ruby中: StackProf . run ( mode : :cpu , out : 'tmp/stackprof-cpu-myapp.dump' ) do #... end 通过机架: use StackProf :: Middleware , enabled : true , mode : :cpu , interval : 1000
2021-02-28 10:05:07 73KB Ruby
1
工人分析器
2021-02-24 09:09:14 88KB HTML
1
日立电梯 mca hge mcub03系统等 mpu授权ca09 ca13等电梯调试软件 电梯参数规格表
2021-02-22 09:03:20 589KB 日立电梯规格表
1
设计SAMPLE语言的词法分析器 检查要求: 启动程序后,先输出作者姓名、班级、学号(可用汉语、英语或拼音); 请求输入测试程序名,键入程序名后自动开始词法分析并输出结果; 输出结果为单词的二元式序列(样式见样板输出1和2); 要求能发现下列词法错误和指出错误性质和位置: 非法字符,即不是SAMPLE字符集的符号; 字符常数缺右边的单引号(字符常数要求左、右边用单引号界定,不能跨行); 注释部分缺右边的界符*/(注释要求左右边分别用/*和*/界定,不能
2021-02-19 13:03:13 3KB 编译 词法分析 Sample 二元式
1