文件名称：aGdaREP:在 Agda 中实现抓地力
文件大小：22KB
文件格式：ZIP
更新时间：2024-06-17 19:00:20
Agda
aGdaREP-在Agda中实施grep Usage: aGdaREP [OPTIONS] PATTERN [FILENAME] OPTIONS: -h Print this help -V Version -v Invert the match -i Ignore case 要求 该项目应使用以下命令进行编译： Agda 2.6.1.1版 标准库（开发版） （开发版） 实施细节 匹配算法或多或少是Alexandre Agular和Bassel Mannaa的2009年技术报告（ ）中描述的算法。 我在两个场合离开它： 首先，我使用智能构造函数而不是稍后通过简化由导数函数_⟪_计算的正则表达式（此处称为eat ）； 其次，我用更一般的范围概念（“any of”和“any but”）替换了空语言和所有一个字母长单词的语言的概念。
【文件预览】：
aGdaREP-master
----.gitignore(28B)
----agdarep.agda-lib(71B)
----Makefile(173B)
----src()
--------Text()
----aGdaREP()
--------Options.agda(1KB)
----aGdaREP.agda(2KB)
----README.md(989B)
----screenshot.png(13KB)