10.3969/j.issn.1005-3085.2004.04.023
无前提规范闭缺省理论的扩充的构造
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究.首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计.
规范缺省理论、相容扩充、分类、个数估计
21
TP18(自动化基础理论)
国家自然科学基金
2004-08-26(万方平台首次上网日期,不代表论文的发表时间)
共8页
615-622