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

上下文无关文法（CFG）由诺姆·乔姆斯基在1956年提出，由四元组（V, Σ, R, S）定义

1

来源数

95%

置信度

长期有效

时效性

2026/6/1

首次发现

来源

语法约束解码：让小模型生成可靠Bash代码的实战指南

rss

涉及实体

诺姆·乔姆斯基person 上下文无关文法concept

相关事实

已验证有限状态机（FSM）的理论基础可追溯至20世纪50年代的自动机理论59% 相似待验证史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别58% 相似待验证有限状态自动机（FSA）由数学家Stephen Kleene在1956年形式化提出，与正则表达式在表达能力上完全等价57% 相似待验证贝尔曼方程由数学家理查德·贝尔曼于1957年提出，是动态规划的核心递推关系式57% 相似待验证索洛增长模型由麻省理工学院经济学家罗伯特·索洛于1956年提出，是新古典增长理论的奠基之作，以柯布-道格拉斯生产函数为核心56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/21210

API

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

MCP

get_claim(id=21210)