如何找到所有大於 110011 的二進制數的正則表達式

Question

我正在嘗試解決為考試練習設置的問題。 我該如何處理這些問題？ 有沒有辦法驗證解決方案，還是只是反復試驗？

Answer 1

這看起來很簡單：字符串必須是以下之一：

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

如果輸入可以以前導 0 開頭，則將所有前導“1”更改為“0*1”。 無論如何，它都可以分解出來。

您問題的答案是“是否有一個簡單的算法可以為我做到這一點？” 可能是“不”。 但以上是比試錯更簡單的邏輯。 考慮到通過算法證明正確性的難度，寫下隨機的正則表達式直到找到一個有效的正則表達式並不是解決問題的好方法。