检查YACC中是否存在集合

Question

我正在尝试在YACC（.y文件）中编写规则。我想确保某些令牌同时出现或根本不出现。

我尝试写这个：

rule_pilot : NULL | rule_pilot rule
rule : A | B | C | D | E | F

一些有效的字符串是：

• A BCD
• A C E DB
• F CD A B
• AE
• FA
• EFA

如有效字符串示例所示，我想要的是所有B，C和D都出现在字符串中，或​​者都不出现在字符串中。但是rule_pilot无法确保这一点。它还将接受ABC，B等字符串。

我该如何写rule_pilot才能满足上述条件？