给定逻辑约束的组合，你可以通过现有算法（例如用于关键短语包含的KMP）轻松地将它们编码为DFA。然后，无需任何重新训练，Ctrl-G会自动在LLM推理时施加DFA指定的约束。所有这些只需几行代码。