1.手算法
中缀表达式转换为后缀表达式,就是将操作数写在左边,而操作符写在右边。例如中缀表达式 a+b 转换为后缀表达式为 ab+。
当有多个且优先级不同的操作符时,先对优先级更高的操作符对应的短式进行转换,再依次转换其他级别的式子;如果是同级别的操作符,一般按照从左至右的顺序(改变顺序不会改变原式的值)。
以 a+b-a*((c+d)/e-f)+g 为例:
原式 | 选择的短式 | 操作数1 | 操作符 | 操作数2 | 后缀表达式 | 操作说明 |
a+b-a*((c+d)/e-f)+g | (c+d) | c | + | d | cd+ | 括号需要去掉 |
a+b-a*(cd+/e-f)+g | cd+/e | cd+ | / | e | cd+e/ | 把cd+看为一个数 |
a+b-a*(cd+e/-f)+g | (cd+e/-f) | cd+e/ | - | f | cd+e/f- | |
a+b-a*cd+e/f-+g | a*cd+e/f- | a | * | cd+e/f- | acd+e/f-* | |
a+b-acd+e/f-*+g | a+b | a | + | b | ab+ | |
ab+-acd+e/f-*+g | ab+-acd+e/f-* | ab+ | - | acd+e/f-* | ab+acd+e/f-*- | |
ab+acd+e/f-*-+g | ab+acd+e/f-*-+g | ab+acd+e/f-*- | + | g | ab+acd+e/f-*-g+ |
最后得到的后缀表达式为ab+acd+e/f-*-g+
2.算法
计算机是无法直接找到序列中间某一个最高优先级的短式,只能从左往右依次扫描,因此需要一个辅助栈,来临时储存那些无法确定顺序的操作符。
对序列从左往右进行扫描,如果碰到操作数,就直接输出;如果碰到操作符,将其和栈顶元素对比,如果栈外元素优先级更高,就将栈顶元素弹出,直到栈外元素优先级小于栈内元素或者栈空。
以 a+b-a*((c+d)/e-f)+g 为例,操作符优先级如下(isp是栈内优先数,icp是栈外优先数,数字越小优先级更高):
操作符 | ( | */ | +- | ) |
isp | 1 | 5 | 3 | 6 |
icp | 6 | 4 | 2 | 1 |
简单描述如下:
(1)左括号 '(' ,直接入栈
(2)右括号 ')',依次将栈内元素弹出并加入后缀表达式,直到碰到左括号后,弹出但不加入。
(3)+-碰到*/(栈顶元素)时,直接弹出*/并加入后缀表达式
(4)*/碰到+-(栈顶元素)时,入栈
(5)同级运算符碰到同级运算符时,弹出栈顶元素,并加入后缀表达式
(6)栈顶为左括号时,除右括号外,其他运算符直接入栈
具体转换过程如下:
待处理序列 | 扫描项 | 动作 | 栈 | 后缀表达式 |
a+b-a*((c+d)/e-f)+g | a | a加入后缀表达式 | a | |
+b-a*((c+d)/e-f)+g | + | 栈空,+入栈 | + | a |
b-a*((c+d)/e-f)+g | b | b加入后缀表达式 | + | ab |
-a*((c+d)/e-f)+g | - | isp(+) > icp(-),+出栈,-入栈 | - | ab+ |
a*((c+d)/e-f)+g | a | a加入后缀表达式 | - | ab+a |
*((c+d)/e-f)+g | * | isp(-) < icp(*),*入栈 | -* | ab+a |
((c+d)/e-f)+g | ( | isp(*) < icp('(') ,(入栈 | -*( | ab+a |
(c+d)/e-f)+g | ( | isp('(') < icp('(') ,(入栈 | -*(( | ab+a |
c+d)/e-f)+g | c | c加入后缀表达式 | -*(( | ab+ac |
+d)/e-f)+g | + | isp('(') < icp(+),+入栈 | -*((+ | ab+ac |
d)/e-f)+g | d | d加入后缀表达式 | -*((+ | ab+acd |
)/e-f)+g | ) | isp(+) > icp(')'),+出栈 | -*(( | ab+acd+ |
isp('(') == icp(')'),(出栈,但不输出 | -*( | ab+acd+ | ||
/e-f)+g | / | isp('(') < icp(/),/入栈 | -*(/ | ab+acd+ |
e-f)+g | e | e加入后缀表达式 | -*(/ | ab+acd+e |
-f)+g | - | isp(/) > icp(-),/出栈 | -*( | ab+acd+e/ |
isp('(') < icp(-),-入栈 | -*(- | ab+acd+e/ | ||
f)+g | f | f加入后缀表达式 | -*(- | ab+acd+e/f |
)+g | ) | isp(-) > icp(')'),-出栈 | -*( | ab+acd+e/f- |
isp('(') == icp(')'),(出栈,但不输出 | -* | ab+acd+e/f- | ||
+g | + | isp(*) > icp(+),*出栈 | - | ab+acd+e/f-* |
isp(-) > icp(+),-出栈,+入栈 | + | ab+acd+e/f-*- | ||
g | g | g加入后缀表达式 | + | ab+acd+e/f-*-g |
待处理序列为空,依次弹出栈内所有符号 | ab+acd+e/f-*-g+ |
最后得到的后缀表达式为ab+acd+e/f-*-g+