面向稳定与可认证语言生成的查询反馈与教学

新研究针对极限语言生成引入了“可认证性”（certifiability）概念，并建立了涵盖正确性、稳定性与可认证性三级标准的教学维度层级。该研究系统刻画了有无查询反馈下的生成能力，给出稳定生成的有限证据（finite-witness）特征刻画，填补了此前理论空白。此外，作者还在正则语言与擦除模式语言上对比了不同生成标准的教学样本需求。