有序缺省理论及其扩充

摘要

讨论了半正规缺省理论和一般抽省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序处理论都有扩张。而且，给出了一个判定缺省理论是否有序的可行算法。