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

Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法

2

来源数

60%

置信度

长期有效

时效性

2026/6/1

首次发现

来源

TRE正则引擎Python绑定实战：从原理到ReDoS防御

rss

涉及实体

Ken Thompsonperson

相关事实

待验证RE2的设计直接受到Ken Thompson在1968年发表的正则表达式编译算法的启发72% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法65% 相似待验证TRE采用了Laurikari在其博士论文中提出的带标记NFA（Tagged NFA）模拟算法60% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究60% 相似待验证Linter概念最早可追溯到1978年贝尔实验室Stephen C. Johnson为C语言编写的lint静态分析工具58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/33535

API

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

MCP

get_claim(id=33535)