Sygus

释义 Definition

SyGuS（常写作 SyGuS，也见 sygus）指 “语法引导程序合成”（Syntax-Guided Synthesis）：一种自动生成程序/表达式的方法——在满足给定规范（如输入输出示例、逻辑约束）的同时，还要求生成结果遵循给定的语法/文法（搜索空间由语法限定）。常用于形式化方法、程序验证、自动化编程与求解器竞赛场景。

发音 Pronunciation (IPA)

/ˈsaɪɡʌs/

例句 Examples

SyGuS can automatically synthesize a small function from input-output examples.
SyGuS 可以根据输入输出示例自动合成一个小函数。

Using SyGuS constraints with a grammar often makes synthesis faster and the result easier to interpret.
在使用 SyGuS 约束时配合语法通常能让合成更快，并使结果更易理解。

词源 Etymology

SyGuS 是 Syntax-Guided Synthesis 的缩写写法，源自程序合成研究领域的术语：通过“语法（grammar）”来引导搜索，使合成器在更可控、可解释的候选空间中找到满足规范的程序。该术语也与后续的 SyGuS 竞赛（SyGuS-Comp） 紧密相关。

相关词 Related Words

• Synthesis
• SMT
• Solver
• Constraint
• Grammar
• Specification
• Verification
• Program

文学与作品 Literary Works

• Syntax-Guided Synthesis（学术论文/研究方向标题，常作为该领域代表性文献的标题或关键词出现）
• SyGuS-Comp（Syntax-Guided Synthesis Competition 相关论文与年度报告）
• 形式化方法与程序语言顶会/会议论文集中（如 CAV、POPL、PLDI 等）关于“program synthesis / syntax-guided synthesis”的研究文章中常见该术语