我们可以用正则表达式来检查每种类型的字符是否有奇数吗？

Question

问题

我正在尝试创建一个正则表达式，在这个正则表达式中，我们可以检查某个引用集中的所有字母是否都存在于其他字符串中，但只能是奇数（1、3、5，…）。在

以下是代表问题的DFA的（非常）粗略的图像：

我的（破）溶液

我开始使用一个有限集{a, b}，因此我基本上要检查“字符串中是否同时存在as的奇数和{}s的奇数？”在

不幸的是，我自己没有走多远。我第一次读到了this thread，它与这个概念非常相似，但是无法从{}中得到答案。（我知道它是如何工作的，但不知道如何将其转换为检查两个项目的奇数。）

这是我目前为止的想法：^((ab|ba)(bb|aa)?|(bb|aa)?(ab|ba))+$。这基本上检查是否存在ab或ba后跟bb或{}或什么都没有，这将导致ab，ba，abaa，abbb，baaa，或{}。（它也做相反的操作，首先检查双字母）然后可以无限期地重复。我遇到的问题是，如果不同时匹配bbaa，我似乎无法调整它以匹配字符串bbaaba。在

另外，上面的方法不能动态调整以考虑{a, b, c}，尽管我愿意放弃这个来解决初始问题。在

测试

下面是我的测试字符串和所需的输出，括号中有原因：

"ba"      # True (1a, 1b)
"abbb"    # True (1a, 3b)
"bbba"    # True (1a, 3b)
"bbab"    # True (1a, 3b)
"ababab"  # True (3a, 3b)
"bbaaba"  # True (3a, 3b)
"abb"     # False (2b)
"aabb"    # False (2a, 2b)
"aabba"   # False (2b)
""        # False (0a, 0b is "even")
"a"       # False (0b is "even")
"b"       # False (0a is "even")

问题

那么，通过regex实现这一点吗？或者正则表达式比DFA更有限吗？我知道这可以通过一个基本的循环来完成，但这不是我要做的。在

Answer 1

这里有一种方法，使用lookaheads依次断言每个条件。在

^(?=[^a]*a(?:[^a]*a[^a]*a)*[^a]*$)(?=[^b]*b(?:[^b]*b[^b]*b)*[^b]*$)(.*)$

下面是a demo和您的示例。（演示中的\n用于演示目的。另外，如果只需要测试匹配，而不是捕获，则可以删除(.*)$。）

我将很快添加一个解释。在

---

说明

我们只需要看一半：

^{pr2}$