我目前正在开发一个程序。我需要一个接受 Y 和 X 的正则表达式，并且 X 对由 Y 分隔。它不必是相等的数字，但它不能包含多个 X 并排在一起。
例子：
# Don't match:
XXXYYYYY
#Match:
XYXYYYY
X
到目前为止我的尝试：
{Y*[X|^X]Y*[X|^X]Y*}*
问题是，如果第一个有 X，第二个有 X，那么 Y 仍然可以为 0。我可以直接测试双 X 吗？
【问题讨论】：
XX并在找到时拒绝？
标签： regex
由于上面的答案使用前瞻，这个答案提出了一个普通正则表达式的解决方案：
^(X?Y)*X?$
上述解决方案假定允许使用空字符串。否则：
^((X?Y)+X?|X)$
（随意使组不捕获）
感谢 Unihedron 将 XY|Y 简化为 X?Y。
如果有人对此答案的有效性仍有疑问，solve the below equations:
R1 = XR2 + YR3 + λ
R2 = YR3 + λ
R3 = XR2 + YR3 + λ
DFA 可以从上面的等式中得出。
如果不允许使用空字符串，请删除 R1 中的 + λ。
【讨论】：
^(X?Y)*X?$。干得好！
【讨论】：
Y 在逻辑上看起来等于或大于Xs 的数量，因此将交替更改为在前面包含Y 可能会使匹配输入的效率稍高一些.
^(?:Y++|X(?!X))+$ 或 ^(?:(?>Y+)|X(?!X))+$ 但由于 OP 没有指定正则表达式风格，所以我忽略了优化。
Y++ 定义为与 (?>Y+) 相同。
++) 在 .NET 中不可用，因此您必须使用原子组 ((?>...))...再次，一切都取决于味道:)
【讨论】：
你可以使用这个模式：
^Y*(XY+)*X?$
如果要确保至少有一个字符，可以单独检查长度或在开头添加一个lookahead：
^(?=.)Y*(?:XY+)*X?$
关于灾难性的回溯：
如果您使用 DFA 正则表达式引擎，则没有问题，因为没有回溯。
如果您使用 NFA 正则表达式引擎，您可以通过多种方式防止灾难性的回溯，例如：
^Y*(XY|Y)*X?$ # possible but not really efficient
^Y*(?>XY+)*X?$ # using an atomic group (if available)
^Y*(?:XY+)*+X?$ # using a possessive quantifier (if available)
^Y*(?=((XY+)*))\1X?$ # emulate `(?>(?:XY+)*)`
^Y*(?:(?=(XY+))\1)*X?$ # emulate `(?>XY+)*`
【讨论】：
(?> ) 而不是(?: ) :)
^Y*(XY|Y)*X?$ 删除第一个Y*（因为Y* 已经包含在(XY|Y)* 中，并且解决方案将与我的相同。其余的都是多余的，因为^(XY|Y)*X?$ 将永远不会有回溯问题。
^Y*(XY|Y)*X?$ 确实可以缩短为^(X?Y)*X?$。然而，这种模式效率较低，因为失败前的步骤数是使用原子分组的模式的 4 倍。所以它们根本不是多余的。因此，通过单面体简化，最有效的模式是^(?>X?Y+)*+X?$
^(X?Y)*+X?$，我确实看到了 2 倍的差异。当使用所有格量词时，(?> 是不必要的。无论如何，它仍然是线性的。
^(?:X?Y+)*+X?$ 就足够了。