Stephen Cole Kleene

American mathematician and logician who made significant contributions to the theory of algorithms and recursive functions.

Stephen Cole Kleene

Areas of application

  • algorithm theory
  • formal language theory
  • computational linguistics

Example

Kleene’s recursion theorem and the Kleene star (or Kleene closure) are fundamental concepts in formal language theory.