c++ - 时间：2019-05-10 标签：c++conjuntive normal form regex

Question

我想构建一个正则表达式来表示表达式是合取范式（CNF）。

当满足以下条件时，表达式 E 在 CNF 中：

• 它的所有子句都采用格式(V1 ∨ V2 ∨ ... ∨ Vn)
• Ci从句之间只有&，即：E = C1 & C2 & ... & Ck
• 变量 V1, V2, ... 只能是{P, Q, R, S, ~P, ~Q, ~R, ~S}

一个例子：E = (P ∨ Q) & (Q ∨ R ∨ S) & (R ∨ Q)

我怎样才能写这样的正则表达式（没有空格）？

---

我想它一定是这样的：

regex reg("[(~?[PQRS]{1}[v~?[PQRS]{1}]*)&]*(~?[PQRS]{1}[v~?[PQRS]{1}]*)");

但它给了我 regex_error。

标签： c++regex

Answer 1

解决了。我正在使用(并且)不正确。

答案是：

regex reg("(\\(~?[PQRS](v~?[PQRS])*\\)&)*\\(~?[PQRS](v~?[PQRS])*\\)");