Phrase Hound found 13 phrases and 4 compound words that contain kleene. The most common are listed below. Open kleene in the live search for definitions, filters, and the full list.
Phrases 13
- Kleene starThe asterisk, *, used as an operator to concatenate zero or more strings from a given set, widely used in regular expressions.
- Kleene fixed-point theoremSuppose (L,⊑) is a directed-complete partial order with a least element, and let f:L→L be a Scott-continuous (and therefore monotone) function. Then f has a least fixed point, which is the supremum of the ascending Kleene chain of f.
- Kleene closureThe set of all strings of finite length made up of elements of a given set. (Then the Kleene closure is said to be of that given set. For a given set S, its Kleene closure may be denoted as S^*. The Kleene closure includes a string of zero …
- Kleene algebraA De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.
- Kleene hierarchySynonym of arithmetical hierarchy: A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal …
- Kleene operatorSynonym of Kleene star: The asterisk, *, used as an operator to concatenate zero or more strings from a given set, widely used in regular expressions.
- Kleene operatorsplural of Kleene operator: The asterisk, *, used as an operator to concatenate zero or more strings from a given set, widely used in regular expressions.
- Kleene plusThe plus symbol, +, used as an operator to concatenate one or more strings from a given set, widely used in regular expressions.
- Kleene-Mostowski hierarchySynonym of arithmetical hierarchy: A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal …
- Kleene algebrasplural of Kleene algebra: A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.
- Kleene closuresplural of Kleene closure: The set of all strings of finite length made up of elements of a given set. (Then the Kleene closure is said to be of that given set. For a given set S, its Kleene closure may be denoted as S^*. The Kleene closure …
- Kleene plusesplural of Kleene plus: The plus symbol, +, used as an operator to concatenate one or more strings from a given set, widely used in regular expressions.
- Kleene starsplural of Kleene star: The asterisk, *, used as an operator to concatenate zero or more strings from a given set, widely used in regular expressions.
Compound words 4
- KleeneanOf or relating to Stephen Cole Kleene (1909–1994), American mathematician.
- kleenebocAlternative form of kleenebok: A blue duiker, a small, active antelope of South Africa (Philantomba monticola).
- kleenebokA blue duiker, a small, active antelope of South Africa (Philantomba monticola).
- kleenexesplural of kleenex: A disposable tissue.