论文研究 修正的Kleene系统中子代数的广义重言式理论.pdf

目前的求核方法大多基于决策表，基于信息表的报道不多。为此，先寻找理论依据，说明了U/C与U/（C-{a}）的内在关系，证明了U/（C-{a}）≠U/C与真细分的等价性，证明了可以通过比较等价类和它子类的基数来判断是否真细分。然后基于最高位优先基数排序思想，应用正整数有序分拆特性定义了一个用于记录和比较等价类基数的数组，接着设计了一个信息表求核算法，时间复杂度为O（|C|2|U|），空间复杂度为O（|U|）。算法的主要贡献是将求核问题转化为等价类生成过程中的集合基数比较问题。通过实例验证了算法的正确性。