通过逆波兰表达式对五防逻辑表达式进行校验的方法

摘要

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