命题公式合法性的判定.docxVIP

沈阳航空航天大学课 程 设 计 报 告课程设计名称：数据结构课程设计课程设计题目：命题公式合法性的判定院（系）：专业：班级：学号：姓名：指导教师：目录沈阳航空航天大学I1 课程设计介绍11.1 课程设计内容11.2题目要求：12课程设计原理22.1课设题目粗略分析22.2原理图介绍22.2.1功能模块图22.2.2流程图分析33数据结构分析123.1存储结构123.2算法描述124调试与分析134.1调试过程134.2运行结果14参考文献15附录（关键部分程序清单）161 课程设计介绍1.1课程设计内容题目内容:设命题变元为单个大写字母，交、并、非、条件、双条件连接词分别用+、*、—、?、=五个字符表示，由屏幕输入一个命题公式串，判断其是否是命题公式。1.2题目要求：1. 利用所学知识，设计相应的数据结构；2. 熟练运用开发环境；3 .完成软件的设计与编码；4. 熟练掌握基本的调试方法；5 提交符合课程设计规范的报告。2课程设计原理2.1课设题目粗略分析根据课设题目要求，拟将整体程序分为七大模块。以下是七个模块的大体分析：main（）：主函数模块Judgek1（）：检测括号是否本身单独成对出现Judgek2（）：检测括号本身是否匹配Judgek3（）：左括号与运算符和命题变元是否同时出现Judgek4（）：右括号与运算符或命题变元是否同时出现Judgef（）：非运算与右括号或其他运算符号是否同时出现Judgey（）：其他运算与右括号或其他运算符号同时出现Judgel()：命题变元与左括号或非运算或命题变元同时出现Reset( ): 初始化数组的函数2.2原理图介绍2.2.1功能模块图2.2.2流程图分析main（主函数）功能：连接各个函数，确定他们的执行顺序和条件。Judgek1（）功能：检测括号是否本身单独成对出现Judgek2( )功能:检测括号本身是否匹配Judgek3();功能:左括号与运算符和命题变元是否同时出现Judgek4()功能:右括号与运算符或命题变元是否同时出现Judgef()功能：非运算与右括号或其他运算符号是否同时出现Judgey()功能：其他运算与右括号或其他运算符号同时出现Judgel()功能：命题变元与左括号或非运算或命题变元同时出现reset()功能：初始化数组的函数3数据结构分析3.1存储结构定义一个数组str和一个指向该数组的指针ch_point如下：charstr[150]={\0};char *ch_point=str;3.2算法描述检测括号是否本身单独成对出现：在一个字符串中如果括号本身单独出现而括号中没有任何东西出现（如A*( )B）则必不是命题公式，具体算法如下：while(*ch!=\0) {if(*ch==(*(ch++)==)) {printf(该字符串不是合法命题，括号不匹配);exit(0); } ch++; }}检测括号本身是否匹配：在一个字符串中括号必须是成对按一定规律出现，不可能先出现右括号再出现左括号，否则不是命题公式，具体算法如下：while(*ch!=\0) {if(*ch==(){n++; }if(*ch==)){ n--;} ch++; if(n0) {printf(该字符串不是合法命题，括号不匹配);exit(0);}}if(n!=0) {printf(该字符串不是合法命题，括号不匹配);exit(0); }}3. 左括号与运算符和命题变元是否同时出现此算法与以下五个算法类似，及每个字符均有多个字符不能与之相邻，否者不是命题公式：while(*ch!=\0){ ch2=ch+1;if(*ch==((*ch2==+||*ch2==*||*ch2==?||*ch2===)) {printf(该字符串不是合法命题，括号3不匹配);exit(0);}ch++; }}初始化数组的函数初始化数组使程序能够不断进行公式合法性判定：for(;*ch!=\0;ch++) *ch=\0;4调试与分析4.1调试过程在调试过程中经常遇到如下问题：字符的输入问题，如果用scanf输入字符中间用空格隔开，会发生读不进字符的问题。分析：字符和整型数字输入的区别在于空格也算字符的一种，按下空格，也算是输入了字符。解决：只要在输入字符后不用空格而用enter，就可以避免空格也是字符的问题。调试中提示我定义的函数不合法。分析：很有可能是缺少括号造成的。解决：括号两个一起打上去。基本定义问题，有时提示没有定义分析：全局变量中没有给出，函数有时运用的没有定义。解决：在函数中定义。只能进行一次判定分析：程序不能循环使用解决：运用do while使程序能循环使用，更方便、人性化。不停分配数组空间分析解决：编写函数reset使数组在判定完成后能重新置零。4.2运行结果输入：a+