该研究提出了一种算法，通过专家演示和自然语言学习确定性有限自动机（DFA），结合大型语言模型和迁移学习，提升学习效率。同时介绍了 MathPrompter 技术，利用提示生成多种数学表达式，增强模型在算术问题上的表现。此外，研究探讨了有限状态自动机和线性时态逻辑在黑盒系统建模中的应用，提出了“LLMs 作为教师”的框架，显著提升了目标模型的训练效果。