?克林

...．有这种规则所形成的程序语言应有利于句子分析 和翻译，而且，最好能通过这些规则自动产生有效的语法分析程序． 克林（Kleene）在1951—1956年间，从识别的角度研究语言，给出了语言的另一种 描述，他在研究神经细胞的过程中，建立了自动机，他用这种自动机来...

?克利恩

1．克利恩（Kleene）三值逻辑系统K 3 克利恩把第三个真值U 解释为真和假的“间隙”，一个“不可知”的真值。

?克林闭包

∑的克林闭包(kleene ∑*={ε}∪∑+ closure)：=∑0∪∑∪∑2∪∑3∪……

?克林尼

早在20世纪初计算机科学诞生的年代，罗素（Russell）、哥德尔（Godel）、图灵（Turing）、克林尼（Kleene）、蒯恩（美国哲学家，Quine）等人就已经将大量自指的技巧引入了数学和基础逻辑之中，证明了一大批定理。