Pome资料库
Pome 切换暗/亮/自动模式 切换暗/亮/自动模式 切换暗/亮/自动模式 返回首页

中序式转后序式(前序式)

说明

平常所使用的运算式,主要是将运算元放在运算子的两旁,例如a+b/d这样的式子,这称之为中序(Infix)表示式,对于人类来说,这样的式子很容易理 解,但由于电脑执行指令时是有顺序的,遇到中序表示式时,无法直接进行运算,而必须进一步判断运算的先后顺序,所以必须将中序表示式转换为另一种表示方 法。

可以将中序表示式转换为后序(Postfix)表示式,后序表示式又称之为逆向波兰表示式(Reverse polish notation),它是由波兰的数学家卢卡谢维奇提出,例如(a+b)(c+d)这个式子,表示为后序表示式时是ab+cd+

解法

用手算的方式来计算后序式相当的简单,将运算子两旁的运算元依先后顺序全括号起来,然后将所有的右括号取代为左边最接近的运算子(从最内层括号开始),最后去掉所有的左括号就可以完成后序表示式,例如: a+bd+c/d => ((a+(bd))+(c/d)) -> bd*+cd/+

如果要用程式来进行中序转后序,则必须使用堆迭,演算法很简单,直接叙述的话就是使用迴圈,取出中序式的字元,遇运算元直接输出,堆迭运算子与左括号, ISP>ICP的话直接输出堆迭中的运算子,遇右括号输出堆迭中的运算子至左括号。

演算法

以下是虚拟码的运算法,\0表示中序式读取完毕:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Procedure Postfix(infix) [
    Loop [
        op = infix(i) 
        case [
            :x = '\0': 
                while (stack not empty) 
                     // output all elements in stack 
                end 
                return 
             :x = '(': 
                 // put it into stack 
             :x is operator: 
                  while (priority(stack[top]) >= 
                         priority(op)) [
                       // out a element from stack 
                  ]
                  // save op into stack 
             :x = ')': 
                   while ( stack(top) != '(' ) [
                       // out a element from stack 
                   ]
                   top = top - 1  // not out '( 
             :else: 
                   // output current op 
        ]
        i++; 
    ]
]

例如(a+b)*(c+d)这个式子,依演算法的输出过程如下:

OP STACK OUTPUT
( ( -
a ( a
+ (+ a
b (+ ab
) - ab+
* * ab+
( *( ab+
c *( ab+c
+ *(+ ab+c
d *(+ ab+cd
) * ab+cd+
- - ab+cd+*

如果要将中序式转为前序式,则在读取中序式时是由后往前读取,而左右括号的处理方式相反,其馀不变,但输出之前必须先置入堆迭,待转换完成后再将堆迭中的 值由上往下读出,如此就是前序表示式。

参考代码

C

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
#include <stdio.h> 
#include <stdlib.h> 

int postfix(char*); // 中序转后序 
int priority(char); // 决定运算子优先顺序 

int main(void) { 
    char input[80]; 

    printf("输入中序运算式:"); 
    scanf("%s", input); 
    postfix(input); 

    return 0; 
} 

int postfix(char* infix) { 
    int i = 0, top = 0; 
    char stack[80] = {'\0'}; 
    char op; 

    while(1) { 
        op = infix[i]; 

        switch(op) { 
            case '\0': 
                while(top > 0) { 
                    printf("%c", stack[top]); 
                    top--; 
                } 
                printf("\n"); 
                return 0; 
            // 运算子堆迭 
            case '(': 
                if(top < (sizeof(stack) / sizeof(char))) { 
                    top++; 
                    stack[top] = op; 
                } 
                break; 
            case '+': case '-': case '*': case '/': 
                while(priority(stack[top]) >= priority(op)) { 
                    printf("%c", stack[top]); 
                    top--; 
                } 
                // 存入堆迭 
                if(top < (sizeof(stack) / sizeof(char))) { 
                    top++; 
                    stack[top] = op; 
                } 
                break; 
            // 遇 ) 输出至 ( 
            case ')': 
                while(stack[top] != '(') { 
                    printf("%c", stack[top]); 
                    top--; 
                } 
                top--;  // 不输出( 
                break; 
            // 运算元直接输出 
            default: 
                printf("%c", op); 
                break; 
        } 
        i++; 
    } 
} 

int priority(char op) { 
    int p; 

    switch(op) { 
       case '+': case '-': 
            p = 1; 
            break; 
        case '*': case '/': 
            p = 2; 
            break; 
        default: 
            p = 0; 
            break; 
    } 

    return p; 
}

Java

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
public class InFix {
    private static int priority(char op) {  
        switch(op) { 
           case '+': case '-': 
                return 1; 
            case '*': case '/': 
                return 2;
            default: 
                return 0;
        }  
    }
    
    public static char[] toPosfix(char[] infix) {
        char[] stack = new char[infix.length]; 
        char[] postfix = new char[infix.length];
        char op; 

        StringBuffer buffer = new StringBuffer();

        int top = 0;
        for(int i = 0; i < infix.length; i++) { 
            op = infix[i]; 
            switch(op) {  
                // 运算子堆迭 
                case '(': 
                    if(top < stack.length) { 
                        top++; 
                        stack[top] = op; 
                    } 
                    break; 
                case '+': case '-': case '*': case '/': 
                    while(priority(stack[top]) >= 
                          priority(op)) { 
                        buffer.append(stack[top]);
                        top--; 
                    } 
                    // 存入堆迭 
                    if(top < stack.length) { 
                        top++; 
                        stack[top] = op; 
                    } 
                    break; 
                // 遇 ) 输出至 ( 
                case ')': 
                    while(stack[top] != '(') { 
                        buffer.append(stack[top]);
                        top--; 
                    } 
                    top--;  // 不输出( 
                    break; 
                // 运算元直接输出 
                default: 
                    buffer.append(op);
                    break; 
            } 
        } 
        
        while(top > 0) { 
            buffer.append(stack[top]);
            top--; 
        }
        
        return buffer.toString().toCharArray();
    }
    
    public static char[] toPrefix(char[] infix) {
        char[] stack = new char[infix.length];
        char op; 

        StringBuffer buffer = new StringBuffer();
        
        int top = 0;
        for(int i = infix.length - 1; i >= 0; i--) { 
            op = infix[i]; 
            switch(op) {  
                // 运算子堆迭 
                case ')': 
                    if(top < stack.length) { 
                        top++; 
                        stack[top] = op; 
                    } 
                    break; 
                case '+': case '-': case '*': case '/': 
                    while(priority(stack[top]) >= 
                          priority(op)) { 
                        buffer.append(stack[top]);
                        top--; 
                    } 
                    // 存入堆迭 
                    if(top < stack.length) { 
                        top++; 
                        stack[top] = op; 
                    } 
                    break; 
                // 遇 ( 输出至 ) 
                case '(': 
                    while(stack[top] != ')') { 
                        buffer.append(stack[top]);
                        top--; 
                    } 
                    top--;  // 不输出) 
                    break; 
                // 运算元直接输出 
                default: 
                    buffer.append(op); 
                    break; 
            } 
        } 
        
        while(top > 0) { 
            buffer.append(stack[top]);
            top--; 
        } 
        
        return buffer.reverse().toString().toCharArray();
    }
    
    public static void main(String[] args) {
        String infix = "(a+b)*(c+d)";
        
        System.out.println(
                    InFix.toPosfix(infix.toCharArray()));
        System.out.println(
                    InFix.toPrefix(infix.toCharArray()));
    }
}