Ctrl-G (1) 将任何生产就绪的LLM提炼为隐马尔可夫模型（HMM）。然后HMM（3）用于引导LLM推理以遵循（2）编码为确定性有限自动机（DFA）的逻辑约束，并且具有100%的保证。