表达式的覆盖,分解与划分

摘要

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂａｎｄ基中的集合。作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则。对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出１个表达式覆盖多个表达式的等价条件。根据集合的划分公式，得到划分表达式的方法。最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式。本文是作者提