参数Kleene系统的可靠性定理

摘要：

介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.

关键词：参数Kleene系统、广义重言式、三-I算法、可靠性

所属期刊栏目：12

分类号：O159;O141.1(代数、数论、组合理论)

在线出版日期：2012-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2677-2679