Unverified50% confidenceFactExact time
有限状态机的数学基础最早由图灵奖得主 Stephen Kleene 在 1950 年代正式化
1
Sources
50%
Confidence
Long-term
Relevance
7/23/2026
First Seen
Sources
Related Claims
Verified正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论76% similarUnverified正则表达式的数学根基可追溯至 Stephen Kleene 于1956年提出的正则集合概念，并引入星号表示零次或多次重复74% similarUnverified有限状态自动机（FSA）由数学家Stephen Kleene在1956年形式化提出，与正则表达式在表达能力上完全等价72% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论65% similarUnverified库恩-塔克（KKT）条件在1951年将最优性判据推广至非线性情形，构成非线性规划的核心理论基础64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/594134API
curl https://kongchang.com/api/v1/knowledge/claims/594134MCP
get_claim(id=594134)