java正则表达式括号

Question

我试图在 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)

Answer 1

此正则表达式适用于给定的示例:

(?:\([^()]+\))++|(?:&|<?=>|\|)++

https://regex101.com/r/NSQ9aZ/3

匹配以 ( 开头并以 a 结尾的字符串。也匹配 &,|,=>,<=>, not