kleene meaning in English
克林
Examples
- Classification and representation of kleene - stone algebras
代数的分类及其表示 - Finaly , the operators p , p , p with respect to a parameter p in [ 0 , 1 ] is introduced
最后,本文将参数kleene系统中的运算,进行了程度化,得到了系统。 - 4 . interval temporal logic ( itl ) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of kleene star
间断式时序逻辑( itl )是时序逻辑的一种,它包含一个由两个公式的连续成分所构成的基本结构和一个kleene星的类似体。 - In 1997 , based on rq implication operator professor wang guojun proposed revised kleene system . again in 1998 , professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system
1997年,王国俊教授基于蕴涵算子r _ 0提出了修正的kleene系统,又于1998年引入了广义重言式的概念,对修正的kleene系统中的广义重言式类进行了深刻而细致的讨论,建立了广义重言式理论,为模糊逻辑提出了新的研究方向。 - This paper investigates the closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states , and shows , for example , that for any function l such that l loglogn and l o , the class of sets accepted by weakly strongly l space - bounded 1 - inkdot two - way alternating pushdown automata with only existential universal states is not closed under concatenation with regular sets , length - preserving homomorphism , and kleene closure
Chandra kozen和stockmeyer提出了交替性alternation作为并行计算的一个理论模型。交替式alternating图灵机是非确定性图灵机的推广,它的状态集合被分为万能状态universal state和存在状态existential state 。非确定性图灵机可看作只有存在状态的交替式图灵机。