Unverified50% confidenceFactExact time
史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别
1
Sources
50%
Confidence
Long-term
Relevance
7/8/2026
First Seen
Sources
Related Claims
Unverified图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想65% similarUnverified冯·诺依曼设计出一个拥有29种状态的复杂元胞自动机系统63% similarUnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196962% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论61% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/250410API
curl https://kongchang.com/api/v1/knowledge/claims/250410MCP
get_claim(id=250410)