User:Jshflynn/Definition:P-star

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\Sigma$ be an alphabet.


Then the $P$-star of $\Sigma$, denoted $\mathcal{P}(\Sigma^{*})$, is the power set of the Kleene star of $\Sigma$.


Hence it is the set of all languages over $\Sigma$.