【发布时间】：2016-11-27 18:26:59
【问题描述】：
我试图在 Java 中将一个命题公式拆分为多个子公式。我可以使用正则表达式还是应该编写解析器？我的语法仅由文字符号（A、B、C、...）和连接符（|、&、=>、、not）组成
示例 1：
"((A | B) & (B | C))" :
array[0]= (A | B)
array[1]= &
array[2]= (B | C)
示例 2：
"((A => B) => (B | C)) & (B => A)" :
array[0]= (A => B)
array[1]= =>
array[2]= (B | C)
array[3]= &
array[4]= (B => A)
【问题讨论】：
-
可能你需要编写一个解析器，但我不能肯定，因为不清楚你应用什么规则来决定你的两个示例中的结果应该是什么。用散文写出规则是很好的第一步。
-
@JohnBollinger 实际上，我尝试将公式拆分为子公式以构建语义表
-
@JohnBollinger 否则，如果我能得到“中间”连接器，那就太好了。比如两个公式中的“&”。