[发明专利]通过逆波兰表达式对五防逻辑表达式进行校验的方法

摘要

本发明公开一种通过逆波兰表达式对五防逻辑表达式进行校验的方法，该方法主要是通过构造一个运算符栈S1和逆波兰栈S2，然后读入需要操作设备对应状态的五防逻辑，判断是否存在没有转换的情况条件，并读入没有转换的情况条件下对应的五防逻辑表达式，并从左至右扫描该情况条件下对应的五防逻辑表达式；最后根据逆波兰表达式将传统的五防逻辑表达式进行转换，剔除表达式中复杂的算术符号“()”，只留下最简单的运算，能够保证方法的正确性的同时，减少程序员出现BUG的可能性，提高五防软件对于五防校验的准确性，同时能减少测试部门的测试压力。

主权项

一种通过逆波兰表达式对五防逻辑表达式进行校验的方法，其特征在于，包括如下步骤：(1)首先构造一个运算符栈S1和逆波兰栈S2，运算符在运算符栈S1内遵循越往栈顶优先级越高的原则；(2)读入需要操作设备对应状态的五防逻辑；(3)判断是否存在没有转换的情况条件，存在则进入步骤(4)，否则逻辑校验不通过并结束；(4)读入该情况条件下对应的五防逻辑表达式，并从左至右扫描该情况条件下对应的五防逻辑表达式；(5)如果当前字符是数字，则分析到该数字串的结束并将该数字串直接输出并压入逆波兰栈S2；如果不是数字，该字符则是运算符，此时需比较优先关系后再将该字符压入逆波兰栈S2；(6)重复步骤(5)直至扫描完该情况条件下对应的五防逻辑表达式，确定所有字符都得到处理，便将该情况条件下对应的五防逻辑表达式转化为逆波兰表示的简单算术表达式；(7)将逆波兰栈S2中所有元素出栈，组成字符串，各个元素之间以“|”分割，并对转换完成的逆波兰表达式进行求值运算；(8)判断求值结果是否通过，通过则提示校验通过可以操作，否则返回步骤(3)。