各位大虾，小弟有难啊！

yuanquan08

回复 8# rubyish



谢谢，真的是我想要的结果。十分感谢！！！
小弟，虽然也试着用动态正则表达式进行分析，但是就是达不到效果。
感谢楼上各位的支持和帮忙！！！
今后，还望多多指教啊。。。
   

yuanquan08

再次请教，t  = （A interact  ((B  or  C)  or (((D inside E) or F)   not   inside G)))
表达式里面如果出现not的就将后面的变量删除，又该如何操作啊？
正如上面表达式希望出现如下内容：
t0 =  A_B
t1 =  A_C
t2 =  A_D_E
t3 =  A_F

jason680

回复 12# yuanquan08

remove it first
   

yuanquan08

回复 13# jason680
这个方法是简单，可是太多了。如果只有几个或者几十个地方出现可以手动先处理掉，但是有几百个地方啊。。。


   

jason680

回复 14# yuanquan08


     not   inside G
  s/not\s+inside\s+\w+//g;

yuanquan08

谢谢楼上的回复。
我知道怎么替换，刚才只是不确定删掉哪些内容，不确定删掉之后还能不能正确匹配。。
我刚才试过了，还能得到我想要的结果。。。。

felonwan

yuanquan08 发表于 2013-12-23 17:37
谢谢楼上的回复。
我知道怎么替换，刚才只是不确定删掉哪些内容，不确定删掉之后还能不能正确匹配。。
我 ...

呵呵，下面这样的么？
(( A not inside B) interact C )
这种情况好像比较麻烦啊，必须要考虑括号的配对。。。

你没明确说明可能遇到的情况，所以可能有误会。

另外，not后能不能跟interact和or？  A not interact B
not后能不能直接跟括号？    A not ( inside (B or C) )

Monox

这个用编译原理的知识实现应该会更方便，扩展和调试起来也应该更容易吧。先进行词法分析，把输入分解成一串标识符如 A, B, C and so on，三种二元操作符 interact, inside, or以及一种一元操作符 not，再就是左右括号的一个token流，然后对token流进行语法分析，构建语法树，最后将语法树进行解析就可以得到结果。
我并不打算提供代码（我真要按这种方式写代码的话也肯定不用Perl写，要么用C（用C的话多半我也不打算手写DFA，肯定会用Flex和YACC），要么用Haskell，如果有人对使用C或者Haskell实现这个感兴趣的话，在我闲得无聊的时候又没其他人提供这种方案的代码的话，我到是可以考虑试着写写），也怀疑楼主是否有能力用这种方案来做，不过我很好奇会不会有人采用我说的方案提供一份代码呢？

felonwan

下面是我的包含了去not的版本（按我理解的not）。
刚学perl，现学现卖，只用了动态正则表达式（括号配对检查）、数组、判断和循环，连子函数都没用到哦。
不过各个部分有简单注释，大概能帮楼主明白思路。
经我测试有点小毛病，但是似乎不影响使用，楼主做点简单的小改动就能好，楼主就当家庭作业吧。

(12-25)版本，感觉基本完美了：
算法就是循环地这样做：删除不必要的成对括号，匹配第一个“(...a+b...)*C”或“A*(...b+c...)”这样的模式，然后展开。
“(...a+b...)*C”和“A*(...b+c...)”中的括号里面再不含括号，是可以使用分配律的基本单元，而A和C则可以是单个变量或一对括号包括的一个块。
A和C的匹配用到了递归正则表达式。
才发现楼主的东西比我想的加法和乘法运算还要简单，每两个变量运算后都加了括号，不会出现像（A or B or C）、(A inside B or C)等这样的类似情况。。。我想多了。。。

1. 
   
2. #!/usr/bin/perl
   
3. my $unit   = qr/ (?> [^()]+ | \( [^\(\)]*(??{ $unit}) [^\(\)]* \)  )* /x;
   
4. while(<STDIN>){
   
5.   chomp;
   
6.   $_ =~ s/^.*=(.*)/$1/;
   
7. 
   
8.   #inside/interact ==> *, or ==> +，delete space （转换为乘法、加法，删除空格）
   
9.   $_ =~ s/inside|interact/*/g;
   
10.   $_ =~ s/or/+/g;
    
11.   $_ =~ s/ //g;
    
12. #  print "$_\t\t(Original)\n";
    
13. 
    
14.   # delete not  （去掉not）
    
15.   (/not/) while
    
16.     s/not(\+|\w|\*|\($unit\))+(\)|$)/$2/;
    
17. #  print "==> $_\t\t(After deleted 'not')\n";
    
18. 
    
19.   # Expansion (多项式展开)
    
20.   # A*(...+b+c+...) ==> A*... +A*b +A*c +A*...
    
21.   # (...+a+b+...)*C ==> ...*C +a*C +b*C +...*C
    
22.   my $tmp;
    
23.   my $line= $_;
    
24.   my $line0;
    
25.   my $count=1;
    
26.   while("$line" ne "$line0"){
    
27. #    print "\nCycle $count running...\n";
    
28.     $line0 = $line;
    
29.     $_ = $line;
    
30.      # delete unnecessary '()'（删除不必要的成对括号）
    
31.     (/\($unit\)/) while
    
32.       s/(^|\()(\($unit\))(\)|$)/$2/; # ((...))==>(...)
    
33.     (/\*/) while
    
34.       s/\(([^\+]*\w+|\($unit\))*\*(\($unit\)|\w+[^\+]*)*\)/$1*$2/; # ...(a*b)... ==> a*b
    
