与/或表达式化简

一、问题的提出

假如我们有如下所示的与/或表达式：

a*[b*[c+d]*e+f]+g化简后要得到如下的表达式：

a*b*c*e+a*b*d*e+a*f+g表达式中允许的字母和算符

{A-Z, a-z, [,],*,+}

其中“[,]”表示括号，允许嵌套；“*”表示逻辑运算符“与”；“+”表示逻辑运算符“或”；并且“*”的优先级高于“+”。

二、解决办法

在编译原理中，有一种自上而下分析方法LL(1)，其核心算法就是“递归下降法”，其具体理论有兴趣的朋友可以参考一些编译原理书籍。首先让我们来看一个编译原理课本上用“递归下降法”进行“表达式的求值”的分析得到的产生式：

exp->exp addop term|term
addop->+|-
term->term mulop factor|factor
mulop->*
factor->(exp)|number

其中“exp”代表待求值的表达式；“addop”代表“+”和“-”运算符；“term”代表用“*”连接起来的表达式；“mulop”代表“*”；“factor”代表乘积因子，它可以是一个数，也可以是一个表达式。

按照这种思路，我得出了如下的对应于本文开头所提出问题的产生式：

exp->term { OR term }|term
OR->+
term->term AND factor|factor
AND->*
factor->[exp]|letter
letter->[A-Z]|[a-z]

去除左递归后如下所示：

exp->term { OR term }
OR->+
term->factor { AND factor }
factor->letter|[exp]
AND->*
letter->[A-Z]|[a-z]

这样，我们就很容易将其转化为代码。比如，将“exp->term { OR term }”这个表达式转化的伪代码如下：

CString exp()
{
CString temp = _T("");
try
{
temp = Term();
while( 当前还没有到输入串的末尾 && 下一个将要扫描的字符为OR )
{
temp += "+";
Match(OR);//字符匹配，用户判断将要扫描的字符是否为所期望的字符，并且推动扫描串的前进
temp += Term();
}
}
catch(CError& error)
{
throw error;
}
return temp;
}

其它的产生式对应的代码类似，具体细节就不叙述了，请大家参考参考源程序。

三、运行效果图

四、结束语

这是我第一次在VCKBASE上发表的文章，其中肯定存在许多不足之处，希望大家指出来批评指正

^-^。同时，我也感觉到深为一名学习计算机的学生，丰富的编程实际经验固然重要，但如果具有丰富的理论基础作为坚强后盾的话，那么我们在编写程序时就会游刃有余，才会感觉到写程序是一种真正的享受^-^。

本文配套源码

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!