如何找到所有大于 110011 的二进制数的正则表达式

Question

我正在尝试解决为考试练习设置的问题。 我该如何处理这些问题？ 有没有办法验证解决方案，还是只是反复试验？

Answer 1

这看起来很简单：字符串必须是以下之一：

• 1 后跟至少六个字符。
• 111 后跟至少（或恰好）三个字符
• 1111 后跟至少（或恰好）两个字符。

如果输入可以以前导 0 开头，则将所有前导“1”更改为“0*1”。 无论如何，它都可以分解出来。

您问题的答案是“是否有一个简单的算法可以为我做到这一点？” 可能是“不”。 但以上是比试错更简单的逻辑。 考虑到通过算法证明正确性的难度，写下随机的正则表达式直到找到一个有效的正则表达式并不是解决问题的好方法。