User:Jshflynn/Definition:Kleene star

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\Sigma$ be an alphabet.


Let $V$ be a subalphabet of $\Sigma$.


Then the Kleene star of $V$ is denoted $V^*$ and defined:


$\ds \bigcup_{i \mathop \in \N_0} V^i$


Also known as

Some authors call this:

  • Kleene closure
  • Monoid closure