Unverified60% confidenceFactTime unknown
Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法
2
Sources
60%
Confidence
Long-term
Relevance
6/1/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedRE2的设计直接受到Ken Thompson在1968年发表的正则表达式编译算法的启发72% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法65% similarUnverifiedTRE采用了Laurikari在其博士论文中提出的带标记NFA（Tagged NFA）模拟算法60% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究60% similarUnverifiedLinter概念最早可追溯到1978年贝尔实验室Stephen C. Johnson为C语言编写的lint静态分析工具58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/33535API
curl https://kongchang.com/api/v1/knowledge/claims/33535MCP
get_claim(id=33535)