待验证85% 置信事实时间未知

RE2的设计直接受到Ken Thompson在1968年发表的正则表达式编译算法的启发

1

来源数

85%

置信度

长期有效

时效性

2026/6/1

首次发现

来源

TRE正则引擎Python绑定：抵御ReDoS攻击的实战测试

rss

涉及实体

RE2product Ken Thompsonperson

相关事实

待验证Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法72% 相似待验证精细化编码理论最早由Craik和Lockhart在1972年提出的加工深度框架中被系统阐述59% 相似待验证1960至70年代，Ken Thompson 将正则表达式引入 Unix 工具链（如 grep、sed）58% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法57% 相似待验证Linter概念最早可追溯到1978年贝尔实验室Stephen C. Johnson为C语言编写的lint静态分析工具53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/34853

API

curl https://kongchang.com/api/v1/knowledge/claims/34853

MCP

get_claim(id=34853)