35.     (/\+/) while
    
36.       s/(^|\+|\()\(([^\(\)]+|\($unit\))\+(\($unit\)|[^\(|\)]+)\)(\)|\+|$)/$1$2+$3$4/; # ^+((a+b)+)|$|)==>a+b+c`
    
37.     $_ =~ s/^\(($unit)\)$/$1/;
    
38. #    print "==> $_\t\t(deleted unnecessary '()')\n";
    
39.     $line = $_;
    
40. 
    
41.     foreach $i (qw/ab_C A_bc/){
    
42.      if("$i" eq "ab_C"){
    
43.         ($tmp = $line )=~ s/^(.*[\(|\*|\+]*)\(([^\(\)]*\w\+\w[^\(\)]*)\)\*(\($unit\)|\w+)(.*)/$1:$2:$3:$4/;# devide $line into 4 parts according to (...+a+b+...)*C matching（根据匹配的第一个(a+b)*C形式后拆分$line为四部分）
    
44.       }
    
45.       elsif("$i" eq "A_bc"){
    
46.         ($tmp = $line )=~ s/(.*)(\($unit\)|\w+)\*\(([^\(\)]*\w+\+\w+[^\(\)]*)\)([\*|\+|\)]*.*)$/$1:$2:$3:$4/;# devide $line into 4 parts according to A*(...+B+C+...) matching （根据匹配的第一个A*(b+c)形式拆分$line为四部分）
    
47.       }
    
48. #      print "$i ==> $tmp\n";
    
49.       @block =split(/:/,$tmp);
    
50. #      print "Block head and tail: $block[0]\t$block[$#block]\n";
    
51.       if($#block > 0){
    
52.         $line = "$block[0]";
    
53.         if(("$block[0]" ne '') | ("$block[3]" ne '')) {$line.="("};
    
54.         if("$i" eq "ab_C"){
    
55.           @fields = split(/\+/,$block[1]);
    
56.           foreach $j (@fields) { $line.="$j*$block[2]+";} # join "a*C+","a*C+" （连接"a*C+","a*C+"）
    
57.         }
    
58.         elsif("$i" eq "A_bc"){
    
59.           @fields = split(/\+/,$block[2]);
    
60.           foreach $j (@fields) { $line.="$block[1]*$j+";} # join "A*b+","A*c+" （连接"A*b+","A*c+"）
    
61.         }
    
62.         $line =~ s/\+$//;
    
63.         if(("$block[0]" ne '') | ("$block[3]" ne '')){$line.=")$block[3]";}
    
64. #      print "==> $line\n";
    
65.       }
    
66.     }
    
67. #    print "Cycle $count complete!\n";
    
68.     if(($count++) >= 100){last;} #avoid infinite loop（防死循环）
    
69.   }
    
70. #print "\nFinal: $line\n\n";
    
71. # print to desired format (打印成想要的格式)
    
72. @parts=split(/\+/,$line);
    
73. $count=0;
    
74. foreach $part (@parts){
    
75.   $part =~ s/\*/_/g;
    
76.   printf "t".$count++." = $part\n";
    
77. }
    
78. print "\n";
    
79. }
    

复制代码

楼主的两个例子放在logic文件中：

1. 
   
2. $ cat logic | ./tl
   
3. t0 = A_B
   
4. t1 = A_C
   
5. t2 = A_D_E_G
   
6. t3 = A_F_G
   
7. 
   
8. t0 = A_B
   
9. t1 = A_C
   
10. t2 = A_D_E
    
11. t3 = A_F
    

复制代码

另外的例子：

1. $ echo "(a+b*(c+d*(e+(f+g*(i+jnot*(k+(m+n)*l)))*h+o*(p+q+(r+s+t)*u))))" | ./tl
   
2. t0 = a
   
3. t1 = b_c
   
4. t2 = b_d_e
   
5. t3 = b_d_f_h
   
6. t4 = b_d_g_i_h
   
7. t5 = b_d_g_j_h
   
8. t6 = b_d_o_p
   
9. t7 = b_d_o_q
   
10. t8 = b_d_o_r_u
    
11. t9 = b_d_o_s_u
    
12. t10 = b_d_o_t_u
    

复制代码

rubyish

for not
biru:

1. #!/usr/bin/perl
   
2. 
   
3. sub X {
   
4.     map join( '_', split /\|/ ),
   
5.       glob '{' . join( '}{', map join( '|,', @$_ ) . '|', @_ ) . '}';
   
6. }
   
7. 
   
8. sub From {
   
9.     map { s/(\w+)/'$1',/g; s/\(/[/g; s/\)/],/g; eval } shift;
   
10. }
    
11. 
    
12. sub Extract {
    
13.     my ( $Op, @data ) = @{ +shift }[ 1, 0, 2 ];
    
14.       $Op eq 'not' ? map { ref $_ ? Extract($_) : $_ } $data[0]
    
15.     : $Op eq 'or'  ? map { ref $_ ? Extract($_) : $_ } @data
    
16.     : X map { ref $_ ? [ Extract($_) ] : [$_] } @data;
    
17. }
    
18. 
    
19. my $String = <DATA>;
    
20. my @Result = Extract From $String;
    
21. print $_ . $/ for @Result;
    
22. 
    
23. __DATA__
    
24. (A interact  ((B  or  C)  or (((D inside E) or F)   not   inside G)))
    

复制代码