科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2012年
11期
2677-2679
,共3页
参数Kleene系统%广义重言式%三-I算法%可靠性
參數Kleene繫統%廣義重言式%三-I算法%可靠性
삼수Kleene계통%엄의중언식%삼-I산법%가고성
介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.
介紹瞭參數Kleene繫統及其三-I算法,併討論瞭它們隨參數值的變化.把參數Kleene繫統廣義三-I算法歸入到邏輯縯算意義下,討論瞭參數Kleene繫統的可靠性.
개소료삼수Kleene계통급기삼-I산법,병토론료타문수삼수치적변화.파삼수Kleene계통엄의삼-I산법귀입도라집연산의의하,토론료삼수Kleene계통적가고성.