Definition:Kleene Closure

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set.

The Kleene closure of $S$, denoted $S^*$, is the set of all ordered tuples in $S$.

The Kleene closure is endowed with the concatenation operation $*$:

$\tuple{ S^*, *}$

to form an algebraic structure.

Also known as

The Kleene closure is also called the Kleene star, reminiscent of its notation.

Source of Name

This entry was named for Stephen Cole Kleene.

Also see