摘要

本文通过建立逻辑函数的预处理算法和数据存储结构,解析逻辑函数结构;在构建逻辑函数的语法树时,利用解析的数据可以提高产生式匹配的准确性,实现优化回溯方法。

  • 单位
    淮北师范大学信息学院

全文