Mobile
Log In Sign Up
Home > chinese-english > "kleene" in English

English translation for "kleene"

克林

Related Translations:
stephen kleene:  史蒂芬克林
kleene星号:  kleene star
kleena kleene:  克利纳克林
kleene algebra:  克莱尼代数
kleene closure:  克林闭包
kleene hierarchy:  克林分层
kleene star:  kleene闭包kleene星号
stephen cole kleene:  斯蒂芬科尔克莱尼
kleene fixpoint theorem:  kleene不动点定理
Example Sentences:
1.Classification and representation of kleene - stone algebras
代数的分类及其表示
2.Finaly , the operators p , p , p with respect to a parameter p in [ 0 , 1 ] is introduced
最后,本文将参数kleene系统中的运算,进行了程度化,得到了系统。
3.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星的类似体。
4.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系统中的广义重言式类进行了深刻而细致的讨论,建立了广义重言式理论,为模糊逻辑提出了新的研究方向。
5.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 。非确定性图灵机可看作只有存在状态的交替式图灵机。
Similar Words:
"kleen" English translation, "kleen leen pig" English translation, "kleen partial recursive functions" English translation, "kleena kleene" English translation, "kleenburn" English translation, "kleene abschluss kleene closure" English translation, "kleene algebra" English translation, "kleene closure" English translation, "kleene fixpoint theorem" English translation, "kleene hierarchy" English translation