已验证75% 置信事实时间未知

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

3

来源数

75%

置信度

长期有效

时效性

2026/6/1

首次发现

来源

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

rss

涉及实体

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

相关事实

已验证有限状态机（FSM）的理论基础可追溯至20世纪50年代的自动机理论59% 相似待验证史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别58% 相似待验证Crouzeix猜想由法国数学家Michel Crouzeix于2004年前后正式提出，属于矩阵分析与数值线性代数的交叉领域58% 相似待验证有限状态自动机（FSA）由数学家Stephen Kleene在1956年形式化提出，与正则表达式在表达能力上完全等价57% 相似待验证贝尔曼方程由数学家理查德·贝尔曼于1957年提出，是动态规划的核心递推关系式57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/21210

API

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

MCP

get_claim(id=21210)