待验证50% 置信事实精确时间

有限状态自动机（FSA）由数学家Stephen Kleene在1956年形式化提出，与正则表达式在表达能力上完全等价

1

来源数

50%

置信度

长期有效

时效性

2026/8/11

首次发现

来源

编辑距离自动机与N-gram相似度：搜索引擎模糊搜索核心技术解析

相关事实

待验证有限状态机的数学基础最早由图灵奖得主 Stephen Kleene 在 1950 年代正式化72% 相似待验证正则表达式的数学根基可追溯至 Stephen Kleene 于1956年提出的正则集合概念，并引入星号表示零次或多次重复72% 相似已验证正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论71% 相似已验证有限状态机（FSM）的理论基础可追溯至20世纪50年代的自动机理论69% 相似待验证库恩-塔克（KKT）条件在1951年将最优性判据推广至非线性情形，构成非线性规划的核心理论基础64% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/732508

API

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

MCP

get_claim(id=732508)